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)
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)
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)
CLAM Software Authors: Bundy, A., van Harmelen, F., Horn, C. Cited in: 39 Publications (1989–2021) Related Software: Oyster; Nuprl; HOL; Isabelle; InKa; PVS; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
leanTAP Software Authors: Beckert, Bernhard; Posegga, Joachim Cited in: 39 Publications (1994–2021) Related Software: SETHEO; TPTP; SATCHMO; ModLeanTAP; ileanCoP; leanCoP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Walnut Software Authors: Hamoon Mousavi Cited in: 35 Publications (2017–2023) Related Software: OEIS; GitHub; Pecan; Python; Coq; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)
jStar Software Authors: DiStefano, D., Parkinson, M. Cited in: 30 Publications (2008–2022) Related Software: VeriFast; Smallfoot; Boogie; Coq; Spec#; ESC/Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GeoThms Software Authors: Quaresma, Pedro; Predrag Janičić Cited in: 24 Publications (2006–2020) Related Software: GCLCprover; GCLC; GeoGebra; GEX; GEOTHER 1.1; GeoProof; … Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)
Cogent Software Authors: Cook, Byron; Kroening, Daniel; Sharygina, Natasha Cited in: 11 Publications (2005–2018) Related Software: SatAbs; SIMPLIFY; SPIN; Bebop; FOCI; Chaff; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)
Zeno Software Authors: Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan Cited in: 12 Publications (2012–2021) Related Software: SMT-LIB; HipSpec; CVC4; VAMPIRE; Dafny; ACL2; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Juno-2 Software Authors: Allan Heydon; Greg Nelson Cited in: 11 Publications (1996–2004) Related Software: Skyblue; MMP/Geometer; MEDLAR; Genocop; ISOLATE; QEPCAD; … Main Fields: Geometry (51-XX); Numerical analysis (65-XX); Computer science (68-XX)
Zapato Software Authors: Ball, T., Cook, B., Lahiri, S.K., Zhang, L. Cited in: 11 Publications (2004–2018) Related Software: CVC Lite; Chaff; MiniSat; E Theorem Prover; ICS; MathSAT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MUSCADET Software Authors: Pastre, Dominique Cited in: 9 Publications (1989–2021) Related Software: OTTER; Automath; Isabelle/ZF; MACSYMA; REDUCE; Nuprl; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
HERMES Software Authors: Bozga, L., Lakhnech, Y., Perin, M. Cited in: 8 Publications (2005–2009) Related Software: AVISPA; Casper; Timbuk; simpleAPL; Isabelle/ZF; scyther; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
RALL Software Authors: David von Oheimb, Thomas F. Gritzner Cited in: 9 Publications (1997–2014) Related Software: Ralf; Isabelle/HOL; ARA; Isabelle; RelView; CoLoR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Electronic Geometry Textbook Software Authors: Chen, Xiaoyu Cited in: 7 Publications (2010–2020) Related Software: Intergeo; GCLC; GeoGebra; TGTP; GeoThms; GCLCprover; … Main Fields: Geometry (51-XX); Computer science (68-XX); Mathematics education (97-XX)
evt Software Authors: Lars–Åke Fredlund; Dilian Gurov; Thomas Noll; Mads Dam; Thomas Arts; Gennady Chugunov Cited in: 6 Publications (2001–2021) Related Software: Erlang; Isabelle; Coq; Java-MaC; InterAspect; AspectWerkz; … Main Fields: Computer science (68-XX)
PARTHENON Software Authors: Bose, Soumitra; Clarke, Edmund M.; Long, David E.; Michaylov, Spiro Cited in: 5 Publications (1989–2004) Related Software: METEOR; SETHEO; Aquarius; OTTER; PARTHEO; Roo; … Main Fields: Computer science (68-XX)
Ctrl Software Authors: Kop, Cynthia; Nishida, Naoki Cited in: 7 Publications (2014–2021) Related Software: KITTeL; z3; TcT; Maude; Yices; ARMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PREVAIL Software Authors: Borrione, Dominique; Pierre, Laurence; Salem, Ashraf Cited in: 5 Publications (1992–2014) Related Software: Nuprl; CoqMTU; Coquet; Coq; CESAR; LARCH; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Tac Software Authors: Baelde, David; Miller, Dale; Snow, Zachary Cited in: 7 Publications (2007–2012) Related Software: Abella; Bedwyr; Twelf; Automath; HYBRID; Prolog; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Amphion Software Authors: Lowry, M.R., Philpot, A., Pressburger, T., Underwood, I Cited in: 3 Publications (1998–2010) Related Software: CLAM; Oyster; HOL; SPARK; SETHEO; VCC; … Main Fields: Computer science (68-XX)
TAME Software Authors: Archer, Myla Cited in: 5 Publications (2000–2011) Related Software: PVS; Uppaal; LARCH; JML; NASA PVS; UNITY; … Main Fields: Computer science (68-XX)
Chapar Software Authors: Lesani, Mohsen; Bell, Christian J.; Chlipala, Adam Cited in: 4 Publications (2016–2021) Related Software: Verdi; z3; Constructive Proof FLP; Archive Formal Proofs; CVC4; Ivy; … Main Fields: Computer science (68-XX)
Sage Software Authors: Jessica Gronski , Kenneth Knowles , Aaron Tomb , Stephen N. Freund , Cormac Flanagan Cited in: 4 Publications (2010–2021) Related Software: gradualizerDynamicSemantics; Flow; PoplMark; Agda; Isabelle/HOL; Coq; … Main Fields: Computer science (68-XX)
GLINTS Software Authors: María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña Cited in: 3 Publications (2019–2022) Related Software: Maude; ACUOS2; Curry; Maude-NPA; MTT; ECCE; … Main Fields: General algebraic systems (08-XX); Computer science (68-XX)
simpleAPL Software Authors: Alechina, N.; Dastani, M.; Khan, F.; Logan, B.; Meyer, J.-J.Ch. Cited in: 3 Publications (2006–2016) Related Software: 2APL; AgentSpeak; CCalc; MCMAS; PDDL; METATEM; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
GROVER Software Authors: Barker-Plummer, Dave; Bailin, Sidney C. Cited in: 2 Publications (2002–2009) Related Software: Hyperproof; Dr.Doodle; CafePie; CafeOBJ; Vivid Main Fields: Computer science (68-XX)
GUBS Software Authors: Basso-Blandin, Adrien; Delaplace, Franck Cited in: 2 Publications (2013–2014) Related Software: – Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
HOARD ATINF Software Authors: Caferra, Ricardo; Peltier, Nicolas; Puitg, François Cited in: 2 Publications (2001–2012) Related Software: JGEX; GEX; DISCOVERER; GeoThms; GCLCprover; GeoProof; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Pecan Software Authors: Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi Cited in: 1 Publication (2023) Related Software: Walnut; OEIS; Python; Coq; Isabelle/HOL; Lean; … Main Fields: Number theory (11-XX); Computer science (68-XX)
Pirate Software Authors: Wand, D., Weidenbach, C. Cited in: 2 Publications (2015) Related Software: Hipster; CVC4; HipSpec; Zeno; SMT-LIB; Dafny; … Main Fields: Computer science (68-XX)
VIRT Software Authors: Baranovskii, A.I. Cited in: 2 Publications (1998–1999) Related Software: – Main Fields: Computer science (68-XX)
CAMPY Software Authors: Srikanth, Akhilesh; Sahin, Burak; Harris, William R. Cited in: 1 Publication (2017) Related Software: LeetCode; Soot; z3 Main Fields: Computer science (68-XX)
GenTreeCad Software Authors: Kádek, Tamás Cited in: 1 Publication (2012) Related Software: LaTeX Main Fields: Mathematical logic and foundations (03-XX)