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)