
OTTER
 Referenced in 316 articles
[sw02904]
 current automated deduction system Otter is designed to prove theorems stated in firstorder logic ... fourthgeneration Argonne National Laboratory deduction system whose ancestors (dating from the early 1960s) include ... logic, group theory, lattice theory, and algebraic geometry. Note: Otter/Mace2 are no longer being actively...

GEX
 Referenced in 35 articles
[sw09961]
 learning of various mathematical concepts. As an automated reasoning software, we can build dynamic logic ... models which can do reasoning themselves. 1) Geometry Expert (GEX) is a powerful computer program ... invites comparison with the best of human geometry provers. It implements most of the effective ... method. With these methods, users may automated prove geometry theorems, to discover new prrperties...

MMP/Geometer
 Referenced in 14 articles
[sw00584]
 software package, MMP/Geometer, developed by us to automate some of the basic geometric activities including ... Euclidean and differential geometries, the area method and the geometric deductive database method. With these ... combining the idea of dynamic geometry and methods of automated diagram generation...

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

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

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

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

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

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

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

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

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

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

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

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

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

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SageMath
 Referenced in 1970 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1504 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

Theorema
 Referenced in 149 articles
[sw00961]
 The software system Theorema provides a uniform logic...