SATCHMO Cited in 91 Documents (1988–2023) Software Authors: Manthey, R., Bry, F. Related Software: TPTP; OTTER; SETHEO; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); …
Racer Cited in 52 Documents (2001–2021) Software Authors: Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel Related Software: FaCT++; Pellet; KL-ONE; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Satallax Cited in 65 Documents (2010–2023) Software Authors: Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller Related Software: TPTP; Isabelle/HOL; LEO-II; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
KL-ONE Cited in 36 Documents (2001–2020) Software Authors: Baader, Franz; Sattler, Ulrike Related Software: FaCT++; Racer; Pellet; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
leanCoP Cited in 37 Documents (2001–2022) Software Authors: Jens Otten Related Software: ileanCoP; TPTP; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
LoTREC Cited in 28 Documents (2001–2022) Software Authors: Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Sahade, Mohamad Related Software: E Theorem Prover; PVS; SPASS; … 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; Mizar; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)
Zenon Cited in 21 Documents (2007–2022) Software Authors: Bonichon, Richard; Delahaye, David; Doligez, Damien Related Software: Coq; TPTP; dedukti; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-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); …
SOLAR Cited in 19 Documents (1993–2022) Software Authors: Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray Related Software: E Theorem Prover; SPASS; SCIFF; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ModLeanTAP Cited in 19 Documents (1998–2019) Software Authors: Beckert, Bernhard; Goré, Rajeev Related Software: leanTAP; Coq; MSPASS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MetTeL Cited in 16 Documents (2011–2021) Software Authors: Tishkovsky, Dmitry; Schmidt, Renate A.; Khodadadi, Mohammad Related Software: KL-ONE; LoTREC; LEO-II; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HARP Cited in 14 Documents (1994–2020) Software Authors: Oppacher, F.; Suen, E Related Software: SETHEO; TPTP; 3TAP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Spartacus Cited in 14 Documents (2010–2021) Software Authors: Daniel Götzmann; Mark Kaminski; Gert Smolka Related Software: HTab; FaCT++; InKreSAT; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TTM Cited in 15 Documents (2007–2023) Software Authors: J. Gaintzarain, M. Hermo, P. Lucio, M. Navarro, F. Orejas Related Software: Rabinizer; TRP++; Dafny; … Main Fields: Mathematical logic and foundations (03-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)
3TAP Cited in 13 Documents (1993–2019) Software Authors: Hähnle, Reiner; Beckert, Bernhard; Gerberding, Stefan; Werner Kernig Related Software: SETHEO; HARP; TPTP; … Main Fields: Mathematical logic and foundations (03-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)
MAVEN Cited in 9 Documents (2007–2013) Software Authors: Goldman, Max; Katz, Emilia; Katz, Shmuel Related Software: ProMoVer; CVPP; Aspectual Caml; … Main Fields: Computer science (68-XX)
InKreSAT Cited in 9 Documents (2013–2022) Software Authors: Kaminski, Mark; Tebbi, Tobias Related Software: Spartacus; BDDTab; FaCT++; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
bs3np Cited in 7 Documents (2008–2018) Software Authors: Xin, Guoce; Zhang, Terence Y. J. Related Software: OEIS; Maple; ROBBINS Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)
HyLoRes Cited in 7 Documents (2002–2020) Software Authors: Areces, C.; Heguiabehere, J. Related Software: Spartacus; HyLoTab; HTab; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
linTAP Cited in 7 Documents (1999–2019) Software Authors: Mantel, H., Otten, J. Related Software: llprover; Lolli; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TATL Cited in 7 Documents (2009–2017) Software Authors: David, Amélie Related Software: CLProver; VAMPIRE; TRP++; … 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 Cited in 6 Documents (2010–2020) Software Authors: Cerrito, Serenella; Cialdea Mayer, Marta Related Software: HyLoTab; HTab; Spartacus; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ABC4EFT Cited in 5 Documents (2012–2022) Software Authors: Li, Hao-Lin; Ren, Zhe; Xiao, Ming-Lei; Yu, Jiang-Hao; Zheng, Yu-Hui Related Software: Z; REPSN; AIM@SHAPE; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Partial differential equations (35-XX); …
Cgllandp Cited in 5 Documents (2009–2012) Software Authors: Bonami, P., Balas, E. Related Software: MIPLIB; MIPLIB2003; COIN-OR; … Main Fields: Operations research, mathematical programming (90-XX)
CTL-RP Cited in 5 Documents (2010–2021) Software Authors: Zhang, Lan; Hustadt, Ullrich; Dixon, Clare Related Software: SPASS; TRP++; 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)
lifting Cited in 5 Documents (2018–2021) Software Authors: Fukasawa, Ricardo; Poirrier, Laurent; Xavier, Álinson S. Related Software: MIPLIB; onerow; CPLEX; … Main Fields: Operations research, mathematical programming (90-XX)
Abstract Completeness Cited in 4 Documents (2014–2018) Software Authors: Jasmin Christian Blanchette; Andrei Popescu; Dmitriy Traytel Related Software: Isabelle/HOL; Archive Formal Proofs; FOL Fitting; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lotrecscheme Cited in 4 Documents (2011–2015) Software Authors: François Schwarzentruber Related Software: LoTREC; SCIFF; Scheme; … 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)
DRAGO Cited in 2 Documents (2009–2014) Software Authors: L. Serafini, A. Tamilin Related Software: Racer; FaCT++; Pellet; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Herod Cited in 3 Documents (2007–2020) Software Authors: Marta Cialdea Mayer, Serenella Cerrito Related Software: Pilate; HTab; Spartacus; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
NaBBODES Cited in 3 Documents (2022–2023) Software Authors: Karamitros, D. Related Software: SimpleSplines; NumPy; Matplotlib; … Main Fields: Computer science (68-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX); …
Pilate Cited in 3 Documents (2007–2020) Software Authors: Marta Cialdea Mayer, Serenella Cerrito Related Software: Herod; HTab; Spartacus; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PITP Cited in 3 Documents (2007–2008) Software Authors: Avellone, Alessandro; Fiorino, Guido; Moscato, Ugo 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 Cited in 2 Documents (2004–2005) Software Authors: He, Lifeng; Chao, Yuyan; Itoh, Hidenori Related Software: SATCHMOREBID; I-SATCHMO; SATCHMO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
aleanTAP Cited in 2 Documents (2008–2021) Software Authors: Near, Joseph P.; Byrd, William E.; Friedman, Daniel P. Related Software: Freshml; leanTAP; KANREN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ArchSAT Cited in 1 Document (2020) Software Authors: Guillaume Bury Related Software: Zenon; TPTP; dedukti; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
CLProver Cited in 2 Documents (2014–2015) Software Authors: Nalon, Cláudia; Zhang, Lan; Dixon, Clare; Hustadt, Ullrich Related Software: TATL; VAMPIRE; TRP++; … 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 Cited in 2 Documents (2002–2007) Software Authors: Thion, V.; Cerrito, S.; Cialdea Mayer, Marta Related Software: TABLEAUX; GULP; ModLeanTAP Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)
KEMS Cited in 2 Documents (2009–2016) Software Authors: Adolfo Neto; Marcelo Finger Related Software: Gen2sat; MetTeL; NESCOND; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MiniTab Cited in 2 Documents (1994–1996) Software Authors: Lorenz, Sven Related Software: HARP; THOT Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
onerow Cited in 2 Documents (2018–2019) Software Authors: Fukasawa, Ricardo; Poirrier, Laurent; Xavier, Álinson S. Related Software: lifting; MIPLIB; infinite group relaxation; … Main Fields: Operations research, mathematical programming (90-XX)
pdl-tableau Cited in 1 Document (2011) Software Authors: R.A. Schmidt Related Software: 3APL; 2APL; Jason; … Main Fields: Computer science (68-XX)
RegStab Cited in 1 Document (2010) Software Authors: Aravantinos, Vincent; Caferra, Ricardo; Peltier, Nicolas Related Software: TPTP; LOUI; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
xlwings Cited in 2 Documents (2017) Software Authors: Zoomer Analytics LLC. Related Software: arctic; bokeh; chartpy; … Main Fields: General and overarching topics; collections (00-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
CSymLean Cited in 1 Document (2011) Software Authors: Alenda, Régis; Olivetti, Nicola Related Software: CSLLean Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DiaLog Cited in 1 Document (1997) Software Authors: Ehrensberger, Jürgen; Zinn, Claus Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GenTreeCad Cited in 1 Document (2012) Software Authors: Kádek, Tamás Related Software: LaTeX Main Fields: Mathematical logic and foundations (03-XX)
Goeland Cited in 1 Document (2022) Software Authors: Cailler, Julie; Rosain, Johann; Delahaye, David; Robillard, Simon; Bouziane, Hinde Lilia Related Software: HOT; Easychair; DISCOUNT; … Main Fields: Computer science (68-XX)
GPLOM Cited in 0 Documents Software Authors: Im, J.-F.; McGuffin, M.J.; Leung, R. Related Software: RnavGraph; xgobi; GGobi; … Main Fields: –
KRHyper Cited in 1 Document (2005) Software Authors: Sinner, Alex; Kleemann, Thomas Related Software: TPTP; PROTEIN; Racer Main Fields: Computer science (68-XX)
LangPro Cited in 0 Documents Software Authors: Lasha Abzianidze Related Software: FraCaS; SICK Main Fields: –
Lash Cited in 1 Document (2022) Software Authors: Brown, Chad E.; Kaliszyk, Cezary Related Software: TPS; Satallax; TPTP Main Fields: Computer science (68-XX)
leanK Cited in 1 Document (2018) Software Authors: Bernhard Beckert; Rajeev Goré Related Software: Cool; E Theorem Prover; Racer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LIGHT Cited in 1 Document (2013) Software Authors: Zuo, Ming; Haarslev, Volker Related Software: FaCT++; SATLIB Benchmark Suite; Racer; … Main Fields: Computer science (68-XX)
Sofia Cited in 1 Document (2005) Software Authors: Kovásznai, Gergely Related Software: – Main Fields: Computer science (68-XX)
TGC Cited in 1 Document (2010) Software Authors: Nguyen Related Software: – Main Fields: Computer science (68-XX)
TILT Cited in 1 Document (1991) Software Authors: Bittel, Oliver Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
WSReasoner Cited in 1 Document (2014) Software Authors: Weihong Song; Bruce Spencer; Weichang Du Related Software: KL-ONE; ELK; swrl; … Main Fields: Computer science (68-XX)
SNARKS Cited in 0 Documents Software Authors: Kettner, Mathias; Eisinger, Norbert Related Software: – Main Fields: –
TReasoner Cited in 0 Documents Software Authors: Andrey V. Grigorev; Alexander G. Ivashko Related Software: – Main Fields: –