×

Found 680 Software Packages (Results 1–100)

Coq

Software Authors:   Dehlinger, Christophe; Dufourd, Jean-François
Referenced in: 1,799 Publications (1993–2022)
Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

z3

Software Authors:   Microsoft Research; Leonardo de Moura; Nikolaj Bjørner
Referenced in: 593 Publications (2001–2022)
Related Software: SMT-LIB; CVC4; Yices; Coq; Isabelle/HOL; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

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)

HOL

Software Authors:   Gordon, Michael J. C.
Referenced in: 575 Publications (1985–2022)
Related Software: Isabelle; Isabelle/HOL; ML; Coq; HOL Light; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-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)

HOL Light

Software Authors:   Harrison, John
Referenced in: 301 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-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)

VAMPIRE

Software Authors:   Riazanov, Alexandre; Voronkov, Andrei
Referenced in: 259 Publications (1985–2021)
Related Software: TPTP; E Theorem Prover; SPASS; z3; Isabelle/HOL; OTTER; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Mace4

Software Authors:   William McCune
Referenced in: 222 Publications (1996–2022)
Related Software: Prover9; OTTER; TPTP; GAP; VAMPIRE; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

E Theorem Prover

Software Authors:   Stephan Schulz
Referenced in: 201 Publications (2001–2021)
Related Software: VAMPIRE; TPTP; SPASS; Isabelle/HOL; Mizar; MaLARea; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

DGM

Software Authors:   Sirignano, Justin; Spiliopoulos, Konstantinos
Referenced in: 195 Publications (2017–2022)
Related Software: Adam; TensorFlow; PyTorch; PDE-Net; DeepXDE; FPINNs; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-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)

Prover9

Software Authors:   William McCune
Referenced in: 195 Publications (2006–2022)
Related Software: Mace4; OTTER; TPTP; E Theorem Prover; Isabelle/HOL; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

SPASS

Software Authors:   C Weidenbach, U Brahm, T Hillenbrand
Referenced in: 181 Publications (1996–2021)
Related Software: VAMPIRE; TPTP; E Theorem Prover; Isabelle/HOL; OTTER; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

REDLOG

Software Authors:   Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker
Referenced in: 164 Publications (1997–2022)
Related Software: QEPCAD; Maple; z3; REDUCE; RSOLVER; DISCOVERER; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

Pesca

Software Authors:   Aarne Ranta
Referenced in: 163 Publications (2001–2022)
Related Software: MiniML; Isabelle; TABLEAUX; Coq; Hyperproof; Alms; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Geometry (51-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)

Sledgehammer

Software Authors:   Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C.
Referenced in: 141 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)

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)

Why3

Software Authors:   François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich
Referenced in: 127 Publications (2004–2023)
Related Software: KRAKATOA; Coq; Caduceus; z3; Boogie; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

CVC4

Software Authors:   Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C.
Referenced in: 123 Publications (2013–2022)
Related Software: z3; SMT-LIB; MathSAT5; Yices; VAMPIRE; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

Flyspeck

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

Java PathFinder

Software Authors:   Havelund, Klaus; Pressburger, Thomas
Referenced in: 92 Publications (2000–2021)
Related Software: SPIN; Bandera; veriSoft; CUTE; DART; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

SETHEO

Software Authors:   Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W.
Referenced in: 114 Publications (1990–2021)
Related Software: TPTP; OTTER; SPASS; E-SETHEO; SATCHMO; VAMPIRE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ELAN

Software Authors:   Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Referenced in: 105 Publications (1996–2020)
Related Software: Maude; CafeOBJ; OBJ3; Stratego; Haskell; ATERM; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

SATCHMO

Software Authors:   Manthey, R., Bry, F.
Referenced in: 90 Publications (1988–2021)
Related Software: TPTP; OTTER; SETHEO; SPASS; Mace4; FINDER; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX)

cvc3

Software Authors:   Clark Barrett, Cesare Tinelli, Chris Conway, Morgan Deters, Alexander Fuchs, Yeting Ge, George Hagen, Mina Jeong, Dejan Jovanovic, Tim King
Referenced in: 77 Publications (2006–2021)
Related Software: z3; SMT-LIB; Yices; SIMPLIFY; Why3; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Nominal Isabelle

Software Authors:   Urban, Christian; Kaliszyk, Cezary
Referenced in: 75 Publications (2005–2022)
Related Software: Isabelle/HOL; PoplMark; Isabelle; Coq; 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)

Matita

Software Authors:   Asperti, Andrea; Ricciotti, Wilmer; Sacerdoti Coen, Claudio; Tassi, Enrico
Referenced in: 71 Publications (2007–2020)
Related Software: Coq; Mizar; Isabelle/HOL; Isabelle; Agda; Proof General; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Real functions (26-XX)

Coq/SSReflect

Software Authors:   Microsoft Research-Inria Joint Center
Referenced in: 71 Publications (2008–2021)
Related Software: Coq; Isabelle/HOL; Mizar; ACL2; Isabelle; Flyspeck; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

iPiano

Software Authors:   Ochs, Peter; Chen, Yunjin; Brox, Thomas; Pock, Thomas
Referenced in: 68 Publications (2014–2022)
Related Software: iPiasco; UNLocBoX; L-BFGS; Saga; BADMM; ARock; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

KeY

Software Authors:   http://www.key-project.org/people.html
Referenced in: 51 Publications (2000–2021)
Related Software: JML; ESC/Java; KRAKATOA; Boogie; Spec#; PVS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

Kenzo

Software Authors:   Rubio, Julio; Sergeraert, Francis; Yvon Siret; Xavier Dousson
Referenced in: 64 Publications (2000–2021)
Related Software: EAT; ACL2; Coq; HAP; GAP; CHomP; …
Main Fields: Commutative algebra (13-XX); Category theory; homological algebra (18-XX); Group theory and generalizations (20-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)

Jordan

Software Authors:   Thomas C. Hales
Referenced in: 64 Publications (2007–2022)
Related Software: HOL Light; kepler98; Maple; Mizar; Flyspeck; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

TwoCop

Software Authors:   Bruno Remillard; Jean-Francois Plante
Referenced in: 60 Publications (2009–2022)
Related Software: QRM; copula; copula; R; npcp; IndependenceTests; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-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; Sledgehammer; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

DeepONet

Software Authors:   Lu Lu, Pengzhan Jin, George Em Karniadakis
Referenced in: 59 Publications (2020–2022)
Related Software: Adam; PDE-Net; PyTorch; DeepXDE; DGM; FPINNs; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

emplik

Software Authors:   Mai Zhou; Art Owen
Referenced in: 59 Publications (2005–2021)
Related Software: R; bootstrap; el.convex; glmnet; dbEmpLikeGOF; NlcOptim; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

CakeML

Software Authors:   Kumar, Ramana; Myreen, Magnus O.; Norrish, Michael; Owens, Scott
Referenced in: 53 Publications (2014–2021)
Related Software: Isabelle/HOL; Coq; HOL; HOL Light; seL4; Isabelle; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

iProver

Software Authors:   Korovin, Konstantin
Referenced in: 53 Publications (2008–2021)
Related Software: TPTP; VAMPIRE; E Theorem Prover; SPASS; z3; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ProofPower

Software Authors:   Roger Jones; Arthan, R.D.; Dave King; Lemma 1 Ltd
Referenced in: 52 Publications (2001–2020)
Related Software: Circus; Z; HOL; Isabelle/HOL; HOL Light; Isabelle; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Real functions (26-XX)

CVC Lite

Software Authors:   Mclaughlin, Sean; Barrett, Clark; Ge, Yeting
Referenced in: 51 Publications (2004–2020)
Related Software: HOL Light; Chaff; CVC; SMT-LIB; z3; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-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)

Metis_

Software Authors:   Joe Leslie-Hurd; metis-users@gilith.com
Referenced 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)

RRL

Software Authors:   D.Kapur; H.Zhang
Referenced in: 48 Publications (1985–2019)
Related Software: NQTHM; REVE; OTTER; SPIKE; PVS; Tecton; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

Abella

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

MetiTarski

Software Authors:   Akbarpour, Behzad; Paulson, Lawrence C.
Referenced in: 51 Publications (2008–2021)
Related Software: QEPCAD; z3; PVS; HOL Light; Coq; KeYmaera; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

KIV

Software Authors:   M. Heisel, B. Langenstein, W.Reif, G. Schellhorn, K. Stenzel, W. Stephan, A. Wolpers, et al.
Referenced in: 50 Publications (1988–2021)
Related Software: Z; PVS; Isabelle; JML; KRAKATOA; Why3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-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)

na10

Software Authors:   Bini, Dario Andrea
Referenced in: 51 Publications (1996–2022)
Related Software: na20; mctoolbox; ISOLATE; Eigensolve; SYNAPS; Matlab; …
Main Fields: Field theory and polynomials (12-XX); Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-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)

LEO-II

Software Authors:   Benzmüller, C., Paulson, L., Theiss, F., Fietzke, A
Referenced 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)

QUALEX

Software Authors:   Busygin, Stanislav
Referenced in: 50 Publications (2002–2020)
Related Software: DIMACS; Max-AO; Tabu search; BHOSLIB; GQTPAR; MaxCliqueDyn; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-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)

Frama-C

Software Authors:   Patrick Baudin; Richard Bonichon; Loïc Correnson; Pascal Cuoq; Zaynah Dargaye; Jean-Christophe Filliâtre; Philippe Herrmann; Claude Marché; Benjamin Monate; Yannick Moy; Anne Pacalet; Virgile Prévosto; Julien Signoles and Boris Yakobowski
Referenced in: 39 Publications (2009–2021)
Related Software: Why3; Coq; z3; ACSL; KRAKATOA; Boogie; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

CeTA

Software Authors:   Thiemann, René; Sternagel, Christian
Referenced in: 45 Publications (2009–2021)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; CoLoR; AProVE; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-XX)

Waldmeister

Software Authors:   Thomas Hillenbrand; Bernd Löchner
Referenced in: 44 Publications (1999–2021)
Related Software: TPTP; VAMPIRE; SPASS; E Theorem Prover; OTTER; Prover9; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

STP

Software Authors:   Vijay Ganesh; Trevor Hansen; Mate Soos; Dan Liew; Ryan Govostes; Andrew V. Jones; et al.
Referenced in: 40 Publications (2007–2022)
Related Software: z3; DART; CUTE; Yices; Boolector; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

OSCAR

Software Authors:   Pollock, John L.
Referenced in: 42 Publications (1992–2021)
Related Software: AFRA; ClaiMaker; C4.5; UCI-ml; PULCinella; M-MACBETH; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)

GHC

Software Authors:   Ueda, Kazunori
Referenced in: 36 Publications (1986–2014)
Related Software: PARLOG; Kima; Haskell; LMNtal; Esterel; Janus; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Locales

Software Authors:   Ballarin, Clemens
Referenced in: 41 Publications (1999–2021)
Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Coq; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

CLAM

Software Authors:   Bundy, A., van Harmelen, F., Horn, C.
Referenced in: 39 Publications (1989–2021)
Related Software: Oyster; Nuprl; HOL; Isabelle; InKa; NQTHM; …
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; ModLeanTAP; SATCHMO; leanCoP; CondLean; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

C-CoRN

Software Authors:   Henk Barendregt, Vince Bárány, Luís Cruz-Filipe, Herman Geuvers, Mariusz Giero, Rik van Ginneken, Dimitri Hendriks, Sébastien Hinderer, Cezary Kaliszyk, B. W. M. Kirkels, Pierre Letouzey, Iris Loeb, Lionel Mamanem Milad Niqui, Russell O’Connor, Randy Pollack, Nickolay V. Shmyrev, Bas Spitters, Dan Synek, Freek Wiedijk, Jan Zwanenburg
Referenced in: 37 Publications (2004–2022)
Related Software: Coq; Isabelle/HOL; Mizar; ACL2; HOL Light; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Numerical analysis (65-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)

SIMEM3 Renault

Software Authors:   Jourdan, Franck; Alart, Pierre; Jean, Michel
Referenced in: 40 Publications (1998–2021)
Related Software: Meschach; LMGC90; Solfec; MFIX-DEM; FFSQP(f77); Mathematica; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-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)

MR and LTV Synthesis Tools

Software Authors:   Pirie, Carol; Dullerud, Geir E.
Referenced in: 35 Publications (1999–2021)
Related Software: YALMIP; SeDuMi; LMI toolbox; Sostools; Matlab; Mosek; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Operations research, mathematical programming (90-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)

Analytica

Software Authors:   Bauer, A., Clarke, E.M., Zhao
Referenced in: 33 Publications (1993–2022)
Related Software: Theorema; Nuprl; PVS; Coq; OMRS; AXIOM; …
Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Computer science (68-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)

EasyCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Heraud, Sylvain; Béguelin, Santiago Zanella
Referenced in: 32 Publications (2011–2021)
Related Software: Coq; F*; CryptHOL; Isabelle/HOL; AVISPA; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

WhyML

Software Authors:   Filliâtre, Jean-Christophe; Paskevich, Andrei
Referenced in: 28 Publications (2013–2021)
Related Software: Why3; z3; Coq; Boogie; Isabelle/HOL; Dafny; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-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)

OMEGA

Software Authors:   Kerber, Manfred; theoremprover-museum; Siekmann, J.; Benzmüller, C.; Fiedler, A.; Meier, A.; Pollet, M.
Referenced in: 32 Publications (1997–2016)
Related Software: Coq; TRAMP; OTTER; TPTP; Gandalf; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

GCLC

Software Authors:   Janičić, Predrag
Referenced in: 30 Publications (2002–2021)
Related Software: GeoThms; GCLCprover; GeoGebra; GEX; GEOTHER 1.1; Cinderella; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)

IsaPlanner

Software Authors:   Lucas Dixon; Moa Johansson
Referenced in: 29 Publications (2000–2021)
Related Software: Isabelle; Lambda-Clam; Isabelle/HOL; Coq; Isar; Theorema; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ITP

Software Authors:   Clavel, M.; Palomino, M.; Riesco, A.
Referenced in: 29 Publications (2005–2020)
Related Software: Maude; SCC; CafeOBJ; OBJ3; PMaude; MTT; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

leanCoP

Software Authors:   Jens Otten
Referenced in: 31 Publications (2001–2021)
Related Software: TPTP; VAMPIRE; FEMaLeCoP; E Theorem Prover; MaLeCoP; ileanCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OBBTree

Software Authors:   Gottschalk, S., Lin, M.C., Manocha, D.
Referenced in: 20 Publications (2001–2022)
Related Software: spheretree; Qsplat; CMPGRD; Gmsh; Metro; SubLiME; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-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)

CRYPTIM

Software Authors:   Ustimenko, Vasyl
Referenced in: 29 Publications (2001–2015)
Related Software: CRYPTALL; Galois Field Arithmetic Library
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Computer science (68-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)

LOOP

Software Authors:   van den Berg, Joachim; Jacobs, Bart
Referenced in: 24 Publications (2001–2012)
Related Software: JML; PVS; KRAKATOA; ESC/Java; Eiffel; Coq; …
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)

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)

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)