
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 FirstOrder 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...

LEOII
 Referenced in 49 articles
[sw00512]
 LEOII is a standalone, resolutionbased 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 highlevel 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 SATsolver. MiniSat is a minimalistic...

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

nauty
 Referenced in 533 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

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