HOL Cited in 592 Documents (1985–2023) Software Authors: Gordon, Michael J. C. Related Software: Isabelle; Isabelle/HOL; ML; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
TPTP Cited in 412 Documents (1994–2023) Software Authors: Sutcliffe, Geoff; Suttner, Christian Related Software: VAMPIRE; E Theorem Prover; SPASS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
HOL Light Cited in 315 Documents (1998–2023) Software Authors: Harrison, John Related Software: Coq; Isabelle/HOL; HOL; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …
ACL2 Cited in 282 Documents (1998–2023) Software Authors: Matt Kaufmann, Strother Moore Related Software: Coq; Isabelle/HOL; PVS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); …
Mace4 Cited in 240 Documents (1995–2023) Software Authors: William McCune Related Software: Prover9; OTTER; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …
REDLOG Cited in 170 Documents (1997–2022) Software Authors: Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker Related Software: QEPCAD; Maple; z3; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX); …
Sledgehammer Cited in 161 Documents (2010–2023) Software Authors: Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C. Related Software: Isabelle/HOL; Isabelle; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); …
Why3 Cited in 137 Documents (2004–2023) Software Authors: François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich Related Software: Coq; KRAKATOA; Caduceus; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …
Java PathFinder Cited in 92 Documents (2000–2021) Software Authors: Havelund, Klaus; Pressburger, Thomas Related Software: SPIN; Bandera; veriSoft; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
ELAN Cited in 106 Documents (1996–2020) Software Authors: Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek Related Software: Maude; CafeOBJ; OBJ3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …
cvc3 Cited in 79 Documents (2006–2022) Software Authors: Clark Barrett, Cesare Tinelli, Chris Conway, Morgan Deters, Alexander Fuchs, Yeting Ge, George Hagen, Mina Jeong, Dejan Jovanovic, Tim King Related Software: z3; SMT-LIB; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …
MPTP 0.2 Cited in 55 Documents (2006–2021) Software Authors: Urban, Josef Related Software: Mizar; VAMPIRE; E Theorem Prover; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CVC Lite Cited in 51 Documents (2004–2020) Software Authors: Mclaughlin, Sean; Barrett, Clark; Ge, Yeting Related Software: HOL Light; Chaff; CVC; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
LEO-II Cited in 52 Documents (2008–2021) Software Authors: Benzmüller, C., Paulson, L., Theiss, F., Fietzke, A Related Software: Satallax; TPTP; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Frama-C Cited in 41 Documents (2009–2023) Software Authors: Patrick Baudin; Richard Bonichon; Loïc Correnson; Pascal Cuoq; Zaynah Dargaye; Jean-Christophe Filliâtre; Philippe Herrmann; Claude Marché; Benjamin Monate; Yannick Moy; Anne Pacalet; Virgile Prévosto; Julien Signoles and Boris Yakobowski Related Software: Why3; Coq; z3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); …
Locales Cited in 50 Documents (1999–2023) Software Authors: Ballarin, Clemens Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
STP Cited in 41 Documents (2007–2022) Software Authors: Vijay Ganesh; Trevor Hansen; Mate Soos; Dan Liew; Ryan Govostes; Andrew V. Jones; et al. Related Software: z3; DART; CUTE; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …
AVATAR Cited in 34 Documents (2014–2023) Software Authors: Voronkov, A. Related Software: VAMPIRE; TPTP; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GEX Cited in 30 Documents (1996–2020) Software Authors: Gao, X.-S., et al. Related Software: GeoGebra; JGEX; GeoProof; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX); …
Analytica Cited in 33 Documents (1993–2022) Software Authors: Bauer, A., Clarke, E.M., Zhao Related Software: Theorema; Nuprl; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Computer science (68-XX); …
EasyCrypt Cited in 33 Documents (2011–2022) Software Authors: Barthe, Gilles; Grégoire, Benjamin; Heraud, Sylvain; Béguelin, Santiago Zanella Related Software: Coq; F*; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
WhyML Cited in 32 Documents (2013–2023) Software Authors: Filliâtre, Jean-Christophe; Paskevich, Andrei Related Software: Why3; z3; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
GEOTHER 1.1 Cited in 31 Documents (1996–2021) Software Authors: Dongming Wang Related Software: GeoGebra; GEX; GeoThms; … Main Fields: Field theory and polynomials (12-XX); Geometry (51-XX); Numerical analysis (65-XX); …
HR Cited in 27 Documents (2002–2022) Software Authors: Colton, Simon Related Software: GRAFFITI; OTTER; Mace4; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …
MaLeCoP Cited in 29 Documents (2011–2021) Software Authors: Josef Urban, Jiří Vyskočil, Petr Štěpánek Related Software: E Theorem Prover; MaLARea; Mizar; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)
SymbolicData Cited in 28 Documents (2004–2020) Software Authors: Gräbe, Hans-Gert Related Software: SINGULAR; SDeval; Plural; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …
Cyclist Cited in 27 Documents (2014–2023) Software Authors: N Gorogiannis Related Software: HipSpec; Slide; SLAyer; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
GeoThms Cited in 25 Documents (2006–2023) Software Authors: Quaresma, Pedro; Predrag Janičić Related Software: GCLCprover; GeoGebra; GCLC; … Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX); …
MAYA Cited in 23 Documents (2002–2015) Software Authors: Hutter, Dieter; Autexier, Serge Related Software: CASL; Mizar; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …
MPTP Cited in 26 Documents (2003–2021) Software Authors: Urban, Josef Related Software: Mizar; E Theorem Prover; MaLARea; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MaSh Cited in 25 Documents (2001–2021) Software Authors: Daniel Kühlwein; Jasmin Christian Blanchette; Cezary Kaliszyk; Josef Urban Related Software: Flyspeck; E Theorem Prover; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ENIGMA Cited in 24 Documents (2017–2022) Software Authors: Jakubův, J., Urban, J. Related Software: E Theorem Prover; VAMPIRE; MPTP 0.2; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
FEMaLeCoP Cited in 21 Documents (2015–2021) Software Authors: Kaliszyk, Cezary; Urban, Josef Related Software: E Theorem Prover; MaLeCoP; VAMPIRE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …
TRAMP Cited in 20 Documents (2000–2020) Software Authors: Meier, A. Related Software: TPTP; VAMPIRE; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HipSpec Cited in 19 Documents (2013–2023) Software Authors: Claessen, Koen; Johansson, Moa; Ros'en, Dan; Smallbone, Nicholas Related Software: CVC4; VAMPIRE; Zeno; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LATIN Cited in 17 Documents (2011–2021) Software Authors: Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian Related Software: MMT; OMDoc; Isabelle; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
METEOR Cited in 11 Documents (1991–2004) Software Authors: O. L. Astrachan; D. W. Loveland Related Software: SETHEO; OTTER; PARTHEO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Mtac Cited in 16 Documents (2013–2021) Software Authors: Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor Related Software: Coq; Agda; Idris; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PARTHEO Cited in 14 Documents (1990–2015) Software Authors: Schumann, J., Letz, R. Related Software: SETHEO; METEOR; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
BoogiePL Cited in 11 Documents (2005–2020) Software Authors: DeLine, R., Leino, K.R.M. Related Software: z3; Spec#; Boogie; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Cogent Cited in 11 Documents (2005–2018) Software Authors: Cook, Byron; Kroening, Daniel; Sharygina, Natasha Related Software: SatAbs; SIMPLIFY; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
HOL-Boogie Cited in 13 Documents (2008–2015) Software Authors: Böhme, Sascha; Leino, K.Rustan M.; Wolff, Burkhart Related Software: Isabelle/HOL; Why3; Boogie; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Naproche Cited in 12 Documents (2010–2021) Software Authors: Cramer, M., Koepke, P., Schröder, B. Related Software: Mizar; ForTheL; E Theorem Prover; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
BliStrTune Cited in 12 Documents (2017–2021) Software Authors: Jan Jakubuv, Josef Urban Related Software: E Theorem Prover; VAMPIRE; ENIGMA; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)
CtCoq Cited in 12 Documents (1996–2017) Software Authors: Bertot, Y. Related Software: Coq; Proof General; Matita; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
E-KRHyper Cited in 11 Documents (2007–2021) Software Authors: Pelzer, Björn; Wernhard, Christoph Related Software: E Theorem Prover; E-Darvin; SATCHMO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TGTP Cited in 13 Documents (2011–2021) Software Authors: Pedro Quaresma Related Software: GeoGebra; Intergeo; GeoThms; … Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX); …
E-MaLeS Cited in 11 Documents (2013–2021) Software Authors: Kühlwein, Daniel; Schulz, Stephan; Urban, Josef Related Software: E Theorem Prover; VAMPIRE; MaLARea; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …
miz3 Cited in 12 Documents (2012–2020) Software Authors: Wiedijk, Freek Related Software: Coq; Mizar; Isar; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX); …
Imogen Cited in 11 Documents (2008–2019) Software Authors: Sean McLaughlin; Frank Pfenning Related Software: ILTP; fCube; IntHistGC; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Myhill-Nerode Cited in 11 Documents (2011–2020) Software Authors: Wu, Chunhan; Zhang, Xingyuan; Urban, Christian Related Software: Archive Formal Proofs; Regular Sets; Presburger Automata; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
fCube Cited in 10 Documents (2010–2022) Software Authors: Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido Related Software: ILTP; Imogen; IntHistGC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GAPT Cited in 10 Documents (2013–2021) Software Authors: Ebner, G.; Hetzl, S.; Reis, G.; Riener, M.; Wolfsteiner, S.; Zivota, S. Related Software: TPTP; ProofTool; CERES; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
OpenGeoProver Cited in 10 Documents (2015–2020) Software Authors: Predrag Janicic; Ivan Petrovic Related Software: GeoGebra; GEX; GCLC; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Geometry (51-XX); …
Speedith Cited in 9 Documents (2012–2019) Software Authors: Urbas, M., Jamnik, M., Stapleton, G., Flower, J. Related Software: Diabelli; Openproof; Pesca; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Convex and discrete geometry (52-XX); …
P.rex Cited in 8 Documents (2001–2015) Software Authors: Fiedler, A. Related Software: TRAMP; VAMPIRE; OMEGA; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
HOList Cited in 8 Documents (2020–2022) Software Authors: Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox Related Software: ENIGMA; E Theorem Prover; GitHub; … Main Fields: Group theory and generalizations (20-XX); Numerical analysis (65-XX); Computer science (68-XX)
IsaWin Cited in 7 Documents (1999–2007) Software Authors: Christoph Lüth; Burkhart Wolff Related Software: TAS; Proof General; Mizar; … Main Fields: Computer science (68-XX)
LIRA Cited in 7 Documents (2008–2021) Software Authors: Becker, B., Dax, C., Eisinger, J., Klaedtke, F. Related Software: LASH; cvc3; TaPAS; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
SicoTHEO Cited in 8 Documents (1996–2013) Software Authors: Schumann, J. Related Software: SETHEO; TPTP; PARTHEO; … Main Fields: Computer science (68-XX)
Zap Cited in 6 Documents (2005–2008) Software Authors: Thomas Ball, Shuvendu Lahiri, and Madanlal Musuvathi Related Software: ESC/Java; Spec#; SIMPLIFY; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
EXPANDER Cited in 6 Documents (1992–2007) Software Authors: Peter Padawitz Related Software: Maude; CoCasl; Curry; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ModGen Cited in 6 Documents (1996–2019) Software Authors: Kim S. , Zhang H. Related Software: Mace4; FALCON; SATCHMO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Multi Cited in 6 Documents (2005–2008) Software Authors: Meier, Andreas; Melis, Erica Related Software: Lambda-Clam; OMEGA; LOUI; … Main Fields: Computer science (68-XX)
ORME Cited in 6 Documents (1992–2022) Software Authors: Lescanne, P. Related Software: Maude; Stratego; Tom; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
randoCoP Cited in 6 Documents (2015–2022) Software Authors: Thomas Raths; Jens Otten Related Software: VAMPIRE; leanCoP; TPTP; … Main Fields: Computer science (68-XX)
ArgoTriCS Cited in 5 Documents (2016–2021) Software Authors: Marinkovic, V. Related Software: GCLC; GeoGebra; GeoThms; … Main Fields: Geometry (51-XX); Computer science (68-XX); Mathematics education (97-XX)
Bellerophon Cited in 5 Documents (2017–2022) Software Authors: Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon; Platzer, André Related Software: KeYmaera; KeYmaera X; SpaceEx; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …
Joogie Cited in 4 Documents (2013–2022) Software Authors: Arlt, S., Rümmer, P., Schäf, M. Related Software: Viper; Frama-C; Scala; … Main Fields: Computer science (68-XX)
Salsa Cited in 4 Documents (2000–2010) Software Authors: Bharadwaj, R., Sims, S. Related Software: Omega; CADP; E-LOTOS; … Main Fields: Computer science (68-XX)
SMTtoTPTP Cited in 5 Documents (2015–2017) Software Authors: Baumgartner, P. Related Software: TPTP; SMT-LIB; z3; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
TAME Cited in 5 Documents (2000–2011) Software Authors: Archer, Myla Related Software: PVS; Uppaal; LARCH; … Main Fields: Computer science (68-XX)
egg Cited in 3 Documents (2021–2023) Software Authors: Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha Related Software: AGREE; Verigraph; AGG; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
embed_modal Cited in 4 Documents (2017–2021) Software Authors: Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph Related Software: Isabelle/HOL; Nitpick; Satallax; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FOOL Cited in 4 Documents (2015–2021) Software Authors: Kotelnikov, Evgenii; Kov'acs, Laura; Voronkov, Andrei Related Software: TPTP; Sledgehammer; SMT-LIB; … Main Fields: Computer science (68-XX)
Imandra Cited in 4 Documents (2020–2022) Software Authors: Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto Related Software: VAMPIRE; Zeno; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
IntHistGC Cited in 4 Documents (2014–2022) Software Authors: Goré, Rajeev; Thomson, Jimmy; Wu, Jesse Related Software: fCube; ILTP; intuit; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LogiKEy Cited in 4 Documents (2020–2022) Software Authors: Christoph Benzmüller, Xavier Parent, Leendert van der Torre Related Software: Isabelle/HOL; PLM; LegalRuleML; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Monotonox Cited in 4 Documents (2011–2013) Software Authors: Claessen, Koen; Lillieström, Ann; Smallbone, Nicholas Related Software: HOL Light; TPTP; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Proofwatch Cited in 4 Documents (2018–2021) Software Authors: Goertzel, Zarathustra; Jakubův, Jan; Schulz, Stephan; Urban, Josef Related Software: E Theorem Prover; BliStrTune; ENIGMA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TWB Cited in 3 Documents (2009–2019) Software Authors: Abate, Pietro; Goré, Rajeev Related Software: LoTREC; MSPASS; SableCC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Unbound Cited in 4 Documents (2011–2019) Software Authors: Weirich, Stephanie; Yorgey, Brent A.; Sheard, Tim Related Software: Isabelle/HOL; Psi-calculi; Nominal Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
XBarnacle Cited in 4 Documents (2000–2006) Software Authors: Jackson, Mike; Lowe, Helen; David Duncan Related Software: Nuprl; CLAM; Automath; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Adimen-SUMO Cited in 2 Documents (2015–2019) Software Authors: Alvez J., Lucio P., Rigau G Related Software: KNEWS; YAGO; BabelNet; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CharSets Cited in 3 Documents (2004–2007) Software Authors: Dongming Wang Related Software: Maple; ATFM; PDESpecialSolutions; … Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
CO3 Cited in 2 Documents (2018–2021) Software Authors: Nishida, N., Kuroda, T., Yanagisawa, M., Gmeiner, K. Related Software: Cops; CoCoWeb; MTT; … Main Fields: Computer science (68-XX)
lazyCoP Cited in 3 Documents (2021) Software Authors: Rawson, Michael; Reger, Giles Related Software: TPTP; ENIGMA; E Theorem Prover; … Main Fields: Computer science (68-XX)
LogAnswer Cited in 2 Documents (2008) Software Authors: Furbach, Ulrich; Glöckner, Ingo; Helbig, Hermann; Pelzer, Björn Related Software: E-KRHyper; WordNet; Abella; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
LWB Cited in 3 Documents (1996–2009) Software Authors: Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain Related Software: MiniSat; VAMPIRE; MSPASS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
VeriStar Cited in 3 Documents (2012–2016) Software Authors: Stewart, Gordon; Beringer, Lennart; Appel, Andrew W. Related Software: Coq; jStar; Smallfoot; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ESC4 Cited in 2 Documents (2010–2011) Software Authors: James, Perry R.; Chalin, Patrice Related Software: Boogie; ESC/Java; cvc3; … Main Fields: Computer science (68-XX)
GamePad Cited in 2 Documents (2019–2021) Software Authors: Huang, Daniel; Dhariwal, Prafulla; Song, Dawn; Sutskever, Ilya Related Software: MaLARea; E Theorem Prover; HOList; … Main Fields: Computer science (68-XX)
GLEFatinf Cited in 2 Documents (1994–1998) Software Authors: R. Caferra; M. Herment Related Software: TABLEAUX; KRIPKE; Hyperproof; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ILF-SETHEO Cited in 2 Documents (1997) Software Authors: Wolf, Andreas; Schumann, Johann Related Software: SETHEO; E-SETHEO; HOL; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
JTabWb Cited in 2 Documents (2017–2019) Software Authors: Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido Related Software: Imogen; fCube; ILTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MUNCH Cited in 2 Documents (2010–2020) Software Authors: Piskac, Ruzica; Kuncak, Viktor Related Software: z3; KIV; Caduceus; … Main Fields: Computer science (68-XX)
Pirate Cited in 2 Documents (2015) Software Authors: Wand, D., Weidenbach, C. Related Software: Hipster; CVC4; HipSpec; … Main Fields: Computer science (68-XX)
Saturation_Framework Cited in 2 Documents (2020–2022) Software Authors: Sophie Tourret Related Software: Ordered_Resolution_Prover; AVATAR; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Slakje Cited in 2 Documents (2019–2021) Software Authors: Ebner, Gabriel Related Software: GAPT; leanCoP; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
theoremprover-museum Cited in 2 Documents (2018) Software Authors: Michael Kohlhase Related Software: IMPS; OMDoc; MMT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)