Twelf Software Authors: Twelf Project; Frank Pfenning; Carsten Schürmann Cited in: 171 Publications (1998–2023) Related Software: Coq; Isabelle/HOL; Abella; Isabelle; Beluga; Nuprl; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)
ETPS Software Authors: Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi Cited in: 161 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)
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)
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)
Protege Software Authors: Stanford; J. H. Gennari, M. A. Musen, R. W. Fergerson et al. Cited in: 28 Publications (1997–2022) Related Software: Pellet; Racer; Jena; FaCT++; swrl; HermiT; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
MPTP 0.2 Software Authors: Urban, Josef Cited in: 52 Publications (2006–2021) Related Software: Mizar; E Theorem Prover; VAMPIRE; MaLARea; TPTP; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)
MaLARea Software Authors: Urban, Josef Cited in: 51 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 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)
DLV Software Authors: Grasso, Giovanni; Iiritano, Salvatore; Leone, Nicola; Ricca, Francesco Cited in: 29 Publications (2001–2021) Related Software: WASP; Gringo; Cmodels; Datalog; ASSAT; clasp; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Mcmt Software Authors: Ghilardi S, Ranise S Cited in: 23 Publications (2010–2022) Related Software: SAFARI; Cubicle; z3; SMT-LIB; MathSAT5; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
F* Software Authors: Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean Cited in: 20 Publications (2011–2020) Related Software: Coq; EasyCrypt; Nuprl; Idris; Irdis; 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)
MizarMode Software Authors: Urban, Josef Cited in: 18 Publications (2006–2019) Related Software: Mizar; MML; MoMM; MPTP 0.2; MPTP; E Theorem Prover; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
HYPROLOG Software Authors: Christiansen, Henning; Dahl, Veronica Cited in: 14 Publications (2005–2012) Related Software: SCIFF; Smodels; PRISM; Binder; CHR; ACORDA; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
ASTRA Software Authors: Contini, S.; Scheer, S.; Wilikens, M.; de Cola, G.; Cojazzi, G. Cited in: 12 Publications (1991–2016) Related Software: TVR-DART; STIR; tomoRecon; ASTRA; SPGL1; Spot; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
KIDS Software Authors: D.R. Smith Cited in: 11 Publications (1992–2021) Related Software: Theorema; ALISA; Stratego; Maude; TAMPR; ATERM; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)
FLORA Software Authors: Yang, Guizhen; Kifer, Michael Cited in: 10 Publications (2000–2006) Related Software: XSB; TRIPLE; HiLog; KQML; DAML+OIL Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
InVeSt Software Authors: Bensalem S, Lakhnech Y, Owre S Cited in: 10 Publications (1999–2013) Related Software: PVS; TREX; HOL; ACL2; HyTech; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TLPVS Software Authors: Pnueli, Amir; Arons, Tamarah Cited in: 8 Publications (2003–2011) Related Software: PVS; SPIN; MAGIC; SatAbs; Bebop; Java PathFinder; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CoVaC Software Authors: Zaks, A., Pnueli, A. Cited in: 8 Publications (2009–2021) Related Software: z3; SymDiff; SeaHorn; Boogie; LLVM; TVOC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PRIZ Software Authors: Mints, G.; Tyugu, E. Cited in: 8 Publications (1988–2000) Related Software: NUT; GAG; TABLEAUX Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Synthia Software Authors: Peter, H.-J., Ehlers, R., Mattmüller, R. Cited in: 7 Publications (2012–2020) Related Software: UPPAAL TIGA; Uppaal; PRISM; REDLIB; CMC; Kronos; … Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Systems theory; control (93-XX)
PROTOS-L Software Authors: Beierle, Christoph Cited in: 7 Publications (1990–1996) Related Software: Prolog Main Fields: Computer science (68-XX)
EXPANDER Software Authors: Peter Padawitz Cited in: 6 Publications (1992–2007) Related Software: CoCasl; Curry; Maude; HasCasl; SPIKE; RRL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ALISA Software Authors: Korukhova, Yulia Cited in: 5 Publications (2006–2021) Related Software: KIDS; Theorema; CLAM; Oyster; Nuprl; Isabelle Main Fields: Computer science (68-XX)
VeriCon Software Authors: Ball, T., Bjorner, N., Gember, A., Itzhaky, S., Karbyshev, A., Sagiv, M., Schapira, M., Valadarsky, A. Cited in: 5 Publications (2014–2021) Related Software: Anteater; NetKAT; Kuai; VeriFlow; LoLA; Frenetic; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HySpirit Software Authors: N. Fuhr, T. Rölleke Cited in: 2 Publications (2003–2006) Related Software: INQUERY; Datalog Main Fields: Computer science (68-XX)
SNARK Software Authors: Stickel, M. Cited in: 3 Publications (2009–2015) Related Software: Waldmeister; E Theorem Prover; Vivid; Mizar; Mathematica; EQP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)
XcelLog Software Authors: Ramakrishnan, C.R.; Ramakrishnan, I.V.; Warren, David S. Cited in: 3 Publications (2006–2014) Related Software: XSB; YAP-Prolog; OPTYap; OpenRuleBench; Excel Main Fields: Computer science (68-XX)
KeY-ABS Software Authors: Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner Cited in: 3 Publications (2015–2021) Related Software: ABS; Algorithm 864; Zephyrus2; OptiMathSAT; vZ; SACO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MYDDAS Software Authors: Soares, T., Ferreira, M., Rocha, R. Cited in: 2 Publications (2006–2007) Related Software: Spatial-Yap; YAP-Prolog; Aleph; FOIL-D Main Fields: Computer science (68-XX)
PLM Software Authors: Daniel Kirchner Cited in: 3 Publications (2020) Related Software: Isabelle/HOL; LogiKEy; LegalRuleML; embed_modal; Leo-III; Lean; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
Celf Software Authors: Schack-Nielsen, Anders; Schürmann, Carsten Cited in: 2 Publications (2008–2018) Related Software: Twelf Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CoLiS Software Authors: Jeannerod, Nicolas; Marché, Claude; Treinen, Ralf Cited in: 2 Publications (2017) Related Software: Why3; WhyML; Shellcheck; CVC4; checkbashisms; E Theorem Prover; … Main Fields: Computer science (68-XX)
DrawCAD Software Authors: Liu, Mengchi; Katragadda, Shilpesh Cited in: 2 Publications (2001–2003) Related Software: – Main Fields: Computer science (68-XX)
InvA Software Authors: Rocha, Camilo; Meseguer, José Cited in: 2 Publications (2014–2020) Related Software: Maude; PKind; HyComp; SeaHorn; Maude-NPA; Mcmt; … Main Fields: Computer science (68-XX)
OPTRANS Software Authors: Pieri, Giovani; Klein, Michel R.; Milanese, Mario Cited in: 2 Publications (1998–2001) Related Software: – Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Spatial-Yap Software Authors: David Vaz; Michel Ferreira; Ricardo Lopes Cited in: 0 Publications Related Software: MYDDAS Main Fields: –
VIRT Software Authors: Baranovskii, A.I. Cited in: 2 Publications (1998–1999) Related Software: – Main Fields: Computer science (68-XX)
Basic-REAL Software Authors: Nepomnyashchij, V.A.; Shilov, N.V.; Bodin, E.V. Cited in: 1 Publication (1997) Related Software: – Main Fields: Computer science (68-XX)
LAIMA Software Authors: Padget, J.A., De Vos, M., Crick, T., Brain, M., Cliffe, O., Needham, J. Cited in: 1 Publication (2006) Related Software: TOAST; Denali; Asparagus; Lparse; Smodels; ASSAT Main Fields: Computer science (68-XX)
LINUS Software Authors: Lavrac, Nada; Dzeroski, Saso Cited in: 1 Publication (1994) Related Software: – Main Fields: Computer science (68-XX)