×

Found 35 Software Packages (Results 1–35)

TPTP

Software Authors:   Geoff Sutcliffe; Christian Suttner
Cited in: 388 Publications (1994–2021)
Related Software: VAMPIRE; E Theorem Prover; SPASS; Isabelle/HOL; OTTER; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SMT-LIB

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

Sledgehammer

Software Authors:   Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C.
Cited in: 144 Publications (2010–2022)
Related Software: Isabelle/HOL; Isabelle; z3; Coq; Archive Formal Proofs; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)

Nitpick

Software Authors:   Blanchette, Jasmin Christian; Nipkow, Tobias
Cited in: 64 Publications (1999–2022)
Related Software: Isabelle/HOL; Sledgehammer; Isabelle; Coq; TPTP; HOL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Satallax

Software Authors:   Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller
Cited in: 60 Publications (2010–2022)
Related Software: TPTP; Isabelle/HOL; LEO-II; E Theorem Prover; Sledgehammer; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Metis_

Software Authors:   Joe Leslie-Hurd; metis-users@gilith.com
Cited in: 56 Publications (1987–2021)
Related Software: Isabelle/HOL; E Theorem Prover; TPTP; VAMPIRE; z3; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

MPTP 0.2

Software Authors:   Urban, Josef
Cited in: 51 Publications (2006–2021)
Related Software: Mizar; E Theorem Prover; VAMPIRE; TPTP; MaLARea; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LEO-II

Software Authors:   Benzmüller, C., Paulson, L., Theiss, F., Fietzke, A
Cited in: 50 Publications (2008–2020)
Related Software: Satallax; TPTP; Isabelle/HOL; E Theorem Prover; TPS; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

HR

Software Authors:   Colton, Simon
Cited in: 27 Publications (2002–2022)
Related Software: GRAFFITI; OTTER; Mace4; TPTP; AutoGraphiX; GAP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Darwin

Software Authors:   Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli
Cited in: 25 Publications (2005–2021)
Related Software: E-Darvin; E Theorem Prover; TPTP; Mace4; iProver; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DCTP

Software Authors:   Letz, R., Stenz, G
Cited in: 21 Publications (2001–2017)
Related Software: E Theorem Prover; SPASS; VAMPIRE; OTTER; SATCHMO; TPTP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

E-Darvin

Software Authors:   Baumgartner, Peter; Pelzer, Björn; Tinelli, Cesare; Alexander Fuchs; Hans de Nivelle
Cited in: 19 Publications (2006–2021)
Related Software: Darwin; Mace4; E Theorem Prover; TPTP; iProver; OTTER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SystemOnTPTP

Software Authors:   Sutcliffe, Geoff
Cited in: 16 Publications (2000–2016)
Related Software: E Theorem Prover; TPTP; VAMPIRE; Isabelle/HOL; Metis_; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DPPD

Software Authors:   Leuschel, M.
Cited in: 14 Publications (1998–2015)
Related Software: ECCE; Mercury; LOGEN; COSTA; AProVE; ProB; …
Main Fields: Computer science (68-XX)

THF0

Software Authors:   Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff
Cited in: 14 Publications (2008–2019)
Related Software: TPTP; E Theorem Prover; Isabelle/HOL; LEO-II; Satallax; TPS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PRocH

Software Authors:   Cezary Kaliszyk; Josef Urban
Cited in: 12 Publications (2013–2018)
Related Software: HOL Light; Flyspeck; E Theorem Prover; Mizar; TPTP; z3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

QMLTP

Software Authors:   Raths, Thomas; Otten, Jens
Cited in: 11 Publications (2012–2021)
Related Software: TPTP; MleanCoP; MSPASS; Isabelle/HOL; ileanCoP; leanCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LeoPARD

Software Authors:   Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph
Cited in: 8 Publications (2015–2021)
Related Software: Leo-III; Satallax; TPTP; Isabelle/HOL; Sledgehammer; QMLTP; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

nanoCoP

Software Authors:   Otten, J.
Cited in: 8 Publications (2016–2021)
Related Software: leanCoP; TPTP; FEMaLeCoP; MleanCoP; E Theorem Prover; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

IDV

Software Authors:   Trac, Steven; Puzis, Yury; Sutcliffe, Geoff
Cited in: 6 Publications (2007–2017)
Related Software: TPTP; E Theorem Prover; OMDoc; SPASS; VAMPIRE; OTTER; …
Main Fields: Computer science (68-XX)

randoCoP

Software Authors:   Thomas Raths; Jens Otten
Cited in: 5 Publications (2015–2021)
Related Software: VAMPIRE; ENIGMA; Easychair; E Theorem Prover; MPTP 0.2; leanCoP; …
Main Fields: Computer science (68-XX)

SMTtoTPTP

Software Authors:   Baumgartner, P.
Cited in: 5 Publications (2015–2017)
Related Software: TPTP; SMT-LIB; z3; QBFEVAL; IDV; FOOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

tptp2X

Software Authors:   Sutcliffe, Geoff; Suttner, Christian
Cited in: 3 Publications (1998–2006)
Related Software: HR; MathWeb; Mace4; OTTER; GRAFFITI; OEIS; …
Main Fields: Number theory (11-XX); Computer science (68-XX)

AgsyHOL

Software Authors:   Lindblad, F.
Cited in: 4 Publications (2013–2015)
Related Software: TPTP; Isabelle/HOL; Nitpick; Satallax; LEO-II; FMLtoHOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

embed_modal

Software Authors:   Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph
Cited in: 4 Publications (2017–2021)
Related Software: Isabelle/HOL; Nitpick; MleanCoP; Leo-III; LeoPARD; QMLTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FMLtoHOL

Software Authors:   Benzmüller, Christoph; Raths, Thomas
Cited in: 4 Publications (2013–2021)
Related Software: TPTP; Isabelle/HOL; Nitpick; QMLTP; Sledgehammer; Satallax; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FOOL

Software Authors:   Kotelnikov, Evgenii; Kov'acs, Laura; Voronkov, Andrei
Cited in: 4 Publications (2015–2021)
Related Software: TPTP; Sledgehammer; SMT-LIB; TLAPS; Satallax; QBFEVAL; …
Main Fields: Computer science (68-XX)

Monotonox

Software Authors:   Claessen, Koen; Lillieström, Ann; Smallbone, Nicholas
Cited in: 4 Publications (2011–2013)
Related Software: HOL Light; TPTP; HOL; Kodkod; Isabelle/HOL; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Tipi

Software Authors:   Alama, Jesse
Cited in: 4 Publications (2013–2019)
Related Software: Pesca; Mace4; Prover9; MiniSat; MML; z3; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)

Twee

Software Authors:   Smallbone, N.
Cited in: 4 Publications (2018–2021)
Related Software: Waldmeister; TPTP; E Theorem Prover; iProver; SPASS; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GKC

Software Authors:   Tammet, Tanel
Cited in: 2 Publications (2019–2021)
Related Software: VAMPIRE; ENIGMA; AVATAR; HOGWILD; DeepMath; PyTorch; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Octopus

Software Authors:   Newborn, Monty; Wang, Zongyan
Cited in: 2 Publications (2004–2009)
Related Software: TPTP; OTTER; IDV; SRASS; SNARK; Waldmeister; …
Main Fields: Computer science (68-XX)

ekstrakto

Software Authors:   Mohamed Yacine El Haddad, Guillaume Burel, Frédéric Blanqui
Cited in: 0 Publications
Related Software: ArchSAT; Zipperposition; E Theorem Prover; Zenon; TPTP; dedukti
Main Fields:

Mella

Software Authors:   Armstrong, Alasdair; Foster, Simon; Struth, Georg
Cited in: 1 Publication (2012)
Related Software: Waldmeister; Agda; Epigram; Nuprl; Proof General; Mizar; …
Main Fields: Computer science (68-XX)

PSOA2TPTP

Software Authors:   Zou, Gen; Peter-Paul, Reuben; Boley, Harold; Riazanov, Alexandre
Cited in: 0 Publications
Related Software:
Main Fields: