• OTTER

  • Referenced in 316 articles [sw02904]
  • current automated deduction system Otter is designed to prove theorems stated in first-order logic ... fourth-generation 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 13 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 152 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

  • Referenced in 649 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1849 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Epsilon

  • Referenced in 41 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • GAP

  • Referenced in 3067 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GCLC

  • Referenced in 30 articles [sw00326]
  • We present GCLC/WinGCLC -- a tool for visualizing geometrical...
  • Isabelle

  • Referenced in 669 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Macaulay2

  • Referenced in 1821 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5270 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6213 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12983 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • QEPCAD

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

  • Referenced in 743 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SageMath

  • Referenced in 1856 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

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

  • Referenced in 146 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • MACSYMA

  • Referenced in 718 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...