JGEX is a software which combines dynamic geometry software (DGS), automated geometry theorem prover (GTP) and our approach for visually dynamic presentation of proofs. As a dynamic geometry software, ...
JGEX is a software which combines dynamic geometry software (DGS), automated geometry theorem prover (GTP) and our approach for visually dynamic presentation of proofs. As a dynamic geometry software, ...
Box Box is a geometry primitive created with a given length, width, and height. ColorCube Simple color-per-vertex cube with a different color for each face Cone Cone is a geometry primitive defined ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する