JGEX ist eine Software, die eine dynamische Geometriesoftware (DGS), einen automatisierten Geometrie-Theorembeweiser (GTP) und unseren Ansatz zur visuell dynamischen Darstellung von Beweisen kombiniert. Als dynamische Geometriesoftware kann JGEX verwendet werden, um dynamische visuelle Modelle zu erstellen, die das Lehren und Lernen verschiedener mathematischer Konzepte unterstützen. Als Software für automatisches Schlussfolgern können wir dynamische Logikmodelle erstellen, die selbst schlussfolgern können. Als Werkzeug zur dynamischen Präsentation von Beweisen ist JGEX ein wertvolles Werkzeug für Lehrer und Schüler, um Beweise für geometrische Theoreme mit verschiedenen dynamischen visuellen Effekten zu schreiben und zu präsentieren.
- JGEX ist eine leistungsstarke Software für geometrisches Argumentieren. In seinem Bereich kann es sich mit den besten menschlichen Geometriebeweisern messen. Es implementiert die meisten der effektiven Methoden für geometrisches Schließen, die in den letzten 20 Jahren eingeführt wurden, einschließlich der deduktiven Basismethode, der Wu-Methode und der Vollwinkelmethode, etc. Mit diesen Methoden kann der Benutzer automatisch geometrische Theoreme beweisen, neue Eigenschaften von Theoremen entdecken und lesbare Beweise für viele geometrische Theoreme erzeugen.
- Durch seine dynamische Natur kann das von dieser Software erstellte Diagramm dynamisch verändert werden. Mit JGEX können wir einen Teil des Diagramms mit der Maus ziehen und sofort sehen, wie sich das Diagramm entsprechend verändert.
- JGEX kann zur manuellen und automatischen Erstellung von Proofs verwendet werden. Es bietet eine Reihe von visuellen Effekten für die Präsentation dieser Beweise.
JGEX besteht aus drei Teilen: dem Zeichnungsteil, dem Argumentations- und Beweisteil und dem Teil der visuellen Präsentation von Beweisen. Im Zeichnungsteil bietet JGEX dem Benutzer eine grafische Oberfläche, mit der er das Diagramm Schritt für Schritt mit vordefinierten Konstruktionen zeichnen kann. Die Wu-Methode, die Full Angle-Methode und die auf Full Angle basierende Deductive Database-Methode sind in JGEX als Argumentations- und Beweistool implementiert.