×

Found 66 Software Packages (Results 1–66)

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:

SpechtModule

Cited in 0 Documents
Software Authors: Jonathan Niño
Related Software:
Main Fields:

TReasoner

Cited in 0 Documents
Software Authors: Andrey V. Grigorev; Alexander G. Ivashko
Related Software:
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field