• MaLARea

  • Referenced in 42 articles [sw10278]
  • MaLARea: a Metasystem for Automated Reasoning in Large Theories. MaLARea (a Machine Learner for Automated ... simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ... mode). Its intended use is in large theories, i.e. on a large number of problems...
  • HR

  • Referenced in 29 articles [sw10392]
  • named after mathematicians Hardy and Ramanujan -- performs theory formation in mathematical domains. It works ... effective, HR can produce large numbers of theorems for testing automated theorem provers (ATPs ... applications of HR to automated reasoning include the generation of constraints for constraint satisfaction problems...
  • anthem

  • Referenced in 2 articles [sw30423]
  • anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report). In a recent paper ... program completion is extended to a large class of programs in the input language ... grounder gringo. We would like to automate the process of generating and simplifying completion formulas ... this software, in combination with automated reasoning tools, to verify that the program is correct...
  • HOARD ATINF

  • Referenced in 2 articles [sw28890]
  • prototype) is called HOARDATINF (Human Oriented Automated Reasoning on your Desk) and has been specialized ... discovering lemmata (using diagrams), handling standard theories in geometry such as commutativity and symmetry ... calculus), and proof verification in a rather large sense (by using capabilities of the calculus...
  • CoCoA

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

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

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

  • Referenced in 258 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LEO-II

  • Referenced in 49 articles [sw00512]
  • LEO-II is a standalone, resolution-based higher...
  • Maple

  • Referenced in 4896 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 234 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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

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

  • Referenced in 142 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • MetiTarski

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

  • Referenced in 520 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 373 articles [sw00610]
  • Produced by experts for use in a variety...
  • nauty

  • Referenced in 533 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • QEPCAD

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