• 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 high-school 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 high-level 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]
  • graph-theoretic program NAUTY: nauty is a program...
  • QEPCAD

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