About these examples

These examples are in two papers [1] and [2] submitted to Jounal of Automated Reasoning.

You need Java Virtual Machine to view these examples. If you have not yet installed the Java Virtual Machine. Please Download it now!


Note:

(1) It takes a while for loading Java, please be patient.

(2) Please widen your browser to cover the entire JGEX window: 1280*1024 is the size of these exmaples.

[1] Visual Proofs in Plane Geometry Part1. Basic Features and the Manual Input Methods

[2] Visual Proofs in Plane Geometry Part2. Automated Generation of Visual Proofs for the Full-Angle Method and for the Deductive Database Method