Java Geometry Expert (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 can be used to build dynamic visual models to assist teaching and learn…

View Post on Scour ↗

More from flathub.org on Scour.