×

Found 65 Software Packages (Results 1–65)

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: