×

Found 1,099 Software Packages (Results 1–100)

SPIN

Software Authors:   Bell Labs
Cited in: 593 Publications (1990–2022)
Related Software: NuSMV; Uppaal; Bandera; Java PathFinder; Bebop; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Maude

Software Authors:   Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Maude team
Cited in: 619 Publications (1984–2023)
Related Software: CafeOBJ; OBJ3; ELAN; Haskell; CASL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Z-Tree

Software Authors:   Fischbacher U.
Cited in: 668 Publications (2001–2022)
Related Software: ORSEE; hroot; Stata; Gambit; R; oTree; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HOL

Software Authors:   Gordon, Michael J. C.
Cited in: 582 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)

OTTER

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

HOL Light

Software Authors:   Harrison, John
Cited in: 305 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)

Datalog

Software Authors:   Ceri, S., Gottlob, G., Tanca, L
Cited in: 280 Publications (1978–2022)
Related Software: ASSAT; Gringo; Clingo; WASP; Smodels; DLV; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

VAMPIRE

Software Authors:   Riazanov, Alexandre; Voronkov, Andrei
Cited in: 280 Publications (1985–2023)
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)

Kronos

Software Authors:   Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Cited in: 243 Publications (1997–2021)
Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Smodels

Software Authors:   Niemelä, Ilkka; Simons, P; Syrjänen, Tommi
Cited in: 229 Publications (1999–2022)
Related Software: ASSAT; Cmodels; XSB; Gringo; clasp; Lparse; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

E Theorem Prover

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

Prover9

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

SATO

Software Authors:   Zhang, H
Cited in: 189 Publications (1996–2021)
Related Software: Chaff; BerkMin; PSATO; MiniSat; DIMACS; Walksat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

SPASS

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

ASSAT

Software Authors:   Yuting Zhao
Cited in: 169 Publications (2003–2022)
Related Software: Cmodels; Smodels; clasp; Gringo; Lparse; Chaff; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

GOLOG

Software Authors:   Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
Cited in: 157 Publications (1996–2022)
Related Software: ConGolog; AgentSpeak; METATEM; Graphplan; Jason; CCalc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

REDLOG

Software Authors:   Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker
Cited in: 166 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)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Cited in: 157 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)

CESAR

Software Authors:   Queille, J.P.; Sifakis, J.
Cited in: 149 Publications (1982–2021)
Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LCF

Software Authors:   Milner, Robin
Cited in: 156 Publications (1972–2022)
Related Software: ML; Coq; 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
Cited 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)

Theorema

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

Isar

Software Authors:   Makarius Wenzel
Cited in: 144 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.
Cited in: 144 Publications (2010–2022)
Related Software: Isabelle/HOL; Isabelle; z3; Coq; VAMPIRE; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)

XSB

Software Authors:   Sagonas, K.F., Swift, T., Warren, D.S., Freire, J., Rao, P.
Cited in: 135 Publications (1995–2022)
Related Software: YAP-Prolog; Smodels; B-Prolog; OPTYap; SICStus; Datalog; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

GraphBase

Software Authors:   Knuth, Donald E.
Cited in: 137 Publications (1993–2022)
Related Software: LOLIB; LEDA; Pajek datasets; DIMACS; TSPLIB; R; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

OBJ3

Software Authors:   J. Goguen, T. Winkler, J. Meseguer, K. Futatsigi and J. Jouannaud; (kiniry)
Cited 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)

MADM

Software Authors:   Rao, R. Venkata
Cited in: 127 Publications (1998–2022)
Related Software: ELECTRE; VIKOR; NBI; FLINTSTONES; SimLean; Mathematica; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

MONA

Software Authors:   Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.; Elgaard, J.
Cited in: 134 Publications (1995–2022)
Related Software: DCVALID; z3; Isabelle/HOL; NuSMV; Uppaal; SIMPLIFY; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

SETHEO

Software Authors:   Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W.
Cited in: 115 Publications (1990–2022)
Related Software: TPTP; OTTER; SPASS; E-SETHEO; VAMPIRE; SATCHMO; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

PEPA

Software Authors:   Jane Hillston; http://www.dcs.ed.ac.uk/pepa/people/
Cited in: 107 Publications (1995–2022)
Related Software: Bio-PEPA; PRISM; BIOCHAM; SPADES; SMART_; HyTech; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Gringo

Software Authors:   Martin Gebser, Roland Kaminski, Benjamin Kaufmann,Max Ostrowski, Torsten Schaub, Sven Thiele
Cited in: 98 Publications (2007–2021)
Related Software: clasp; Clingo; Lparse; WASP; ASSAT; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PPL

Software Authors:   Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
Cited in: 103 Publications (2002–2022)
Related Software: HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

ELAN

Software Authors:   Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Cited 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)

ProbLog

Software Authors:   Renkens, Joris; Van Den Broeck, Guy; Nijssen, Siegfried
Cited in: 103 Publications (2007–2022)
Related Software: PRISM; PITA; CP-logic; Church; BLOG; YAP-Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

clasp

Software Authors:   Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub
Cited in: 96 Publications (2007–2021)
Related Software: Gringo; Clingo; WASP; MiniSat; ASSAT; iClingo; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DistAl

Software Authors:   Yang, Jihoon; Parekh, Rajesh; Honavar, Vasant
Cited in: 76 Publications (1999–2022)
Related Software: UCI-ml; C4.5; Genocop; SPEA2; R; LIBSVM; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AgentSpeak

Software Authors:   Anand S. Rao
Cited in: 87 Publications (1998–2020)
Related Software: Jason; 3APL; METATEM; GOLOG; ConGolog; Jadex; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

LTL2BA

Software Authors:   Gastin, Paul; Oddoux, Denis
Cited in: 93 Publications (2001–2022)
Related Software: SPIN; SPOT; NuSMV; CESAR; lbtt; CUDD; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Xilinx

Software Authors:   Xilinx Inc.
Cited in: 23 Publications (1994–2021)
Related Software: Handel-C; Simulink; Snort; Matlab; CUDA; PhysioToolkit; …
Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

CHIP

Software Authors:   Dincbas, M.; Simonis, H.; van Hentenryck, P.
Cited in: 79 Publications (1989–2022)
Related Software: Oz; ILOG SCHEDULE; CPLEX; PSPLIB; OPL; MiniZinc; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

MCMAS

Software Authors:   Alessio Lomuscio, Hongyang Qu, Franco Raimondi
Cited in: 81 Publications (2006–2022)
Related Software: MCMAS-SLK; MCK; MOCHA; VerICS; PRISM; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CCalc

Software Authors:   Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
Cited in: 74 Publications (2003–2021)
Related Software: Smodels; Coala; GOLOG; PDDL; Society Visualiser; NuSMV; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TPS

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

SLMC

Software Authors:   Hugo Vieira; Luís Caires
Cited in: 72 Publications (2003–2022)
Related Software: PIPER; PRISM; KLAIM; Maude; Uppaal; BlenX; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Prolog

Software Authors:   Daniel Diaz
Cited in: 57 Publications (1984–2020)
Related Software: SICStus; CHIP; Twelf; SWI-Prolog; XSB; wamcc; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

Cmodels

Software Authors:   Yulia Lierler
Cited in: 67 Publications (2004–2022)
Related Software: ASSAT; Smodels; Gringo; clasp; Chaff; WASP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Fuzzy Logic Toolbox

Software Authors:   mathworks; Gulley, N.; Jang, J. S.
Cited in: 60 Publications (1998–2022)
Related Software: Matlab; ANFIS; Simulink; Neural Network Toolbox; Optimization Toolbox; Wavelet Toolbox; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

BABEL

Software Authors:   Mario Rodriguez-Artalejo
Cited in: 69 Publications (1988–2013)
Related Software: Kernel-LEAF; TOY; Curry; ECCE; PAKCS; Miranda; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Coq/SSReflect

Software Authors:   Microsoft Research-Inria Joint Center
Cited 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)

Mercury

Software Authors:   mercurylang.org
Cited in: 70 Publications (1994–2022)
Related Software: ECCE; Haskell; DPPD; SICStus; CiaoPP; Ciao; …
Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Statistics (62-XX)

Nitpick

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

VeriFast

Software Authors:   Bart Jacobs; Jan Smans; Frank Piessens
Cited in: 61 Publications (2009–2022)
Related Software: Boogie; Dafny; z3; Why3; jStar; Smallfoot; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

KeY

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

Kiva-2

Software Authors:   Amsden, A. A.; Orourke, P. J.; Butler, T. D.
Cited in: 68 Publications (1987–2022)
Related Software: KIVA-4; ODEPACK; Matlab; CHEMKIN; FlameMaster; MATLAB ODE suite; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Racer

Software Authors:   Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel
Cited in: 52 Publications (2001–2021)
Related Software: FaCT++; Pellet; KL-ONE; Protege; RacerPro; HermiT; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Jason

Software Authors:   Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael
Cited in: 46 Publications (1977–2021)
Related Software: AgentSpeak; Jadex; 2APL; CArtAgO; JADE; GOLOG; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Hets

Software Authors:   Mossakowski, T., Maeder, C., Lüttich, K.
Cited in: 62 Publications (2005–2021)
Related Software: CASL; Isabelle/HOL; Isabelle; Maude; CafeOBJ; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Satallax

Software Authors:   Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller
Cited in: 62 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)

MathSAT

Software Authors:   Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
Cited in: 56 Publications (2005–2022)
Related Software: z3; Yices; HySAT; MiniSat; SMT-LIB; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-XX)

StarExec

Software Authors:   Aaron Stump; Geoff Sutcliffe; Cesare Tinelli
Cited in: 59 Publications (2014–2022)
Related Software: TPTP; VAMPIRE; z3; CVC4; SMT-LIB; E Theorem Prover; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX)

Aleph

Software Authors:   Srinivasan, A
Cited in: 52 Publications (2004–2022)
Related Software: GitHub; ProbLog; nFOIL; Metagol; GOLEM; C4.5; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

iProver

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

TOY

Software Authors:   F. J. López Fraguas, J. Sánchez Hernández
Cited in: 56 Publications (2001–2022)
Related Software: BABEL; PAKCS; Haskell; Curry; Kernel-LEAF; Maude; …
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
Cited 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)

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)

WASP

Software Authors:   Alviano, Mario; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
Cited in: 54 Publications (2014–2022)
Related Software: Clingo; clasp; Gringo; DLV2; DLV; Cmodels; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Abella

Software Authors:   Andrew Gacek
Cited in: 53 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)

METATEM

Software Authors:   Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R.
Cited in: 49 Publications (1994–2016)
Related Software: AgentSpeak; GOLOG; ConGolog; Jason; Oz; 3APL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

RRL

Software Authors:   D.Kapur; H.Zhang
Cited 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)

Ciao

Software Authors:   Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G.
Cited in: 52 Publications (1999–2022)
Related Software: CiaoPP; SICStus; Mercury; XSB; ECCE; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Smallfoot

Software Authors:   Berdine, J., Calcagno, C., O’Hearn, P.W.
Cited in: 51 Publications (2004–2022)
Related Software: jStar; VeriFast; z3; Coq; HIP; SLAyer; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

KIV

Software Authors:   M. Heisel, B. Langenstein, W.Reif, G. Schellhorn, K. Stenzel, W. Stephan, A. Wolpers, et al.
Cited 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)

IMPS

Software Authors:   Farmer, William M.; Guttman, Joshua D.; Thayer, F.Javier
Cited 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
Cited in: 51 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)

Lolli

Software Authors:   Josh Hodas; Dale Miller
Cited in: 50 Publications (1993–2021)
Related Software: Twelf; Elf; ML; Abella; Coq; Bedwyr; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

MMT

Software Authors:   Florian Rabe
Cited in: 51 Publications (2009–2022)
Related Software: OMDoc; QMT; Coq; Isabelle; Mizar; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

HiLog

Software Authors:   Weidong Chen; Michael Kifer; David S. Warren
Cited in: 47 Publications (1993–2021)
Related Software: Hiord; swrl; Haskell; Smodels; XSB; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Cited in: 48 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)

MiniML

Software Authors:   Davies, Rowan; Pfenning, Frank
Cited in: 49 Publications (2000–2021)
Related Software: Coq; ML; Haskell; Pesca; Links; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Waldmeister

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

CeTA

Software Authors:   Thiemann, René; Sternagel, Christian
Cited in: 46 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)

BIOCHAM

Software Authors:   Chabrier, N., Fages, F., Soliman, S.
Cited in: 45 Publications (2005–2022)
Related Software: Bio-PEPA; PRISM; PEPA; BioNetGen; LBS; GNA; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

StateFlow

Software Authors:   The MathWorks, Inc.
Cited in: 41 Publications (1989–2022)
Related Software: Simulink; Matlab; Ptolemy; Esterel; S-TaLiRo; Circus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Curry

Software Authors:   M. Hanus, H. Kuchen, J.J. Moreno-Navarro
Cited in: 39 Publications (1998–2022)
Related Software: Haskell; PAKCS; TOY; BABEL; KiCS2; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

YAP-Prolog

Software Authors:   Vítor Santos Costa, Luís Damas, Rogério Reis, Rúben Azevedo
Cited in: 44 Publications (1999–2022)
Related Software: XSB; ProbLog; B-Prolog; SICStus; SWI-Prolog; Aleph; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

Elf

Software Authors:   Frank Pfenning
Cited in: 45 Publications (1989–2023)
Related Software: Nuprl; Twelf; Coq; Automath; Isabelle; Lolli; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OSCAR

Software Authors:   Pollock, John L.
Cited 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
Cited 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)

FRIL

Software Authors:   Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W.
Cited in: 37 Publications (1987–2020)
Related Software: Likelog; FPROLOG; XPath; XQuery; Ciao; Rfuzzy; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

Lparse

Software Authors:   Tommi Syrjänen
Cited in: 42 Publications (2001–2020)
Related Software: Gringo; ASSAT; MiniSat; Smodels; Cmodels; clasp; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ABC

Software Authors:   Robert Brayton; Alan Mishchenko
Cited in: 36 Publications (2011–2022)
Related Software: MiniSat; z3; AIGER; SPIN; GitHub; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

BL2D-V2

Software Authors:   Patrick Laug; Houman Borouchaki; INRIA Rocquencourt
Cited in: 43 Publications (1998–2022)
Related Software: ANGENER; bamg; ABAQUS/Explicit; ABAQUS; A-SLEIPNNIR; libMesh; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

GHC

Software Authors:   Ueda, Kazunori
Cited 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)

HYSDEL

Software Authors:   Fabio Danilo Torrisi, Alberto Bemporad, Gioele Bertini, Peter Hertach, Dominic Jost, Domenico Mignone
Cited in: 40 Publications (2003–2022)
Related Software: Hybrid Toolbox; CPLEX; HyTech; MPT; Chaff; cdd; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

KL-ONE

Software Authors:   Baader, Franz; Sattler, Ulrike
Cited in: 36 Publications (2001–2020)
Related Software: FaCT++; Racer; Pellet; MSPASS; E Theorem Prover; MetTeL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

leanTAP

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

PRISM

Software Authors:   Sato, T., Kameya, Y.
Cited in: 41 Publications (2006–2022)
Related Software: ProbLog; CP-logic; PITA; BLOG; Church; IBAL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

Clingcon

Software Authors:   Martin Gebser; Max Ostrowski; Torsten Schaub
Cited in: 39 Publications (2009–2022)
Related Software: Clingo; clasp; Gringo; WASP; ezcsp; Potassco; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

FINDER

Software Authors:   John Slaney
Cited in: 39 Publications (1993–2020)
Related Software: Mace4; SATCHMO; TPTP; OTTER; E-Darvin; Darwin; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)