• OTTER

  • Referenced in 311 articles [sw02904]
  • 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 33 articles [sw09961]
  • invites comparison with the best of human geometry provers. It implements most of the effective ... past twenty years, including the deductive base method, Wu’s method, the area method ... With these methods, users may automated prove geometry theorems, to discover new prrperties of theorems...
  • MMP/Geometer

  • Referenced in 13 articles [sw00584]
  • Euclidean and differential geometries, the area method and the geometric deductive database method. With these ... interactively by combining the idea of dynamic geometry and methods of automated diagram generation...
  • Cinderella

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

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

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

  • Referenced in 2829 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...
  • I2Geo

  • Referenced in 5 articles [sw00428]
  • This paper describes I2Geo, the platform of the...
  • Isabelle

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

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

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

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

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

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

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

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

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

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

  • Referenced in 122 articles [sw01053]
  • An introduction to the Group Theory Language, Cayley...