×

Found 225 Software Packages (Results 1–100)

PVS

Software Authors:   Sam Owre, Natarajan Shankar, John Rushby
Referenced in: 603 Publications (1993–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Nuprl; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

ML

Software Authors:   Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh
Referenced in: 484 Publications (1978–2021)
Related Software: HOL; Coq; Isabelle; Isabelle/HOL; Haskell; HOL Light; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

TPTP

Software Authors:   Geoff Sutcliffe; Christian Suttner
Referenced 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)

ACL2

Software Authors:   Matt Kaufmann, Strother Moore
Referenced in: 275 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; PVS; HOL; Isabelle; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)

SMT-LIB

Software Authors:   Barrett, Clark; de Moura, Leonardo; Ranise, Silvio; Stump, Aaron; Tinelli, Cesare
Referenced 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)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Referenced in: 156 Publications (1986–2022)
Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

LCF

Software Authors:   Milner, Robin
Referenced in: 155 Publications (1972–2022)
Related Software: Coq; ML; HOL; Isabelle; Nuprl; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)

NQTHM

Software Authors:   Boyer, Robert S.; Moore, J. Strother
Referenced in: 139 Publications (1979–2021)
Related Software: HOL; ACL2; PVS; Coq; ML; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Isar

Software Authors:   Makarius Wenzel
Referenced in: 142 Publications (2000–2021)
Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

OBJ3

Software Authors:   J. Goguen, T. Winkler, J. Meseguer, K. Futatsigi and J. Jouannaud; (kiniry)
Referenced in: 135 Publications (1989–2021)
Related Software: Maude; CafeOBJ; CASL; ELAN; Haskell; AProVE; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)

Nominal Isabelle

Software Authors:   Urban, Christian; Kaliszyk, Cezary
Referenced in: 75 Publications (2005–2022)
Related Software: Isabelle/HOL; Isabelle; Coq; PoplMark; Twelf; Abella; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

TPS

Software Authors:   Andrews, Peter B.; Brown, Chad E.
Referenced in: 75 Publications (1990–2022)
Related Software: TPTP; ETPS; HOL; LEO-II; PVS; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Isabelle/ZF

Software Authors:   Lawrence C. Paulson
Referenced in: 63 Publications (1993–2021)
Related Software: Isabelle; Coq; Isabelle/HOL; HOL; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)

Satallax

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

Lean

Software Authors:   Microsoft; de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob
Referenced in: 53 Publications (2015–2022)
Related Software: Coq; Isabelle/HOL; Agda; HOL Light; Mizar; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX)

MPTP 0.2

Software Authors:   Urban, Josef
Referenced 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)

Abella

Software Authors:   Andrew Gacek
Referenced in: 50 Publications (2008–2022)
Related Software: Twelf; Beluga; Coq; Isabelle/HOL; Bedwyr; PoplMark; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

IMPS

Software Authors:   Farmer, William M.; Guttman, Joshua D.; Thayer, F.Javier
Referenced in: 51 Publications (1990–2021)
Related Software: Isabelle; Nuprl; Coq; HOL; PVS; ETPS; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

MaLARea

Software Authors:   Urban, Josef
Referenced in: 49 Publications (2007–2021)
Related Software: E Theorem Prover; Mizar; VAMPIRE; TPTP; MPTP 0.2; MaLeCoP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Referenced in: 47 Publications (2008–2022)
Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

Daikon

Software Authors:   Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen
Referenced in: 34 Publications (2005–2022)
Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Z/EVES

Software Authors:   Community Z Tools Project
Referenced in: 35 Publications (1998–2021)
Related Software: Z; ProofPower; Circus; Coq; JML; ProB; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX)

CLAM

Software Authors:   Bundy, A., van Harmelen, F., Horn, C.
Referenced in: 39 Publications (1989–2021)
Related Software: Oyster; Nuprl; HOL; Isabelle; InKa; Coq; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

leanTAP

Software Authors:   Beckert, Bernhard; Posegga, Joachim
Referenced in: 39 Publications (1994–2021)
Related Software: SETHEO; TPTP; SATCHMO; ModLeanTAP; leanCoP; CondLean; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ivy

Software Authors:   William McCune; Olga Shumsky
Referenced in: 39 Publications (2000–2021)
Related Software: TPTP; ACL2; z3; Ivy; SPASS; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

SQEMA

Software Authors:   Conradie, Willem; Goranko, Valentin
Referenced in: 39 Publications (2005–2021)
Related Software: Epistemic Logic; Archive Formal Proofs; FOL Fitting; Pesca
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

OMRS

Software Authors:   Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio
Referenced in: 38 Publications (1995–2009)
Related Software: Analytica; Theorema; PVS; Nuprl; PROSPER; Maple; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

Gandalf

Software Authors:   Tanel Tammet
Referenced in: 35 Publications (1996–2018)
Related Software: TPTP; Isabelle/HOL; Coq; VAMPIRE; HOL Light; Metis_; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GEX

Software Authors:   Gao, X.-S., et al.
Referenced in: 30 Publications (1996–2020)
Related Software: GeoGebra; JGEX; GeoProof; GEOTHER 1.1; GeoThms; GCLC; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)

Walnut

Software Authors:   Hamoon Mousavi
Referenced in: 34 Publications (2017–2022)
Related Software: OEIS; GitHub; Python; Coq; Isabelle/HOL; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

Oyster

Software Authors:   Horn, Christian; Smaill, Alan
Referenced in: 32 Publications (1989–2021)
Related Software: CLAM; Nuprl; HOL; Isabelle; Coq; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

GEOTHER 1.1

Software Authors:   Dongming Wang
Referenced in: 31 Publications (1996–2021)
Related Software: GeoGebra; GEX; GeoThms; GCLC; GCLCprover; MMP/Geometer; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Geometry (51-XX)

jStar

Software Authors:   DiStefano, D., Parkinson, M.
Referenced in: 29 Publications (2008–2017)
Related Software: Smallfoot; VeriFast; Coq; Boogie; Spec#; ESC/Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HR

Software Authors:   Colton, Simon
Referenced in: 26 Publications (2002–2019)
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)

ILTP

Software Authors:   Thomas Raths; Jens Otten
Referenced in: 28 Publications (2005–2021)
Related Software: TPTP; Imogen; ileanCoP; fCube; leanCoP; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SymbolicData

Software Authors:   Gräbe, Hans-Gert
Referenced in: 28 Publications (2004–2020)
Related Software: SINGULAR; SDeval; SageMath; Plural; Magma; Maple; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)

Princess

Software Authors:   Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
Referenced in: 27 Publications (2010–2021)
Related Software: FOCI; z3; CSIsat; Eldarica; FLATA; OpenSMT; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MaLeCoP

Software Authors:   Josef Urban, Jiří Vyskočil, Petr Štěpánek
Referenced in: 27 Publications (2011–2021)
Related Software: E Theorem Prover; MaLARea; Mizar; VAMPIRE; HOL Light; FEMaLeCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

GeoThms

Software Authors:   Quaresma, Pedro; Predrag Janičić
Referenced in: 24 Publications (2006–2020)
Related Software: GCLCprover; GCLC; GeoGebra; GEX; GEOTHER 1.1; GeoProof; …
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)

HOLyHammer

Software Authors:   Kaliszyk, Cezary; Urban, Josef
Referenced in: 26 Publications (2014–2021)
Related Software: HOL Light; Mizar; Flyspeck; Isabelle/HOL; E Theorem Prover; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

MPTP

Software Authors:   Urban, Josef
Referenced in: 26 Publications (2003–2021)
Related Software: Mizar; E Theorem Prover; MaLARea; VAMPIRE; MPTP 0.2; MML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Irdis

Software Authors:   –
Referenced in: 22 Publications (2011–2021)
Related Software: Idris; Coq; Agda; Haskell; GitHub; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

Mathpert

Software Authors:   Michael J. Beeson
Referenced in: 14 Publications (1989–2019)
Related Software: Haskell; ActiveMath; MathXpert; Aplusix; Aplusix-editor; Mathematica; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mathematics education (97-XX)

E-Darvin

Software Authors:   Baumgartner, Peter; Pelzer, Björn; Tinelli, Cesare; Alexander Fuchs; Hans de Nivelle
Referenced 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)

SOLAR

Software Authors:   Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray
Referenced in: 18 Publications (1993–2022)
Related Software: E Theorem Prover; SCIFF; SBGN; MiniSat; SMT-LIB; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

dedukti

Software Authors:   Mathieu Boespflug, Ronan Saillard, François Thiré, Gaspard Férey
Referenced in: 17 Publications (2012–2021)
Related Software: Coq; Zenon; PVS; HOL Light; FoCaLiZe; TPTP; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

ModLeanTAP

Software Authors:   Beckert, Bernhard; Goré, Rajeev
Referenced in: 19 Publications (1998–2019)
Related Software: leanTAP; KLMLean; Coq; MSPASS; CondLean; SETHEO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NiVER

Software Authors:   Subbarayan, Sathiamoorthy; Pradhan, Dhiraj K.
Referenced in: 19 Publications (2005–2021)
Related Software: MiniSat; Chaff; Quantor; PicoSAT; z3; UBCSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

ileanCoP

Software Authors:   Otten, Jens
Referenced in: 18 Publications (2005–2021)
Related Software: TPTP; leanCoP; ILTP; JProver; QMLTP; nanoCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MizarMode

Software Authors:   Urban, Josef
Referenced in: 18 Publications (2006–2019)
Related Software: Mizar; MML; MoMM; MPTP 0.2; E Theorem Prover; MPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

TABLEAUX

Software Authors:   Catach, Laurent
Referenced in: 18 Publications (1991–2016)
Related Software: Pesca; KRIPKE; IntHistGC; Imogen; ileanCoP; LoTREC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OpenTheory

Software Authors:   Hurd, J.
Referenced in: 16 Publications (2012–2021)
Related Software: HOL Light; HOL; Isabelle/HOL; Isabelle; Coq; ProofPower; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

JGEX

Software Authors:   Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan
Referenced in: 15 Publications (2007–2020)
Related Software: GEX; GeoGebra; GeoProof; GeoThms; GCLC; OpenGeoProver; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Geometry (51-XX)

Leo-III

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

METEOR

Software Authors:   O. L. Astrachan; D. W. Loveland
Referenced in: 11 Publications (1991–2004)
Related Software: SETHEO; OTTER; PARTHEO; PARTHENON; RRL; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HipSpec

Software Authors:   Claessen, Koen; Johansson, Moa; Ros'en, Dan; Smallbone, Nicholas
Referenced in: 15 Publications (2013–2021)
Related Software: Zeno; Hipster; CVC4; VAMPIRE; Theorema; Cyclist; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Cogent

Software Authors:   Cook, Byron; Kroening, Daniel; Sharygina, Natasha
Referenced in: 11 Publications (2005–2018)
Related Software: SatAbs; SIMPLIFY; SPIN; Bebop; FOCI; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

DPPD

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

MMP/Geometer

Software Authors:   Gao, Xiao-Shan; Lin, Qiang
Referenced in: 14 Publications (2004–2021)
Related Software: GEX; GEOTHER 1.1; GCLC; GeoView; GeoThms; Cinderella; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)

Mtac

Software Authors:   Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor
Referenced in: 14 Publications (2013–2020)
Related Software: Coq; Agda; Idris; seL4; VeriML; Gallina; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Orbital library

Software Authors:   André Platzer
Referenced in: 14 Publications (2008–2021)
Related Software: z3; QEPCAD; KeYmaera; AXIOM; SINGULAR; MetiTarski; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Numerical analysis (65-XX)

Sparkle

Software Authors:   de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus
Referenced in: 12 Publications (2002–2013)
Related Software: CLEAN; Haskell; Coq; EditorArrow; PVS; Isabelle/HOL; …
Main Fields: Computer science (68-XX)

DeepMath

Software Authors:   Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban
Referenced in: 12 Publications (2017–2021)
Related Software: Mizar; E Theorem Prover; VAMPIRE; MPTP 0.2; Coq; ENIGMA; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-XX)

JProver

Software Authors:   Schmitt, S., Lorigo, L., Kreitz, C., Nogin, A
Referenced in: 13 Publications (2001–2019)
Related Software: ileanCoP; Coq; leanCoP; TPTP; Nuprl; E Theorem Prover; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TGTP

Software Authors:   Pedro Quaresma
Referenced in: 13 Publications (2011–2021)
Related Software: GeoGebra; Intergeo; GeoThms; GCLCprover; GCLC; GATP; …
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)

ACL2s

Software Authors:   Dillinger, Peter C.; Manolios, Panagiotis; Vroon, Daron; Moore, J Strother
Referenced in: 12 Publications (2007–2021)
Related Software: ACL2; Zeno; NQTHM; z3; Boogie; QuickCheck; …
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

ArgoCLP

Software Authors:   Stojanović, Sana; Pavlović, Vesna; Janičić, Predrag
Referenced in: 12 Publications (2011–2020)
Related Software: Coq; GCLC; TPTP; GEX; GeoGebra; Isar; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

EQP

Software Authors:   McCune, William
Referenced in: 12 Publications (1997–2016)
Related Software: OTTER; Waldmeister; Peers-mcd; TPTP; SPASS; SETHEO; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

PRocH

Software Authors:   Cezary Kaliszyk; Josef Urban
Referenced 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)

Zeno

Software Authors:   Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan
Referenced in: 12 Publications (2012–2021)
Related Software: SMT-LIB; HipSpec; CVC4; VAMPIRE; Dafny; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HOL-Z

Software Authors:   Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart
Referenced in: 5 Publications (2005–2011)
Related Software: Z; HOL; Isabelle/HOL; Circus; csp2B; VPM; …
Main Fields: Computer science (68-XX)

Juno-2

Software Authors:   Allan Heydon; Greg Nelson
Referenced in: 11 Publications (1996–2004)
Related Software: Skyblue; MMP/Geometer; MEDLAR; Genocop; ISOLATE; QEPCAD; …
Main Fields: Geometry (51-XX); Numerical analysis (65-XX); Computer science (68-XX)

miz3

Software Authors:   Wiedijk, Freek
Referenced in: 11 Publications (2012–2020)
Related Software: Coq; Mizar; Isar; HOL; Isabelle/HOL; OMDoc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

Myhill-Nerode

Software Authors:   Wu, Chunhan; Zhang, Xingyuan; Urban, Christian
Referenced in: 11 Publications (2011–2020)
Related Software: Archive Formal Proofs; Regular Sets; Presburger Automata; Coq; Isabelle/HOL; MSO_Regex_Equivalence; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

QMLTP

Software Authors:   Raths, Thomas; Otten, Jens
Referenced 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)

Zapato

Software Authors:   Ball, T., Cook, B., Lahiri, S.K., Zhang, L.
Referenced in: 11 Publications (2004–2018)
Related Software: CVC Lite; Chaff; MiniSat; E Theorem Prover; ICS; MathSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Athena

Software Authors:   Konstantine Arkoudas
Referenced in: 10 Publications (2004–2017)
Related Software: HE-E1GODF; Athena; CASTRO; Maude; CafeOBJ; SPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

HOL-TestGen

Software Authors:   Achim D. Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias P. Krieger, Delphine Longuet, Yakoub Nemouchi, Frédéric Tuong, Burkhart Wolff
Referenced in: 7 Publications (2007–2020)
Related Software: Isabelle/HOL; ETPS; Korat; UniTESK; margrave; FIREMAN; …
Main Fields: Computer science (68-XX)

MathScheme

Software Authors:   Carette, Jacques; Farmer, William M.; O’Connor, Russell
Referenced in: 9 Publications (2011–2021)
Related Software: Coq; Agda; HOL Light; Theorema; Isabelle; Idris; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

MUSCADET

Software Authors:   Pastre, Dominique
Referenced in: 9 Publications (1989–2021)
Related Software: OTTER; Automath; Isabelle/ZF; MACSYMA; REDUCE; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

gcl

Software Authors:   Janičić, Predrag
Referenced in: 9 Publications (2010–2020)
Related Software: GCLC; GEX; GeoGebra; GeoProof; GeoThms; OpenGeoProver; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

HERMES

Software Authors:   Bozga, L., Lakhnech, Y., Perin, M.
Referenced in: 8 Publications (2005–2009)
Related Software: AVISPA; Casper; Timbuk; simpleAPL; Isabelle/ZF; scyther; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

ML4PG

Software Authors:   Heras, Jónathan; Komendantskaya, Ekaterina
Referenced in: 9 Publications (2013–2021)
Related Software: Coq; SEPIA; Flyspeck; Coq/SSReflect; WEKA; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

Omega-ANTS

Software Authors:   Benzmüller, Christoph; Sorge, Volker
Referenced in: 9 Publications (2001–2008)
Related Software: OMEGA; LOUI; TRAMP; Leo; TPTP; MBase; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

RALL

Software Authors:   David von Oheimb, Thomas F. Gritzner
Referenced in: 9 Publications (1997–2014)
Related Software: Ralf; Isabelle/HOL; ARA; Isabelle; RelView; CoLoR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Amortized Complexity

Software Authors:   Tobias Nipkow
Referenced in: 8 Publications (2015–2021)
Related Software: Archive Formal Proofs; HOL; Isabelle/HOL; Isabelle; Coq; Root Balanced Tree; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Electronic Geometry Textbook

Software Authors:   Chen, Xiaoyu
Referenced in: 7 Publications (2010–2020)
Related Software: Intergeo; GCLC; GeoGebra; TGTP; GeoThms; GCLCprover; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Mathematics education (97-XX)

evt

Software Authors:   Lars–Åke Fredlund; Dilian Gurov; Thomas Noll; Mads Dam; Thomas Arts; Gennady Chugunov
Referenced in: 6 Publications (2001–2021)
Related Software: Erlang; Isabelle; Coq; Java-MaC; InterAspect; AspectWerkz; …
Main Fields: Computer science (68-XX)

PARTHENON

Software Authors:   Bose, Soumitra; Clarke, Edmund M.; Long, David E.; Michaylov, Spiro
Referenced in: 5 Publications (1989–2004)
Related Software: METEOR; SETHEO; Aquarius; OTTER; PARTHEO; Roo; …
Main Fields: Computer science (68-XX)

Zap

Software Authors:   Thomas Ball, Shuvendu Lahiri, and Madanlal Musuvathi
Referenced in: 6 Publications (2005–2008)
Related Software: ESC/Java; SIMPLIFY; Spec#; Chaff; SMT-LIB; MiniSat; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CITP

Software Authors:   Găină, Daniel; Zhang, Min; Chiba, Yuki; Arimoto, Yasuhito
Referenced in: 7 Publications (2013–2020)
Related Software: Maude; CafeOBJ; CIRC; CASL; OBJ3; ASF+SDF; …
Main Fields: Computer science (68-XX)

Consit

Software Authors:   Danicic, S.; Fox, C.; Harman, M.; Hierons, R.
Referenced in: 5 Publications (2005–2010)
Related Software: ASTREE; CSSV; TVLA; Bogart; FermaT; CodeSurfer
Main Fields: Computer science (68-XX)

Ctrl

Software Authors:   Kop, Cynthia; Nishida, Naoki
Referenced in: 7 Publications (2014–2021)
Related Software: KITTeL; z3; TcT; Maude; Yices; ARMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HOL90

Software Authors:   theoremprover-museum
Referenced in: 7 Publications (1995–2017)
Related Software: Coq; NQTHM; Nuprl; HOL; PVS; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

HyLoRes

Software Authors:   Areces, C.; Heguiabehere, J.
Referenced in: 7 Publications (2002–2020)
Related Software: Spartacus; HyLoTab; HTab; BDDTab; Flex; Bison; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MGTP

Software Authors:   Hasegawa, Ryuzo; Fujita, Hiroshi; Koshimura, Miyuki; Shirai, Yasuyuki
Referenced in: 6 Publications (1995–2013)
Related Software: SATCHMO; TPTP; MiniSat; FINDER; QMaxSAT; Scsat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PREVAIL

Software Authors:   Borrione, Dominique; Pierre, Laurence; Salem, Ashraf
Referenced in: 5 Publications (1992–2014)
Related Software: Nuprl; CoqMTU; Coquet; Coq; CESAR; LARCH; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

QuickSpec

Software Authors:   Claessen, K., Smallbone, N., Hughes, J.
Referenced in: 5 Publications (2014–2019)
Related Software: QuickCheck; Hipster; HipSpec; Zeno; Theorema; ACL2; …
Main Fields: Computer science (68-XX)

reFLect

Software Authors:   Grundy, Jim; Melham, Tom; O’Leary, John
Referenced in: 6 Publications (2006–2018)
Related Software: Coq; ML; Agda; HOL Light; HOL; HOL Light QE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Regex_Equivalence

Software Authors:   Nipkow, T.; Traytel, D.
Referenced in: 7 Publications (2014–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; MSO_Regex_Equivalence; Myhill-Nerode; Lifting; Transfer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)