SATCHMO Software Authors: Manthey, R., Bry, F. Cited in: 90 Publications (1988–2021) Related Software: TPTP; OTTER; SETHEO; SPASS; Mace4; FINDER; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX)
Racer Software Authors: Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel Cited in: 52 Publications (2001–2021) Related Software: FaCT++; Pellet; KL-ONE; Protege; RacerPro; HermiT; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Satallax Software Authors: Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller Cited in: 63 Publications (2010–2022) Related Software: TPTP; Isabelle/HOL; LEO-II; E Theorem Prover; Sledgehammer; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
KL-ONE Software Authors: Baader, Franz; Sattler, Ulrike Cited in: 36 Publications (2001–2020) Related Software: FaCT++; Racer; Pellet; MSPASS; E Theorem Prover; MetTeL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
leanCoP Software Authors: Jens Otten Cited in: 37 Publications (2001–2022) Related Software: ileanCoP; TPTP; VAMPIRE; E Theorem Prover; FEMaLeCoP; MaLeCoP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
LoTREC Software Authors: Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Sahade, Mohamad Cited in: 28 Publications (2001–2022) Related Software: E Theorem Prover; PVS; SPASS; MetTeL; MSPASS; TWB; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
MaLeCoP Software Authors: Josef Urban, Jiří Vyskočil, Petr Štěpánek Cited in: 29 Publications (2011–2021) Related Software: E Theorem Prover; Mizar; MaLARea; VAMPIRE; FEMaLeCoP; Flyspeck; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)
Zenon Software Authors: Bonichon, Richard; Delahaye, David; Doligez, Damien Cited in: 21 Publications (2007–2022) Related Software: Coq; TPTP; dedukti; Isabelle/HOL; z3; iProver; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
FEMaLeCoP Software Authors: Kaliszyk, Cezary; Urban, Josef Cited in: 21 Publications (2015–2021) Related Software: E Theorem Prover; MaLeCoP; leanCoP; VAMPIRE; ENIGMA; Mizar; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)
SOLAR Software Authors: Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray Cited in: 19 Publications (1993–2022) Related Software: E Theorem Prover; SPASS; SCIFF; MiniSat; SBGN; SMT-LIB; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
ModLeanTAP Software Authors: Beckert, Bernhard; Goré, Rajeev Cited in: 19 Publications (1998–2019) Related Software: leanTAP; Coq; MSPASS; KLMLean; CondLean; SETHEO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HARP Software Authors: Oppacher, F.; Suen, E Cited in: 14 Publications (1994–2020) Related Software: SETHEO; TPTP; 3TAP; SATCHMO; OTTER; METEOR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MetTeL Software Authors: Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad Cited in: 15 Publications (2011–2021) Related Software: KL-ONE; LoTREC; E Theorem Prover; SPASS; Gen2sat; MSPASS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Spartacus Software Authors: Daniel Götzmann; Mark Kaminski; Gert Smolka Cited in: 14 Publications (2010–2021) Related Software: HTab; FaCT++; InKreSAT; HyLoTab; HyLoRes; BDDTab; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
E-KRHyper Software Authors: Pelzer, Björn; Wernhard, Christoph Cited in: 11 Publications (2007–2021) Related Software: E Theorem Prover; E-Darvin; SATCHMO; Darwin; SPASS; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
3TAP Software Authors: Hähnle, Reiner; Beckert, Bernhard; Gerberding, Stefan; Werner Kernig Cited in: 13 Publications (1993–2019) Related Software: SETHEO; HARP; TPTP; leanTAP; SATCHMO; PROTEIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TTM Software Authors: J. Gaintzarain, M. Hermo, P. Lucio, M. Navarro, F. Orejas Cited in: 12 Publications (2007–2020) Related Software: Rabinizer; TRP++; TSPASS; NuSMV Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
fCube Software Authors: Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido Cited in: 10 Publications (2010–2022) Related Software: ILTP; Imogen; IntHistGC; JTabWb; MiniSat; DeReS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MAVEN Software Authors: Goldman, Max; Katz, Emilia; Katz, Shmuel Cited in: 9 Publications (2007–2013) Related Software: ProMoVer; CVPP; Aspectual Caml; PolyAML; Moped; Sawja; … Main Fields: Computer science (68-XX)
InKreSAT Software Authors: Kaminski, Mark; Tebbi, Tobias Cited in: 9 Publications (2013–2022) Related Software: Spartacus; BDDTab; FaCT++; MiniSat; GitHub; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
bs3np Software Authors: Xin, Guoce; Zhang, Terence Y. J. Cited in: 7 Publications (2008–2018) Related Software: OEIS; Maple; ROBBINS Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)
HyLoRes Software Authors: Areces, C.; Heguiabehere, J. Cited in: 7 Publications (2002–2020) Related Software: Spartacus; HyLoTab; HTab; GitHub; BDDTab; Flex; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
linTAP Software Authors: Mantel, H., Otten, J. Cited in: 7 Publications (1999–2019) Related Software: llprover; Lolli; TPTP; leanTAP; Sympli; ILLTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TATL Software Authors: David, Amélie Cited in: 7 Publications (2009–2017) Related Software: CLProver; 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)
Sibyl Software Authors: Cerrito, Serenella; Cialdea Mayer, Marta Cited in: 6 Publications (2010–2020) Related Software: HyLoTab; HTab; Spartacus; HGen; HyLoRes; Pilate; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ABC4EFT Software Authors: Li, Hao-Lin; Ren, Zhe; Xiao, Ming-Lei; Yu, Jiang-Hao; Zheng, Yu-Hui Cited in: 5 Publications (2012–2022) Related Software: Z; REPSN; AIM@SHAPE; Mathematica; GeneRa; EvaluateMultiSums; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Partial differential equations (35-XX)
Cgllandp Software Authors: Bonami, P., Balas, E. Cited in: 5 Publications (2009–2012) Related Software: MIPLIB; MIPLIB2003; COIN-OR; CPLEX; CLP; FEASPUMP; … Main Fields: Operations research, mathematical programming (90-XX)
CTL-RP Software Authors: Zhang, Lan; Hustadt, Ullrich; Dixon, Clare Cited in: 5 Publications (2010–2021) Related Software: SPASS; TRP++; XPath; NuSMV; PGSolver; TSPASS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
lifting Software Authors: Fukasawa, Ricardo; Poirrier, Laurent; Xavier, Álinson S. Cited in: 5 Publications (2018–2021) Related Software: MIPLIB; onerow; CPLEX; infinite group relaxation; MIPLIB2003; gmp Main Fields: Operations research, mathematical programming (90-XX)
Abstract Completeness Software Authors: Jasmin Christian Blanchette; Andrei Popescu; Dmitriy Traytel Cited in: 4 Publications (2014–2018) Related Software: Isabelle/HOL; Archive Formal Proofs; FOL Fitting; Completeness theorem; Knuth Bendix Orders; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lotrecscheme Software Authors: François Schwarzentruber Cited in: 4 Publications (2011–2015) Related Software: LoTREC; SCIFF; Scheme; PVS Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TWB Software Authors: Abate, Pietro; Goré, Rajeev Cited in: 3 Publications (2009–2019) Related Software: LoTREC; MSPASS; SableCC; Lua; FaCT++; leanTAP Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DRAGO Software Authors: L. Serafini, A. Tamilin Cited in: 2 Publications (2009–2014) Related Software: Racer; FaCT++; Pellet; CORON Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Herod Software Authors: Marta Cialdea Mayer, Serenella Cerrito Cited in: 3 Publications (2007–2020) Related Software: Pilate; HTab; Spartacus; HGen; HyLoRes; HyLoTab; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Pilate Software Authors: Marta Cialdea Mayer, Serenella Cerrito Cited in: 3 Publications (2007–2020) Related Software: Herod; HTab; Spartacus; HGen; HyLoRes; HyLoTab; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PITP Software Authors: Avellone, Alessandro; Fiorino, Guido; Moscato, Ugo Cited in: 3 Publications (2007–2008) Related Software: ILTP; Nuprl; Coq Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
R-SATCHMO Software Authors: He, Lifeng; Chao, Yuyan; Itoh, Hidenori Cited in: 2 Publications (2004–2005) Related Software: SATCHMOREBID; I-SATCHMO; SATCHMO; TPTP; Coq Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
aleanTAP Software Authors: Near, Joseph P.; Byrd, William E.; Friedman, Daniel P. Cited in: 2 Publications (2008–2021) Related Software: Freshml; leanTAP; KANREN; miniKanren; Twelf; SATCHMO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ArchSAT Software Authors: Guillaume Bury Cited in: 1 Publication (2020) Related Software: Zenon; TPTP; dedukti; Zipperposition; E Theorem Prover; ekstrakto; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CLProver 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)
GQML Software Authors: Thion, V.; Cerrito, S.; Cialdea Mayer, Marta Cited in: 2 Publications (2002–2007) Related Software: TABLEAUX; GULP; ModLeanTAP Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
JTabWb Software Authors: Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido Cited in: 2 Publications (2017–2019) Related Software: Imogen; fCube; ILTP; intuit; IntHistGC; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
KEMS Software Authors: Adolfo Neto; Marcelo Finger Cited in: 2 Publications (2009–2016) Related Software: Gen2sat; MetTeL; NESCOND; LoTREC; Sat4j; MUltlog Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MiniTab Software Authors: Lorenz, Sven Cited in: 2 Publications (1994–1996) Related Software: HARP; THOT Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
onerow Software Authors: Fukasawa, Ricardo; Poirrier, Laurent; Xavier, Álinson S. Cited in: 2 Publications (2018–2019) Related Software: lifting; MIPLIB; infinite group relaxation; CPLEX; gmp Main Fields: Operations research, mathematical programming (90-XX)
pdl-tableau Software Authors: R.A. Schmidt Cited in: 1 Publication (2011) Related Software: 3APL; 2APL; Jason; MSPASS; AgentSpeak; GOLOG; … Main Fields: Computer science (68-XX)
RegStab Software Authors: Aravantinos, Vincent; Caferra, Ricardo; Peltier, Nicolas Cited in: 1 Publication (2010) Related Software: TPTP; LOUI; VAMPIRE; Ivy; Prover9; Mace4; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
xlwings Software Authors: Zoomer Analytics LLC. Cited in: 2 Publications (2017) Related Software: arctic; bokeh; chartpy; findatapy; finmarketpy; Flask; … Main Fields: General and overarching topics; collections (00-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
CSymLean Software Authors: Alenda, Régis; Olivetti, Nicola Cited in: 1 Publication (2011) Related Software: CSLLean Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DiaLog Software Authors: Ehrensberger, Jürgen; Zinn, Claus Cited in: 1 Publication (1997) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); 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)
Goeland Software Authors: Cailler, Julie; Rosain, Johann; Delahaye, David; Robillard, Simon; Bouziane, Hinde Lilia Cited in: 1 Publication (2022) Related Software: DISCOUNT; TPTP Main Fields: Computer science (68-XX)
GPLOM Software Authors: Im, J.-F.; McGuffin, M.J.; Leung, R. Cited in: 0 Publications Related Software: RnavGraph; xgobi; GGobi; rggobi; MASS (R); tourrGui; … Main Fields: –
KRHyper Software Authors: Sinner, Alex; Kleemann, Thomas Cited in: 1 Publication (2005) Related Software: TPTP; PROTEIN; Racer Main Fields: Computer science (68-XX)
LangPro Software Authors: Lasha Abzianidze Cited in: 0 Publications Related Software: FraCaS; SICK Main Fields: –
Lash Software Authors: Brown, Chad E.; Kaliszyk, Cezary Cited in: 1 Publication (2022) Related Software: TPS; Satallax; TPTP Main Fields: Computer science (68-XX)
leanK Software Authors: Bernhard Beckert; Rajeev Goré Cited in: 1 Publication (2018) Related Software: Cool; E Theorem Prover; Racer; FaCT++; LoTREC; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LIGHT 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)
Sofia Software Authors: Kovásznai, Gergely Cited in: 1 Publication (2005) Related Software: – Main Fields: Computer science (68-XX)
TGC Software Authors: Nguyen Cited in: 1 Publication (2010) Related Software: – Main Fields: Computer science (68-XX)
TILT Software Authors: Bittel, Oliver Cited in: 1 Publication (1991) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
WSReasoner Software Authors: Weihong Song; Bruce Spencer; Weichang Du Cited in: 1 Publication (2014) Related Software: KL-ONE; ELK; swrl; HermiT; FaCT++; SPARQL; … Main Fields: Computer science (68-XX)
SNARKS Software Authors: Kettner, Mathias; Eisinger, Norbert Cited in: 0 Publications Related Software: – Main Fields: –
SpechtModule Software Authors: Jonathan Niño Cited in: 0 Publications Related Software: – Main Fields: –
TReasoner Software Authors: Andrey V. Grigorev; Alexander G. Ivashko Cited in: 0 Publications Related Software: – Main Fields: –