×

Found 640 Software Packages (Results 1–100)

Coq

Software Authors:   Dehlinger, Christophe; Dufourd, Jean-François
Referenced in: 1,816 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)

Haskell

Software Authors:   –
Referenced in: 802 Publications (1989–2022)
Related Software: Coq; ML; GHC; Isabelle/HOL; QuickCheck; Maude; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-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)

ALGOL 68

Software Authors:   van Wijngaarden, A. Author Profile; Mailloux, B.J.; Peck, J.E.L.; Koster, C.H.A.; Sintzoff, M.; Lindsey, C.H.; Meertens, L.G.L.T.; Fisker, R.G.
Referenced in: 280 Publications (1969–2019)
Related Software: ALGOL 60; Simula 67; Ada95; PL/I; SNOBOL; LCF; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Z

Software Authors:   Woodcock, Jim; Davies, Jim
Referenced in: 228 Publications (1958–2022)
Related Software: Circus; ProofPower; Rodin; Z/EVES; Eiffel; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

Smodels

Software Authors:   Niemelä, Ilkka; Simons, P; Syrjänen, Tommi
Referenced 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)

MPFR

Software Authors:   Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny, Paul Zimmermann
Referenced in: 227 Publications (2001–2022)
Related Software: gmp; Mathematica; mctoolbox; SageMath; Matlab; ARPREC; …
Main Fields: Number theory (11-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

LOTOS

Software Authors:   Bolognesi, T., Brinksma, E.
Referenced in: 129 Publications (1988–2020)
Related Software: CADP; SPIN; Uppaal; Z; LOTOSphere; FDR2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

SPARQL

Software Authors:   w3.org; Arenas, Marcelo; Pérez, Jorge
Referenced in: 86 Publications (2007–2022)
Related Software: Jena; XPath; LUBM; Pellet; DBpedia; nSPARQL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

RCV1

Software Authors:   David D. Lewis; Yiming Yang; Tony G. Rose; Fan Li
Referenced in: 98 Publications (2005–2022)
Related Software: LIBSVM; UCI-ml; BoosTexter; L-BFGS; SGD-QN; LIBLINEAR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

Risa/Asir

Software Authors:   Masayuki Noro, Kazuhiro Yokoyama, Taku Takeshima, Takeshi Shimoyama, Hiroshi Anai, Takayuki Kando, Tomokatsu Saito, Yuji Kondoh, Hirokazu Murao, Thomas Sturm, Katsuyoshi Ohara, Nobuki Takayama, (who committed to fundamental design, kernel sources and core libraries). As to committers of libraries and very recent contributors, see also http://www.math.kobe-u.ac.jp/OpenXM/people.html Fujitsu laboratory or asir.org or Kobe university.
Referenced in: 116 Publications (1992–2022)
Related Software: SINGULAR; Macaulay2; Kan; OpenXM; Mathematica; hgm R; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX)

PDDL

Software Authors:   Fox, M.; Long, D.; Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.
Referenced in: 91 Publications (2000–2022)
Related Software: Graphplan; Walksat; SAPA; UCPOP; LPG; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

LARCH

Software Authors:   Guttag, John V.; Horning, James J.
Referenced in: 94 Publications (1989–2021)
Related Software: JML; Eiffel; PVS; CASL; Maude; CafeOBJ; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

Featherweight Java

Software Authors:   Igarashi, Atsushi; Pierce, Benjamin C.; Wadler, Philip
Referenced in: 86 Publications (2001–2021)
Related Software: ML; MJ; JML; Scala; Eiffel; Creol; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

OMDoc

Software Authors:   Kohlhase, Michael
Referenced in: 88 Publications (2001–2021)
Related Software: MMT; Coq; Mizar; ActiveMath; Isabelle/HOL; Automath; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Circus

Software Authors:   Woodcock, J.C.P., Cavalcanti, A.L.C.
Referenced in: 73 Publications (2002–2021)
Related Software: Z; ProofPower; ZRC; Isabelle/UTP; Simulink; ClawZ; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

KRAKATOA

Software Authors:   Marché, C.; Paulin-Mohring, C.; Urbain, X.
Referenced in: 77 Publications (2004–2021)
Related Software: Why3; Caduceus; JML; Boogie; Spec#; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

SIMPLIcity

Software Authors:   Wang, J.Z., Li, J., Wiederhold, G.
Referenced in: 44 Publications (2002–2021)
Related Software: VisualSEEk; NeTra; EMD; LIBSVM; SIFT; PASCAL VOC; …
Main Fields: General topology (54-XX); Statistics (62-XX); Computer science (68-XX)

Ptolemy

Software Authors:   Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia Sachs, Yuhong Xiong
Referenced in: 64 Publications (1995–2022)
Related Software: Metropolis; Simulink; StateFlow; Esterel; SIGNAL; Reo; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CCalc

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

Cmodels

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

KLAIM

Software Authors:   De Nicola, R.; Ferrari, G.L.; Pugliese, R.
Referenced in: 62 Publications (2000–2021)
Related Software: Linda; Klava; LIME; SCEL; Maude; SLMC; …
Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)

BABEL

Software Authors:   Mario Rodriguez-Artalejo
Referenced 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)

PROGRES

Software Authors:   Münch, Manfred; Schürr, Andy; Winter, Andreas J.
Referenced in: 49 Publications (1994–2020)
Related Software: VIATRA2; AGG; Fujaba; SPIN; DIEGO; Graph transformation benchmarks; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Church

Software Authors:   Goodman N., Mansinghka V.K., Roy D., Bonawitz K., Tenenbaum J.B.
Referenced in: 53 Publications (2008–2022)
Related Software: BLOG; IBAL; ProbLog; Figaro; FACTORIE; Stan; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX)

CLEAN

Software Authors:   Plasmeijer, M.J.
Referenced in: 55 Publications (1987–2016)
Related Software: Haskell; Miranda; Sparkle; Coq; ML; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CakeML

Software Authors:   Kumar, Ramana; Myreen, Magnus O.; Norrish, Michael; Owens, Scott
Referenced in: 57 Publications (2014–2022)
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)

WASP

Software Authors:   Alviano, Mario; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
Referenced 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)

COMAL

Software Authors:   Benedict Løfstedt; Børge R. Christensen
Referenced in: 1 Publication (1982)
Related Software:
Main Fields: Computer science (68-XX)

CompCert

Software Authors:   Leroy, X.
Referenced in: 50 Publications (2009–2022)
Related Software: Coq; Isabelle/HOL; z3; CakeML; cminor; Isabelle; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

Abella

Software Authors:   Andrew Gacek
Referenced in: 52 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)

PHiPAC

Software Authors:   Jeff A Bilmes; Krste Asanovic; Rich Vuduc; Sriram Iyer; Jim Demmel; CheeWhye Chin; Dominic Lam
Referenced in: 48 Publications (1997–2016)
Related Software: ATLAS; LAPACK; BLAS; FFTW; mctoolbox; ScaLAPACK; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

MMT

Software Authors:   Florian Rabe
Referenced 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)

swrl

Software Authors:   Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.
Referenced in: 32 Publications (2005–2022)
Related Software: Pellet; FaCT++; SPARQL; Jena; HiLog; Protege; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GROOVE

Software Authors:   Kastenberg, H., Rensink, A.
Referenced in: 42 Publications (2004–2020)
Related Software: AGG; SPIN; CheckVML; GrGen; Bogor; PROGRES; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

HiLog

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

AGG

Software Authors:   Gabriele Taentzer
Referenced in: 40 Publications (2004–2021)
Related Software: GROOVE; PROGRES; VIATRA2; GrGen; AToM3; Henshin; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

Freshml

Software Authors:   Shinwell, M.R., Pitts, A.M., Gabbay, M.
Referenced in: 48 Publications (2003–2021)
Related Software: Coq; Nominal Isabelle; Twelf; Isabelle/HOL; OCaml; Agda; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

ConGolog

Software Authors:   De Giacomo; Lespérance, Y.; Levesque, H.J.
Referenced in: 40 Publications (1999–2022)
Related Software: GOLOG; AgentSpeak; METATEM; Jason; Graphplan; 3APL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Referenced in: 37 Publications (2002–2017)
Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; CMC; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

Lparse

Software Authors:   Tommi Syrjänen
Referenced 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)

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: 42 Publications (1999–2022)
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)

PNML

Software Authors:   Hillah, L.M.; Kordon, F.; Petrucci, L.; Trèves, N.
Referenced in: 27 Publications (1992–2021)
Related Software: Woflan; YAWL; TRANSPATH; SPIN; FAST; SNOOPY; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

SatAbs

Software Authors:   Clarke, E., Kroning, D., Sharygina, N., Yorav, K.
Referenced in: 35 Publications (2005–2021)
Related Software: BLAST; SLAM; CPAchecker; SPIN; Bebop; CBMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SMIL

Software Authors:   W3.org
Referenced in: 10 Publications (2001–2016)
Related Software: XPath; Lua; SPARQL; TRIPLE; Nevada; Dynagraph; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Mathematics education (97-XX)

Lua

Software Authors:   Roberto Ierusalimschy; Waldemar Celes; Luiz Henrique de Figueiredo
Referenced in: 21 Publications (2002–2021)
Related Software: Python; R; Ruby; Matlab; Smalltalk; TensorFlow; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-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)

LUSTRE

Software Authors:   Caspi, P.; Pilaud, D.; Halbwachs, N.; Plaice, J. A.
Referenced in: 38 Publications (1992–2018)
Related Software: Esterel; SIGNAL; Simulink; Haskell; Boogie; Ptolemy; …
Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

DAML+OIL

Software Authors:   Horrocks, Ian
Referenced in: 34 Publications (2002–2009)
Related Software: WordNet; swrl; TRIPLE; Racer; FaCT++; Pellet; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

LUPS

Software Authors:   Alferes, José Júlio; Pereira, Luís Moniz; Przymusinska, Halina; Przymusinski, Teodor C.
Referenced in: 37 Publications (1999–2019)
Related Software: XSB; Smodels; EVOLP; Jason; ConGolog; METATEM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

WSAT

Software Authors:   Fu, Xiang; Bultan, Tevfik; Su, Jianwen
Referenced in: 29 Publications (2004–2019)
Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MoDeST

Software Authors:   D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
Referenced in: 31 Publications (2001–2021)
Related Software: PRISM; Uppaal; HyTech; IF-2.0; MOTOR; CADP; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Ruby

Software Authors:   Flanagan, D.; Matsumoto, Y.
Referenced in: 23 Publications (2002–2017)
Related Software: Python; JavaScript; PERL; Dylan; Lua; ML; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

Ott

Software Authors:   Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok
Referenced in: 33 Publications (2007–2021)
Related Software: Coq; Isabelle/HOL; Nominal Isabelle; Isabelle; Twelf; PoplMark; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

TVLA

Software Authors:   Tal Lev-Ami; Mooly Sagiv
Referenced in: 31 Publications (2000–2020)
Related Software: ESC/Java; SIMPLIFY; SPIN; SLAM; ASTREE; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Polyp

Software Authors:   Jansson, P.; Jeuring, J.
Referenced in: 33 Publications (1999–2012)
Related Software: Haskell; Stratego; Coq; Agda; Maude; RepLib; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ABS

Software Authors:   Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Referenced in: 29 Publications (2012–2022)
Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

AToM3

Software Authors:   de Lara, Juan; Vangheluwe, Hans
Referenced in: 13 Publications (2002–2013)
Related Software: AGG; VIATRA2; DiaGen; PROGRES; VPM; SMART_; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

JavaFAN

Software Authors:   Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
Referenced in: 30 Publications (2004–2018)
Related Software: Maude; K Prover; MMT; Java+ITP; ACL2; CafeOBJ; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

AFRA

Software Authors:   Baroni, Pietro; Cerutti, Federico; Giacomin, Massimiliano; Guida, Giovanni
Referenced in: 30 Publications (2009–2021)
Related Software: ConArg2; OSCAR; PITA; CP-logic; ProbLog; DIAMOND; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MANIFOLD

Software Authors:   Bonsangue, M.M.; Arbab, F.; de Bakker, J.W.; Rutten, J.J.M.M.; Scutella, A.
Referenced in: 27 Publications (1993–2012)
Related Software: Linda; Reo; LIME; KLAIM; Oz; Rapide; …
Main Fields: Computer science (68-XX)

PROMELA

Software Authors:   Natarajan, V.; Holzmann, Gerard J.
Referenced in: 29 Publications (1997–2018)
Related Software: SPIN; jSpin; ProB; Uppaal; Isabelle/HOL; Rodin; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

DrScheme

Software Authors:   Findler, Robert Bruce; Clements, John; Flanagan, Cormac; Flatt, Matthew; Krishnamurthi, Shriram; Steckler, Paul; Felleisen, Matthias
Referenced in: 27 Publications (1997–2016)
Related Software: ACL2; Haskell; LISP; DrACuLa; Eiffel; MzScheme; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mathematics education (97-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)

DACTL

Software Authors:   John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, Ronan Sleep
Referenced in: 27 Publications (1987–2015)
Related Software: DIEGO; PROGRES; MONSTR; Miranda; CLEAN; PLT Redex; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

Kernel-LEAF

Software Authors:   Elio Giovannetti; Giorgio Levi; Corrado Moiso; Catuscia Palamidessi
Referenced in: 28 Publications (1991–2013)
Related Software: BABEL; TOY; Curry; PAKCS; Haskell; Maude; …
Main Fields: Computer science (68-XX)

Cambridge LCF

Software Authors:   Paulson, Lawrence C.; Konrad Slind
Referenced in: 24 Publications (1985–2017)
Related Software: Nuprl; HOL; LCF; ML; Automath; Isabelle; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Creol

Software Authors:   Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
Referenced in: 25 Publications (2006–2022)
Related Software: Featherweight Java; ABCL; Maude; Multilisp; ABS; AmbientTalk; …
Main Fields: Computer science (68-XX)

IBAL

Software Authors:   Avi Pfeffer
Referenced in: 27 Publications (2003–2019)
Related Software: Church; BLOG; PRISM; FACTORIE; PR-OWL; BUGS; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

LoTREC

Software Authors:   Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Sahade, Mohamad
Referenced in: 26 Publications (2001–2021)
Related Software: PVS; MetTeL; MSPASS; TWB; Lotrecscheme; Imogen; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

RuleML

Software Authors:   Eberhart, Andreas
Referenced in: 20 Publications (2002–2020)
Related Software: swrl; TRIPLE; Protege; PyGaze; DeepRED; Psychophysics Toolbox; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CoCasl

Software Authors:   Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
Referenced in: 26 Publications (2003–2014)
Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

qGCL

Software Authors:   Zuliani, Paolo
Referenced in: 23 Publications (2000–2021)
Related Software: QPL; Quipper; ScaffCC; YALLA; HYBRID; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

Romeo

Software Authors:   Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier (H.)
Referenced in: 26 Publications (2005–2020)
Related Software: TINA; Uppaal; Kronos; TAPAAL; CMC; IF-2.0; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

2APL

Software Authors:   Dastani, Mehdi
Referenced in: 13 Publications (2009–2020)
Related Software: Jason; AgentSpeak; Jadex; Linda; JADE; 3APL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

eSkel

Software Authors:   A. Benoit, M. Cole, J. Hillston, S. Gilmore
Referenced in: 18 Publications (2002–2016)
Related Software: Haskell; Eden; DataCutter; EdenTV; GUM; MPI; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Geophysics (86-XX)

PITA

Software Authors:   Riguzzi, Fabrizio; Swift, Terrance
Referenced in: 24 Publications (2010–2022)
Related Software: ProbLog; CP-logic; PRISM; MCINTYRE; XSB; Church; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

PLT Redex

Software Authors:   Felleisen, Matthias; Findler, Bruce; Flatt, Matthew
Referenced in: 22 Publications (2009–2022)
Related Software: K Prover; Coq; Haskell; K tool; Ott; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Bedwyr

Software Authors:   David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu
Referenced in: 21 Publications (2007–2022)
Related Software: Twelf; Abella; Nominal Isabelle; HYBRID; PoplMark; Teyjus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

GNT

Software Authors:   Janhunen, Tomi; Niemelä, Ilkka; Patrik Simons;Tomi Janhunen
Referenced in: 20 Publications (1997–2013)
Related Software: ASSAT; Smodels; Cmodels; clasp; NoMoRe; MiniSat; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

HermiT

Software Authors:   Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe; Shearer, R.
Referenced in: 21 Publications (2013–2022)
Related Software: Pellet; FaCT++; Konclude; ELK; RacerPro; Racer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PolyTOIL

Software Authors:   Bruce, K., Schuett, A., van Gent, R., Fiech, A.
Referenced in: 19 Publications (1997–2014)
Related Software: Eiffel; Featherweight Java; Smalltalk; BETA; ML; Simula 67; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CAS/PI

Software Authors:   Kajler, Norbert
Referenced in: 21 Publications (1992–2018)
Related Software: Mathematica; Maple; AXIOM; MACSYMA; OMRS; Isabelle; …
Main Fields: Real functions (26-XX); Computer science (68-XX)

Facile

Software Authors:   Giacalone, A., Mishra, P., Prasad, S
Referenced in: 22 Publications (1990–2009)
Related Software: Pict; ML; JoCaml; PiDuce; KLAIM; XPath; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

NoMoRe

Software Authors:   Anger, Christian; Konczak, Kathrin; Linke, Thomas
Referenced in: 22 Publications (2001–2012)
Related Software: ASSAT; Cmodels; Smodels; Lparse; Datalog; Gringo; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX)

Quantomatic

Software Authors:   Kissinger, Aleks
Referenced in: 22 Publications (2009–2022)
Related Software: PyZX; pytket; Jupyter; Matplotlib; NumPy; DisCoPy; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

SeaHorn

Software Authors:   Gurfinkel, A., Kahsai, T., Komuravelli, A., Navas, J.A.
Referenced in: 22 Publications (2015–2021)
Related Software: z3; VeriMAP; SMACK; JayHorn; RAHFT; TRACER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

CoALP

Software Authors:   Komendantskaya, Ekaterina; Power, John; Schmidt, Martin
Referenced in: 21 Publications (2011–2022)
Related Software: coFJ; CoCaml; ProbLog; Featherweight Java; Paco; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)

csp2B

Software Authors:   Butler, Michael
Referenced in: 16 Publications (2000–2014)
Related Software: Circus; Rodin; Z; FDR2; LOTOS; ProB; …
Main Fields: Computer science (68-XX)

HOL-OCL

Software Authors:   Brucker, Achim D.; Wolff, Burkhart
Referenced in: 13 Publications (2002–2016)
Related Software: ATL; KeY; ETPS; Maude; UML2Alloy; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PAG

Software Authors:   Martin, Florian
Referenced in: 20 Publications (1996–2018)
Related Software: NINJA; CiaoPP; Ciao; Aspic; Coq; JTransformer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

PiDuce

Software Authors:   Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca
Referenced in: 18 Publications (2006–2020)
Related Software: XPi; XDuce; COWS; XPath; CDuce; PIPER; …
Main Fields: Computer science (68-XX)

TRIPLE

Software Authors:   Sintek, Michael; Decker, Stefan
Referenced in: 16 Publications (2002–2015)
Related Software: SPARQL; Smodels; swrl; XSB; DAML+OIL; RuleML; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Astronomy and astrophysics (85-XX)

Volcano

Software Authors:   Graefe, G.
Referenced in: 6 Publications (2000–2018)
Related Software: DB2; POTENTIAL; E Theorem Prover; IQ-Meter; LUBM; SPARQL; …
Main Fields: Computer science (68-XX)

CP-logic

Software Authors:   Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
Referenced in: 19 Publications (2009–2022)
Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MCMAS-SLK

Software Authors:   Čermák, P.; Lomuscio, A.; Mogavero, F.; Murano, A.
Referenced in: 19 Publications (2014–2021)
Related Software: MCMAS; MOCHA; EAGLE; PRISM; PRISM-games; EVE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SCIFF

Software Authors:   Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Referenced in: 19 Publications (2006–2022)
Related Software: HYPROLOG; PRISM; ProbLog; SOLAR; ACORDA; DeepProbLog; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Centaur

Software Authors:   Borras, P., Clément, D., Despeyroux, Th., Incerpi, J., Kahn, G., Lang, B., Pascual, V
Referenced in: 18 Publications (1991–2019)
Related Software: K Prover; Coq; Maude; ML; MMT; JavaFAN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

cminor

Software Authors:   Appel, A.W., Blazy, S.
Referenced in: 17 Publications (2007–2016)
Related Software: Coq; CompCert; Isabelle/HOL; CIL; Boogie; Dafny; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)