JGEX is a software which combines dynamic geometry software (DGS), automated geometry theorem prover (GTP) and our approach for ...
JGEX is a software which combines dynamic geometry software (DGS), automated geometry theorem prover (GTP) and our approach for ...