×

Found 33 Software Packages (Results 1–33)

Isabelle/HOL

Cited in 1,414 Documents (1995–2024)
Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias
Related Software: Coq; Isabelle; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

z3

Cited in 789 Documents (2001–2024)
Software Authors: Research, Microsoft; Moura, Leonardo de; Bjørner, Nikolaj
Related Software: CVC4; SMT-LIB; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

PVS

Cited in 626 Documents (1993–2023)
Software Authors: Owre, Sam; Shankar, Natarajan; Rushby, John
Related Software: Coq; Isabelle/HOL; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …

HOL

Cited in 603 Documents (1985–2024)
Software Authors: Gordon, Michael J. C.
Related Software: Isabelle/HOL; Isabelle; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …

MiniSat

Cited in 596 Documents (2003–2024)
Software Authors: Eén, Niklas; Sörensson, Niklas
Related Software: Chaff; z3; BerkMin; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

Mizar

Cited in 562 Documents (1983–2024)
Software Authors: Bancerek, Grzegorz; Bylinski, Czeslaw; Grabowski, Adam; Kornilowicz, Artur; Milewski, Robert; Naumowicz, Adam; Trybulec, Andrzej; Urban, Josef
Related Software: Coq; Isabelle/HOL; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …

TPTP

Cited in 429 Documents (1994–2024)
Software Authors: Sutcliffe, Geoff; Suttner, Christian
Related Software: VAMPIRE; E Theorem Prover; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …

OTTER

Cited in 331 Documents (1988–2023)
Software Authors: Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel
Related Software: TPTP; VAMPIRE; SPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …

HOL Light

Cited in 329 Documents (1998–2024)
Software Authors: Harrison, John
Related Software: Coq; Isabelle/HOL; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …

Mace4

Cited in 252 Documents (1995–2024)
Software Authors: McCune, William
Related Software: Prover9; OTTER; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …

SMT-LIB

Cited in 227 Documents (2004–2024)
Software Authors: Barrett, Clark; de Moura, Leonardo; Ranise, Silvio; Stump, Aaron; Tinelli, Cesare
Related Software: z3; CVC4; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

E Theorem Prover

Cited in 233 Documents (2001–2023)
Software Authors: Schulz, Stephan
Related Software: VAMPIRE; TPTP; SPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX); …

Prover9

Cited in 231 Documents (2006–2024)
Software Authors: McCune, William
Related Software: Mace4; OTTER; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …

CVC4

Cited in 208 Documents (2013–2024)
Software Authors: Barrett, C.; Conway, C.L.; Deters, M.; Hadarean, L.; Jovanović, D.; King, T.; Reynolds, A.; Tinelli, C.
Related Software: z3; SMT-LIB; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …

SPASS

Cited in 208 Documents (1996–2023)
Software Authors: Weidenbach, C; Brahm, U; Hillenbrand, T
Related Software: VAMPIRE; TPTP; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …

Isar

Cited in 158 Documents (2000–2024)
Software Authors: Wenzel, Makarius
Related Software: Isabelle/HOL; Isabelle; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …

Theorema

Cited in 151 Documents (1997–2022)
Software Authors: Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Windsteiger, Wolfgang; Theorema group at RISC institute at JKU Linz; Austria
Related Software: Coq; Mathematica; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); …

Flyspeck

Cited in 134 Documents (2004–2024)
Software Authors: Hales, Thomas C.; Tankink, Carst; Kaliszyk, Cezary; Urban, Josef; Geuvers, Herman
Related Software: Isabelle/HOL; HOL Light; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX); …

SETHEO

Cited in 120 Documents (1990–2023)
Software Authors: Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W.
Related Software: TPTP; PTTP; OTTER; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …

OMDoc

Cited in 94 Documents (2001–2023)
Software Authors: Kohlhase, Michael
Related Software: MMT; Coq; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); …

SATLIB

Cited in 56 Documents (2000–2023)
Software Authors: Hoos, Holger H.; Stützle, Thomas
Related Software: Chaff; TPTP; Walksat; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); …

MetiTarski

Cited in 58 Documents (2008–2024)
Software Authors: Akbarpour, Behzad; Paulson, Lawrence C.
Related Software: QEPCAD; z3; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

Waldmeister

Cited in 50 Documents (1999–2022)
Software Authors: Hillenbrand, Thomas; Löchner, Bernd
Related Software: VAMPIRE; TPTP; E Theorem Prover; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); …

Z/EVES

Cited in 37 Documents (1998–2021)
Software Authors: Project, Community Z Tools
Related Software: Z; Circus; ProofPower; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); …

GCLC

Cited in 34 Documents (2002–2023)
Software Authors: Janičić, Predrag
Related Software: GeoThms; GCLCprover; GeoGebra; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …

HR

Cited in 27 Documents (2002–2022)
Software Authors: Colton, Simon
Related Software: Mace4; OTTER; GRAFFITI; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …

CoqHammer

Cited in 28 Documents (2017–2023)
Software Authors: Czajka, Łukasz; Kaliszyk, Cezary
Related Software: Coq; Isabelle/HOL; E Theorem Prover; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); …

DeepMath

Cited in 17 Documents (2017–2023)
Software Authors: Alemi, Alex A.; Chollet, Francois; Een, Niklas; Irving, Geoffrey; Szegedy, Christian; Urban, Josef
Related Software: E Theorem Prover; Mizar; ENIGMA; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Bliksem

Cited in 15 Documents (1999–2012)
Software Authors: de Nivelle, H.
Related Software: SPASS; OTTER; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

Aligator

Cited in 12 Documents (2008–2023)
Software Authors: Kovács, Laura
Related Software: Mathematica; fastZeil; Dependencies; …
Main Fields: Combinatorics (05-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

LOUI

Cited in 10 Documents (2002–2023)
Software Authors: Siekmann, J.; Hess, S.; Benzmüller, C.; Cheikhrouhou, L.; Fiedler, A.; Horacek, H.; Kohlhase, M.; Konrad, K.; Meier, A.; Melis, E.; Pollet, M.; Sorge, V.
Related Software: TPTP; Coq; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

Caml

Cited in 9 Documents (1993–2021)
Software Authors: INRIA
Related Software: OCaml; ACL2; Python; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX); …

CoqMT

Cited in 7 Documents (2010–2020)
Software Authors: Strub, Pierre-Yves
Related Software: Coq; CoqMTU; dedukti; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field