
GEX
 Referenced in 35 articles
[sw09961]
 theorem proving and discovering. As a dynamic geometry software, GEX can be used to build ... automated reasoning software, we can build dynamic logic models which can do reasoning themselves ... human geometry provers. It implements most of the effective methods for geometric reasoning introduced ... method. With these methods, users may automated prove geometry theorems, to discover new prrperties...

MMP/Geometer
 Referenced in 13 articles
[sw00584]
 geometric reasoning. We introduce a software package, MMP/Geometer, developed by us to automate some ... method for Euclidean and differential geometries, the area method and the geometric deductive database method...

HOARD ATINF
 Referenced in 2 articles
[sw28890]
 Emphasizing human techniques in automated geometry theorem proving: A practical realization. The underlying principles ... prototype) is called HOARDATINF (Human Oriented Automated Reasoning on your Desk) and has been specialized ... this work to proof learning through geometry. It is based on a new calculus, particularly...

EPGY
 Referenced in 4 articles
[sw28722]
 system uses a combination of automated reasoning and symbolic computation to verify individual proof steps ... have taken the EPGY highschool geometry course. In addition to providing a general overview...

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

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

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

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

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

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

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

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

MapReduce
 Referenced in 251 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Mathematica
 Referenced in 5957 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12309 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Maxima
 Referenced in 154 articles
[sw00560]
 Maxima is a system for the manipulation of...

MetiTarski
 Referenced in 49 articles
[sw00573]
 Many inequalities involving the functions ln, exp, sin...

NAG
 Referenced in 417 articles
[sw00610]
 Produced by experts for use in a variety...

nauty
 Referenced in 561 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

QEPCAD
 Referenced in 276 articles
[sw00752]
 QEPCAD B: A program for computing with semi...