
MaLeCoP
 Referenced in 23 articles
[sw07197]
 While in MaLA Rea learningbased axiom selection is done outside unmodified theorem provers...

SRASS
 Referenced in 12 articles
[sw21370]
 SRASS  a semantic relevance axiom selection system. This paper describes the design, implementation, and testing ... system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain ... conjecture. The selection is determined by semantics of the axioms and conjecture, ordered heuristically...

MPTP
 Referenced in 24 articles
[sw02489]
 Mizar Proof Advisor (MPA) used for selecting suitable axioms from the large library...

SInE
 Referenced in 1 article
[sw16026]
 theory and a conjecture, SInE selects some axioms from the theory and runs an underlying ... them (and the conjecture, of course). Axiom selection is based on symbols used...

choix
 Referenced in 2 articles
[sw26417]
 models based on Luce’s choice axiom. These probabilistic models can be used to explain ... discrete choices, i.e., we observe the selection of one item out of a subset...

PULi
 Referenced in 1 article
[sw28623]
 justification is a minimal subset of axioms for which the entailment holds. An entailment ... resolution, can be parametrized with ordering and selection strategies. We have implemented this procedure...

ACL2
 Referenced in 279 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 172 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

Coq
 Referenced in 1835 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2974 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 624 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Macaulay2
 Referenced in 1758 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5199 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6090 articles
[sw00554]
 Almost any workflow involves computing results, and that...

MiniSat
 Referenced in 547 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

R
 Referenced in 8836 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 741 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

MACSYMA
 Referenced in 716 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

ALGOL 68
 Referenced in 291 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...