Software Authors:   Matt Kaufmann, Strother Moore

Cited in:	280 Publications (1998–2022)
Related Software:	Coq; Isabelle/HOL; HOL; PVS; Isabelle; HOL Light; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)

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)

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)

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)

Software Authors:   Urban, Josef

Cited in:	49 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)

Software Authors:   Gao, X.-S., et al.

Cited in:	30 Publications (1996–2020)
Related Software:	GeoGebra; JGEX; GeoProof; GEOTHER 1.1; GeoThms; GCLC; …
Main Fields:	Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Heraud, Sylvain; Béguelin, Santiago Zanella

Cited in:	32 Publications (2011–2021)
Related Software:	Coq; F*; AVISPA; CryptHOL; Isabelle/HOL; ProVerif; …
Main Fields:	Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Software Authors:   Colton, Simon

Cited in:	27 Publications (2002–2022)
Related Software:	Mace4; OTTER; GRAFFITI; TPTP; AutoGraphiX; GAP; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Software Authors:   Kaliszyk, Cezary; Urban, Josef

Cited in:	27 Publications (2014–2022)
Related Software:	HOL Light; Mizar; Flyspeck; VAMPIRE; TPTP; Isabelle/HOL; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

Software Authors:   Jason Hickey, Alexey Nogin, Eli Barzilay

Cited in:	26 Publications (2000–2022)
Related Software:	Coq; Nuprl; PVS; Agda; HOL; ML; …
Main Fields:	Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Software Authors:   Knot Pipatsrisawat; Adnan Darwiche

Cited in:	18 Publications (2008–2016)
Related Software:	MiniSat; Chaff; PicoSAT; BerkMin; SATzilla; SMT-LIB; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Meier, S., Schmidt, B., Cremers, C., Basin, D.

Cited in:	20 Publications (2015–2023)
Related Software:	AVISPA; Maude-NPA; Maude; Akiss; ProVerif; Apte; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Baumgartner, Peter; Pelzer, Björn; Tinelli, Cesare; Alexander Fuchs; Hans de Nivelle

Cited in:	19 Publications (2006–2021)
Related Software:	Darwin; Mace4; E Theorem Prover; TPTP; iProver; OTTER; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Mathieu Boespflug, Ronan Saillard, François Thiré, Gaspard Férey

Cited in:	17 Publications (2012–2021)
Related Software:	Coq; Zenon; FoCaLiZe; PVS; HOL Light; TPTP; …
Main Fields:	General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Software Authors:   Zimmer, Jürgen; Kohlhase, Michael

Cited in:	16 Publications (2000–2016)
Related Software:	TPTP; OTTER; PVS; Nuprl; TRAMP; HR; …
Main Fields:	Mathematical logic and foundations (03-XX); Number theory (11-XX); Ordinary differential equations (34-XX)

Software Authors:   Adnan Darwiche; Keith Cascio

Cited in:	15 Publications (2002–2021)
Related Software:	R; bnlearn; BayesNetBP; ggplot2; gRain; qgraph; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Czajka, Łukasz; Kaliszyk, Cezary

Cited in:	17 Publications (2017–2021)
Related Software:	Coq; E Theorem Prover; Isabelle/HOL; Mizar; TPTP; VAMPIRE; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX)

Software Authors:   Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph

Cited in:	17 Publications (2015–2022)
Related Software:	Satallax; TPTP; Isabelle/HOL; E Theorem Prover; SPASS; Sledgehammer; …
Main Fields:	Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Software Authors:   Gao, Xiao-Shan; Lin, Qiang

Cited in:	14 Publications (2004–2021)
Related Software:	GEX; GEOTHER 1.1; GCLC; GeoView; GeoThms; Cinderella; …
Main Fields:	Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)

Software Authors:   de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus

Cited in:	12 Publications (2002–2013)
Related Software:	CLEAN; Haskell; Coq; EditorArrow; PVS; Isabelle/HOL; …
Main Fields:	Computer science (68-XX)

Software Authors:   McCune, William

Cited in:	12 Publications (1997–2016)
Related Software:	OTTER; Waldmeister; TPTP; Peers-mcd; SPASS; SETHEO; …
Main Fields:	Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Software Authors:   McMillan, K.L., Padon, O.

Cited in:	11 Publications (2017–2022)
Related Software:	Ivy; z3; nuXmv; Verdi; SPIN; GitHub; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Sutcliffe, Geoff; Puzis, Yury

Cited in:	12 Publications (2007–2019)
Related Software:	E Theorem Prover; TPTP; MaLARea; VAMPIRE; OTTER; Flyspeck; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Pezzulo, Giovanni; Calvi, Gianguglielmo

Cited in:	10 Publications (2005–2011)
Related Software:	CUMODP; CoCoA; DIANE; SLEUTH
Main Fields:	General and overarching topics; collections (00-XX); Number theory (11-XX); Field theory and polynomials (12-XX)

Software Authors:   Gauthier, T., Kaliszyk, C., Urban, J.

Cited in:	10 Publications (2017–2021)
Related Software:	E Theorem Prover; MaLeCoP; FEMaLeCoP; HOL; Coq; ENIGMA; …
Main Fields:	Computer science (68-XX)

Software Authors:   Christoph Walther; Stephan Schweitzer

Cited in:	10 Publications (2005–2017)
Related Software:	ACL2; Haskell; Coq; Isabelle/HOL; SPIKE; AProVE; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

Software Authors:   Smith, B.T.

Cited in:	9 Publications (1984–1996)
Related Software:	OTTER; NQTHM; RRL; SbReve2; Roo
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Benzmüller, Christoph; Sorge, Volker

Cited in:	9 Publications (2001–2008)
Related Software:	OMEGA; LOUI; TRAMP; Leo; TPTP; MBase; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Srivastava, Biplav; Kombhampati, Subbarao; Do, Minh B.

Cited in:	9 Publications (2001–2008)
Related Software:	Graphplan; STAN; CPlan; Optiplan; CPLEX; SAPA; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Contejean, E., Paskevich, A., Urbain, X., Courtieu, P., Pons, O., Forest, J.

Cited in:	8 Publications (2010–2017)
Related Software:	CoLoR; CeTA; Isabelle/HOL; Coq; AProVE; Tyrolean; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Danicic, S.; Fox, C.; Harman, M.; Hierons, R.

Cited in:	5 Publications (2005–2010)
Related Software:	ASTREE; CSSV; TVLA; Bogart; FermaT; CodeSurfer
Main Fields:	Computer science (68-XX)

Software Authors:   Sentot Kromodimoeljo; Bill Pase; Mark Saaltink; Dan Craigen; Irwin Meisels

Cited in:	7 Publications (1993–2006)
Related Software:	IMPS; PVS; HOL; NQTHM; CVC; Analytica; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox

Cited in:	7 Publications (2020–2022)
Related Software:	E Theorem Prover; VAMPIRE; ileanCoP; leanCoP; XGBoost; MaLeCoP; …
Main Fields:	Computer science (68-XX)

Software Authors:   Chaki, S. ;Datta, A.

Cited in:	5 Publications (2011–2017)
Related Software:	EasyCrypt; NAXOS; Spi2Java; HMQV; ZKPDL; MJ; …
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Lam, Ho-Pun; Hashmi, Mustafa; Athan, Tara; Governatori, Guido; Palmirani, Monica; Paschke, Adrian; Wyner, Adam

Cited in:	4 Publications (2017–2020)
Related Software:	GitHub; LogiKEy; PLM; embed_modal; Leo-III; Lean; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Mulligan, Casey B.; Davenport, James H.; England, Matthew

Cited in:	6 Publications (2018–2021)
Related Software:	SATzilla; RegularChains; QEPCAD; MaLARea; MaSh; Scikit; …
Main Fields:	General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon; Platzer, André

Cited in:	5 Publications (2017–2022)
Related Software:	KeYmaera; KeYmaera X; SpaceEx; Isabelle/HOL; ModelPlex; dReach; …
Main Fields:	Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

Software Authors:   Richard Sommer; Gregory Nuckols

Cited in:	3 Publications (2001–2020)
Related Software:	LPL software; REDUCE; OTTER; Isabelle/HOL; Markdown; webLurch; …
Main Fields:	Computer science (68-XX); Mathematics education (97-XX)

Software Authors:   Kissinger, Aleks; van de Wetering, John

Cited in:	4 Publications (2019–2022)
Related Software:	Quipper; Quantomatic; ProjectQ; pytket; GitHub; Jupyter; …
Main Fields:	Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Software Authors:   Lifschitz, V., Lühne, P., Schaub, T.

Cited in:	3 Publications (2019–2020)
Related Software:	Gringo; TPTP; VAMPIRE; Smodels
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Richards, S., M. Sadrzadeh

Cited in:	4 Publications (2009–2016)
Related Software:	DEMO; Pesca
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

Software Authors:   Cholewinski, P., Marek, V., Truszczynski, M.

Cited in:	2 Publications (2019–2021)
Related Software:	Datalog; CUDA; dl2asp; fCube; MiniSat; ILTP
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Zhao, Yizheng; Schmidt, Renate A.

Cited in:	4 Publications (2018–2022)
Related Software:	Protege-TS; Evonne; LETHE; BioPortal
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Kotelnikov, Evgenii; Kov'acs, Laura; Voronkov, Andrei

Cited in:	4 Publications (2015–2021)
Related Software:	TPTP; Sledgehammer; SMT-LIB; TLAPS; Satallax; ileanCoP; …
Main Fields:	Computer science (68-XX)

Software Authors:   Blanchette, J.C., Fleury, M., Schlichtkrull, A., Traytel, D.

Cited in:	4 Publications (2016–2018)
Related Software:	Archive Formal Proofs; Isabelle/HOL; Completeness theorem; Sledgehammer; Isabelle; FOL Fitting; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Alur, R.; de Alfaro, L.; Grosu, R.; Henzinger, T.; Thomas, A.; Kang, M.; Kirsch, C.; Majumdar, R.; Mang, F.; Wang, B. -Y.

Cited in:	4 Publications (2008–2021)
Related Software:	MOCHA; MCMAS; MCMAS-SLK; VerICS; MCK; CUDD; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Christoph Benzmüller, Xavier Parent, Leendert van der Torre

Cited in:	4 Publications (2020–2022)
Related Software:	Isabelle/HOL; PLM; LegalRuleML; embed_modal; Leo-III; Lean; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Bundy, A., McCasland, R.

Cited in:	4 Publications (2007–2019)
Related Software:	IsaPlanner; Isabelle/HOL; Theorema; HR; Oyster; CLAM; …
Main Fields:	Computer science (68-XX)

Software Authors:   Claessen, Koen; Lillieström, Ann; Smallbone, Nicholas

Cited in:	4 Publications (2011–2013)
Related Software:	HOL Light; TPTP; HOL; Kodkod; Isabelle/HOL; ML; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Stickel, M.

Cited in:	3 Publications (2009–2015)
Related Software:	Waldmeister; E Theorem Prover; Mizar; Vivid; Mathematica; EQP; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)

Software Authors:   Aggour, Kareem S.; Pavese, Marc; Bonissone, Piero P.; Cheetham, William E.

Cited in:	4 Publications (2001–2004)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Baumgartner, Peter; Bax, Joshua; Waldmann, Uwe

Cited in:	3 Publications (2015–2020)
Related Software:	z3; SIMPLIFY; TPTP; CVC4; SMT-LIB; Boogie; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Dinsdale-Young, Thomas; da Rocha Pinto, Pedro; Andersen, Kristoffer Just; Birkedal, Lars

Cited in:	3 Publications (2017–2021)
Related Software:	Viper; VeriFast; HACL*; TacticToe; GRASShopper; Infer; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Tammet, Tanel

Cited in:	3 Publications (2019–2022)
Related Software:	VAMPIRE; DLV2; Clingo; GK; ConceptNet; Coq; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu

Cited in:	3 Publications (2018–2021)
Related Software:	Coq; Agda; RedPRL; Cubical agda; cubicaltt; Idris; …
Main Fields:	Computer science (68-XX)

Software Authors:   Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto

Cited in:	3 Publications (2020–2021)
Related Software:	Zeno; SMT-LIB; VAMPIRE; CVC4; AVATAR; eThor; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

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)

Software Authors:   Henzinger, Thomas A.; Hottelier, Thibaud; Kovács, Laura

Cited in:	3 Publications (2008–2010)
Related Software:	Scala; Mathematica; z3; JAMPACK; ABC; JAMA; …
Main Fields:	Computer science (68-XX)

Software Authors:   Robert Hoehndorf, Luke Slater, Paul N Schofield, Georgios V Gkoutos

Cited in:	1 Publication (2016)
Related Software:	Galaxy; Ontobee; WebProtege; BioPortal; JavaScript; EDAM Browser; …
Main Fields:	Statistics (62-XX); Biology and other natural sciences (92-XX)

Software Authors:   Santiago Videla, Julio Saez-Rodriguez, Carito Guziolowski, Anne Siegel

Cited in:	2 Publications (2021–2022)
Related Software:	Clingo; CoLoMoTo; BioLQM; GitHub; BoolNet; JBool
Main Fields:	Order, lattices, ordered algebraic structures (06-XX); Biology and other natural sciences (92-XX)

Software Authors:   –

Cited in:	2 Publications (2017–2018)
Related Software:	FAT; fmp2rsm; MTBDD; JFLAP; VATA
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Nalon, Cláudia; Zhang, Lan; Dixon, Clare; Hustadt, Ullrich

Cited in:	2 Publications (2014–2015)
Related Software:	TATL; TRP++; SPASS; VAMPIRE
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Claessen, Koen

Cited in:	2 Publications (2011–2018)
Related Software:	AVATAR; DRAT-trim; iProver; PicoSAT; Satallax; Prover9; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen

Cited in:	2 Publications (2018)
Related Software:	Verified Prover; Archive Formal Proofs; FOL Fitting; Superposition Calculus; Completeness theorem; GitHub; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Jackson, Ethan K.; Schulte, Wolfram

Cited in:	2 Publications (2013–2016)
Related Software:	ATL; MOMENT2; VIDEAS; Maude; HOL-OCL; AGG; …
Main Fields:	Computer science (68-XX)

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)

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)

Software Authors:   Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads

Cited in:	2 Publications (2020–2022)
Related Software:	CIRC; CPAchecker; SeaHorn; GNATprove; RGITL; Leon; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   David R. Cok

Cited in:	0 Publications
Related Software:	Dafny; JML; Frama-C; Why3; Daikon; SIMPLIFY; …
Main Fields:	–

Software Authors:   Cruanes, S.

Cited in:	2 Publications (2018–2020)
Related Software:	AVATAR; Superposition Calculus; Locales; CeTA; Isabelle/jEdit; HOL; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Vidal, Amanda

Cited in:	2 Publications (2016–2019)
Related Software:	Fuzzydl; z3; SMT-LIB; Yices
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Anders Schlichtkrull; Jasmin Christian Blanchette; Dmitriy Traytel; Uwe Waldmann

Cited in:	2 Publications (2001–2020)
Related Software:	AVATAR; Robinson arithmetic; Saturation_Framework; Nested Multisets; Logtk; Archive Formal Proofs; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

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)

Software Authors:   Vlasov, D.Yu.

Cited in:	2 Publications (2011–2020)
Related Software:	Metamath; GitHub; Smm
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Mann, Makai; Wilson, Amalee; Zohar, Yoni; Stuntz, Lindsey; Irfan, Ahmed; Brown, Kristopher; Donovick, Caleb; Guman, Allison; Tinelli, Cesare; Barrett, Clark

Cited in:	1 Publication (2021)
Related Software:	googletest; z3; PySMT; MathSAT5; Cython; CVC4; …
Main Fields:	Computer science (68-XX)

Software Authors:   Villanueva-Rosales, N.; Dumontier, M.

Cited in:	0 Publications
Related Software:	FOAM; MAFRA; BioKleisli; Bio2RDF; UniProt; BLAST; …
Main Fields:	–

Software Authors:   Jasmin Christian Blanchette; Andrei Popescu; Dmitriy Traytel

Cited in:	1 Publication (2018)
Related Software:	FOL_Harrison; Propositional Resolution; Incredible Proof Machine; Verified Prover; Lambda Free RPOs; Archive Formal Proofs; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Mai Chi Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos

Cited in:	1 Publication (2020)
Related Software:	GitHub; OptiMathSAT; PyLMT; vZ; SIMPLY; MathSAT5; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Claudia Schon, Sophie Siebert, Frieder Stolzenburg

Cited in:	0 Publications
Related Software:	Adimen-SUMO; KNEWS; YAGO; BabelNet; WordNet; ConceptNet Numberbatch; …
Main Fields:	–

Software Authors:   Lupea, Mihaiela

Cited in:	1 Publication (2002)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Ivancic, F., Balakrishnan, G., Gupta, A., et al.

Cited in:	0 Publications
Related Software:	DDVerify; CBMC; CPAchecker; BLAST
Main Fields:	–

Software Authors:   Réda, Clémence; Wilczyński, Bartek

Cited in:	1 Publication (2020)
Related Software:	MaBoSS; REDfly; GitHub; Python; Ginsim; z3; …
Main Fields:	Biology and other natural sciences (92-XX)

Software Authors:   Braude, Eric; Abdyldayev, Satbek

Cited in:	1 Publication (2018)
Related Software:	Python; GitHub
Main Fields:	Geometry (51-XX); Computer science (68-XX)

Software Authors:   Tammet, Tanel; Draheim, Dirk; Järv, Priit

Cited in:	1 Publication (2022)
Related Software:	DLV2; Clingo; GKC; ConceptNet
Main Fields:	Computer science (68-XX)

Software Authors:   Cowen-Rivers, Alexander I.; Lyu, Wenlong; Tutunov, Rasul; Wang, Zhi; Grosnit, Antoine; Griffiths, Ryan Rhys; Maraval, Alexandre Max; Jianye, Hao; Wang, Jun; Peters, Jan; Bou-Ammar, Haitham

Cited in:	1 Publication (2022)
Related Software:	BOHB; Hyperopt; Hyperband; BoTorch; pymoo; RoBO; …
Main Fields:	Computer science (68-XX)

Software Authors:   Zhang, Dianmu; Hannaford, Blake

Cited in:	1 Publication (2019)
Related Software:	–
Main Fields:	Computer science (68-XX); Mechanics of particles and systems (70-XX)

Software Authors:   Gaurav Vaidya, Nico Cellinese, Hilmar Lapp

Cited in:	0 Publications
Related Software:	ELK
Main Fields:	–

Software Authors:   Huang, X., Kerber, M., Kohlhase, M., Melis, E., Nesmith, D., Richts, J., Siekmann, J.

Cited in:	1 Publication (2005)
Related Software:	OMEGA; Leo; MKRP
Main Fields:	Computer science (68-XX)

Software Authors:   Brown, Chad E.; Kaliszyk, Cezary

Cited in:	1 Publication (2022)
Related Software:	TPS; Satallax; TPTP
Main Fields:	Computer science (68-XX)

Software Authors:   Zuo, Ming; Haarslev, Volker

Cited in:	1 Publication (2013)
Related Software:	FaCT++; SATLIB Benchmark Suite; Racer; Pellet
Main Fields:	Computer science (68-XX)

Software Authors:   Andrea Callia D'Iddio, Michael Huth

Cited in:	0 Publications
Related Software:	OSiL; BARON; LINDOGlobal; MathSAT; PySMT; MINOS; …
Main Fields:	–

Software Authors:   Torlak, E., Vaziri, M., Dolby, J.

Cited in:	1 Publication (2012)
Related Software:	Jinja Threads; Isabelle/HOL
Main Fields:	Computer science (68-XX)

Software Authors:   Riener, H.

Cited in:	1 Publication (2021)
Related Software:	CVC4; SMT Kit; BtorMC; lazybv2int; Pono; SBV; …
Main Fields:	Computer science (68-XX)

Software Authors:   Kaufmann, Daniela; Biere, Armin

Cited in:	1 Publication (2020)
Related Software:	Pacheck; Bosphorus; RevSCA; Btor2Tools; BtorMC; PolyCleaner; …
Main Fields:	Computer science (68-XX)

Software Authors:   D.C. McShan, S. Rao, I. Shah

Cited in:	1 Publication (2009)
Related Software:	CPLEX
Main Fields:	Combinatorics (05-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Software Authors:   Gleiss, Bernhard; Kovács, Laura; Robillard, Simon

Cited in:	1 Publication (2018)
Related Software:	VAMPIRE; InvGen; CVC4; z3; TPTP; SMT-LIB
Main Fields:	Computer science (68-XX)

Software Authors:   Malik, S., Smith, A., Hawes, T., Papadatos, P., Li, J., Dunne, C., Shneiderman, B.

Cited in:	0 Publications
Related Software:	TweetViz; Evently; Python; TTLocVis
Main Fields:	–

Software Authors:   Randall Holmes, M.; Alves-Foss, Jim

Cited in:	1 Publication (2001)
Related Software:	OTTER; IMPS; LCF; Nuprl; HOL; ML; …
Main Fields:	Computer science (68-XX)