
TGTP
 Referenced in 10 articles
[sw12327]
 testing and evaluation of geometric automated theorem proving (GATP) systems, to help ensure that performance...

GEX
 Referenced in 33 articles
[sw09961]
 dynamic diagram drawing and automated geometry theorem proving and discovering. As a dynamic geometry software ... learning of various mathematical concepts. As an automated reasoning software, we can build dynamic logic ... powerful computer program for geometric reasoning. Within its domain, it invites comparison with the best ... users may automated prove geometry theorems, to discover new prrperties of theorems, and to generate...

MMP/Geometer
 Referenced in 13 articles
[sw00584]
 automate some of the basic geometric activities including geometric theorem proving, geometric theorem discovering ... only prove difficult geometric theorems but also discover new theorems and generate short and readable ... proofs. As a geometric diagram editor, MMP/Geometer is an intelligent dynamic geometric software tool which ... used to input and manipulate geometric diagrams conveniently and interactively by combining the idea...

BOTTEMA
 Referenced in 9 articles
[sw09243]
 Class of Constructive Geometric Inequalities. An automated inequalityproving algorithm is presented based ... which can prove or disprove propositions in an extensive class of geometric and algebraic inequalities ... involving radicals. Most of the theorems in “Geometric Inequalities” writed by Bottema...

WinGCLC
 Referenced in 5 articles
[sw08574]
 many geometrical constructions, isometric transformations, conics, parametric curves, flow control, automated theorem proving...

ArgoTriCS
 Referenced in 4 articles
[sw15542]
 method is based on identifying and systematising geometric knowledge, a specific, restricted search and handling ... knowledge this is the first systematic automated construction solver focused on solving problems from ... approach that considers proving correctness of generated constructions (using external automated theorem provers...

GeoText
 Referenced in 3 articles
[sw12576]
 automated. Supported by a structured and formalized knowledge base, having a geometric theorem prover(GEOTHER ... textbook contents, discovering relations among geometric knowledge data, proving geometric theorems, and generating dynamic diagrams...

GeoLogic
 Referenced in 1 article
[sw33592]
 computers is dominated by automated theorem provers (ATP) and interactive theorem provers (ITP). Both ... users to interactively study and prove properties about the geometrical setup...

ACL2
 Referenced in 276 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 170 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

Cinderella
 Referenced in 143 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CoCoA
 Referenced in 617 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1764 articles
[sw00161]
 Coq is a formal proof management system. It...

Epsilon
 Referenced in 39 articles
[sw00244]
 Epsilon is a library of functions implemented in...

GAP
 Referenced in 2802 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GCLC
 Referenced in 29 articles
[sw00326]
 We present GCLC/WinGCLC  a tool for visualizing geometrical...

Isabelle
 Referenced in 605 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LEDA
 Referenced in 259 articles
[sw00509]
 In the core computer science areas  data structures...

Macaulay2
 Referenced in 1623 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5014 articles
[sw00545]
 The result of over 30 years of cutting...