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 ...
現在アクセス不可の可能性がある結果が表示されています。
アクセス不可の結果を非表示にする