×

Found 107 Software Packages (Results 1–100)

HOL

Software Authors:   Gordon, Michael J. C.
Cited in: 575 Publications (1985–2022)
Related Software: Isabelle; Isabelle/HOL; ML; Coq; HOL Light; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

TPTP

Software Authors:   Geoff Sutcliffe; Christian Suttner
Cited in: 388 Publications (1994–2021)
Related Software: VAMPIRE; E Theorem Prover; SPASS; Isabelle/HOL; OTTER; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

HOL Light

Software Authors:   Harrison, John
Cited in: 305 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

ACL2

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

Mace4

Software Authors:   William McCune
Cited in: 231 Publications (1996–2022)
Related Software: Prover9; OTTER; TPTP; GAP; VAMPIRE; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

REDLOG

Software Authors:   Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker
Cited in: 164 Publications (1997–2022)
Related Software: QEPCAD; Maple; z3; REDUCE; RSOLVER; DISCOVERER; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

Sledgehammer

Software Authors:   Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C.
Cited in: 144 Publications (2010–2022)
Related Software: Isabelle/HOL; Isabelle; z3; Coq; Archive Formal Proofs; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)

Why3

Software Authors:   François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich
Cited in: 127 Publications (2004–2023)
Related Software: KRAKATOA; Coq; Caduceus; z3; Boogie; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

Java PathFinder

Software Authors:   Havelund, Klaus; Pressburger, Thomas
Cited in: 92 Publications (2000–2021)
Related Software: SPIN; Bandera; veriSoft; CUTE; DART; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

ELAN

Software Authors:   Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Cited in: 105 Publications (1996–2020)
Related Software: Maude; CafeOBJ; OBJ3; Stratego; Haskell; ATERM; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

cvc3

Software Authors:   Clark Barrett, Cesare Tinelli, Chris Conway, Morgan Deters, Alexander Fuchs, Yeting Ge, George Hagen, Mina Jeong, Dejan Jovanovic, Tim King
Cited in: 78 Publications (2006–2021)
Related Software: z3; SMT-LIB; Yices; SIMPLIFY; Why3; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

CVC Lite

Software Authors:   Mclaughlin, Sean; Barrett, Clark; Ge, Yeting
Cited in: 51 Publications (2004–2020)
Related Software: HOL Light; Chaff; CVC; SMT-LIB; z3; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MPTP 0.2

Software Authors:   Urban, Josef
Cited in: 51 Publications (2006–2021)
Related Software: Mizar; E Theorem Prover; VAMPIRE; TPTP; MaLARea; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LEO-II

Software Authors:   Benzmüller, C., Paulson, L., Theiss, F., Fietzke, A
Cited in: 50 Publications (2008–2020)
Related Software: Satallax; TPTP; Isabelle/HOL; E Theorem Prover; TPS; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Frama-C

Software Authors:   Patrick Baudin; Richard Bonichon; Loïc Correnson; Pascal Cuoq; Zaynah Dargaye; Jean-Christophe Filliâtre; Philippe Herrmann; Claude Marché; Benjamin Monate; Yannick Moy; Anne Pacalet; Virgile Prévosto; Julien Signoles and Boris Yakobowski
Cited in: 39 Publications (2009–2021)
Related Software: Why3; Coq; z3; ACSL; KRAKATOA; Boogie; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

STP

Software Authors:   Vijay Ganesh; Trevor Hansen; Mate Soos; Dan Liew; Ryan Govostes; Andrew V. Jones; et al.
Cited in: 40 Publications (2007–2022)
Related Software: z3; DART; CUTE; Yices; Boolector; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

Locales

Software Authors:   Ballarin, Clemens
Cited in: 42 Publications (1999–2022)
Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Coq; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

GEX

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)

Analytica

Software Authors:   Bauer, A., Clarke, E.M., Zhao
Cited in: 33 Publications (1993–2022)
Related Software: Theorema; Nuprl; PVS; Coq; OMRS; AXIOM; …
Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Computer science (68-XX)

EasyCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Heraud, Sylvain; Béguelin, Santiago Zanella
Cited in: 32 Publications (2011–2021)
Related Software: Coq; F*; CryptHOL; Isabelle/HOL; AVISPA; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

WhyML

Software Authors:   Filliâtre, Jean-Christophe; Paskevich, Andrei
Cited in: 32 Publications (2013–2023)
Related Software: Why3; z3; Coq; Boogie; Isabelle/HOL; Dafny; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

GEOTHER 1.1

Software Authors:   Dongming Wang
Cited in: 31 Publications (1996–2021)
Related Software: GeoGebra; GEX; GeoThms; GCLC; GCLCprover; MMP/Geometer; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Geometry (51-XX)

HR

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

SymbolicData

Software Authors:   Gräbe, Hans-Gert
Cited in: 28 Publications (2004–2020)
Related Software: SINGULAR; SDeval; SageMath; Plural; Magma; Maple; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)

MaLeCoP

Software Authors:   Josef Urban, Jiří Vyskočil, Petr Štěpánek
Cited in: 28 Publications (2011–2021)
Related Software: E Theorem Prover; MaLARea; Mizar; VAMPIRE; HOL Light; FEMaLeCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

MAYA

Software Authors:   Hutter, Dieter; Autexier, Serge
Cited in: 23 Publications (2002–2015)
Related Software: CASL; Mizar; Isabelle; OMDoc; TPTP; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

GeoThms

Software Authors:   Quaresma, Pedro; Predrag Janičić
Cited in: 24 Publications (2006–2020)
Related Software: GCLCprover; GCLC; GeoGebra; GEX; GEOTHER 1.1; GeoProof; …
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)

MPTP

Software Authors:   Urban, Josef
Cited in: 26 Publications (2003–2021)
Related Software: Mizar; E Theorem Prover; MaLARea; VAMPIRE; MPTP 0.2; MML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MaSh

Software Authors:   Daniel Kühlwein; Jasmin Christian Blanchette; Cezary Kaliszyk; Josef Urban
Cited in: 25 Publications (2001–2021)
Related Software: Flyspeck; E Theorem Prover; VAMPIRE; MaLARea; Sledgehammer; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Cyclist

Software Authors:   N Gorogiannis
Cited in: 23 Publications (2014–2022)
Related Software: Slide; HipSpec; SLAyer; HIP; VeriFast; Predator; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

AVATAR

Software Authors:   Voronkov, A.
Cited in: 22 Publications (2014–2021)
Related Software: VAMPIRE; TPTP; SPASS; Isabelle/HOL; z3; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TRAMP

Software Authors:   Meier, A.
Cited in: 20 Publications (2000–2020)
Related Software: TPTP; VAMPIRE; HOL; SPASS; Isabelle/HOL; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FEMaLeCoP

Software Authors:   Kaliszyk, Cezary; Urban, Josef
Cited in: 19 Publications (2015–2021)
Related Software: E Theorem Prover; MaLeCoP; leanCoP; VAMPIRE; MaLARea; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)

LATIN

Software Authors:   Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
Cited in: 16 Publications (2011–2021)
Related Software: MMT; OMDoc; Isabelle; QMT; Mizar; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

METEOR

Software Authors:   O. L. Astrachan; D. W. Loveland
Cited in: 11 Publications (1991–2004)
Related Software: SETHEO; OTTER; PARTHEO; PARTHENON; RRL; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Mtac

Software Authors:   Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor
Cited in: 16 Publications (2013–2021)
Related Software: Coq; Agda; Idris; seL4; VeriML; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HipSpec

Software Authors:   Claessen, Koen; Johansson, Moa; Ros'en, Dan; Smallbone, Nicholas
Cited in: 15 Publications (2013–2021)
Related Software: Zeno; Hipster; CVC4; VAMPIRE; Theorema; Cyclist; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PARTHEO

Software Authors:   Schumann, J., Letz, R.
Cited in: 13 Publications (1990–2015)
Related Software: SETHEO; METEOR; TPTP; SicoTHEO; OTTER; PARTHENON; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Cogent

Software Authors:   Cook, Byron; Kroening, Daniel; Sharygina, Natasha
Cited in: 11 Publications (2005–2018)
Related Software: SatAbs; SIMPLIFY; SPIN; Bebop; FOCI; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

HOL-Boogie

Software Authors:   Böhme, Sascha; Leino, K.Rustan M.; Wolff, Burkhart
Cited in: 13 Publications (2008–2015)
Related Software: Isabelle/HOL; Boogie; Why3; z3; Caduceus; VCC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Naproche

Software Authors:   Cramer, M., Koepke, P., Schröder, B.
Cited in: 12 Publications (2010–2021)
Related Software: Mizar; ForTheL; E Theorem Prover; Isar; SAD; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

BoogiePL

Software Authors:   DeLine, R., Leino, K.R.M.
Cited in: 10 Publications (2005–2020)
Related Software: z3; Spec#; Boogie; HOL-Boogie; ESC/Java; VCC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CtCoq

Software Authors:   Bertot, Y.
Cited in: 12 Publications (1996–2017)
Related Software: Coq; Proof General; Matita; Centaur; Whelp; Mizar; …
Main Fields: Numerical analysis (65-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)

TGTP

Software Authors:   Pedro Quaresma
Cited in: 13 Publications (2011–2021)
Related Software: GeoGebra; Intergeo; GeoThms; GCLCprover; GCLC; GATP; …
Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)

E-MaLeS

Software Authors:   Kühlwein, Daniel; Schulz, Stephan; Urban, Josef
Cited in: 11 Publications (2013–2021)
Related Software: E Theorem Prover; VAMPIRE; MaLARea; BliStr; TPTP; MPTP 0.2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)

ENIGMA

Software Authors:   Jakubův, J., Urban, J.
Cited in: 12 Publications (2017–2021)
Related Software: E Theorem Prover; VAMPIRE; FEMaLeCoP; MaLeCoP; MaLARea; MPTP 0.2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Imogen

Software Authors:   Sean McLaughlin; Frank Pfenning
Cited in: 11 Publications (2008–2019)
Related Software: ILTP; fCube; IntHistGC; ileanCoP; LoTREC; STRIP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

miz3

Software Authors:   Wiedijk, Freek
Cited in: 11 Publications (2012–2020)
Related Software: Coq; Mizar; Isar; HOL; Isabelle/HOL; OMDoc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

Myhill-Nerode

Software Authors:   Wu, Chunhan; Zhang, Xingyuan; Urban, Christian
Cited in: 11 Publications (2011–2020)
Related Software: Archive Formal Proofs; Regular Sets; Presburger Automata; Coq; Isabelle/HOL; MSO_Regex_Equivalence; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

GAPT

Software Authors:   Ebner, G.; Hetzl, S.; Reis, G.; Riener, M.; Wolfsteiner, S.; Zivota, S.
Cited in: 10 Publications (2013–2021)
Related Software: TPTP; ProofTool; CERES; leanCoP; E Theorem Prover; Mace4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OpenGeoProver

Software Authors:   Predrag Janicic; Ivan Petrovic
Cited in: 10 Publications (2015–2020)
Related Software: GeoGebra; GCLC; GEX; JGEX; GeoThms; gcl; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Geometry (51-XX)

fCube

Software Authors:   Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Cited in: 9 Publications (2010–2022)
Related Software: ILTP; Imogen; IntHistGC; JTabWb; DeReS; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

P.rex

Software Authors:   Fiedler, A.
Cited in: 8 Publications (2001–2015)
Related Software: TRAMP; VAMPIRE; TPTP; OMEGA; OTTER; SPASS; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

IsaWin

Software Authors:   Christoph Lüth; Burkhart Wolff
Cited in: 7 Publications (1999–2007)
Related Software: TAS; Proof General; Mizar; Proof General Kit; IsaPlanner; Isar; …
Main Fields: Computer science (68-XX)

LIRA

Software Authors:   Becker, B., Dax, C., Eisinger, J., Klaedtke, F.
Cited in: 7 Publications (2008–2021)
Related Software: LASH; TaPAS; cvc3; FAST; MONA; GenPSAT; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

SicoTHEO

Software Authors:   Schumann, J.
Cited in: 8 Publications (1996–2013)
Related Software: SETHEO; TPTP; PARTHEO; OTTER; Isabelle; ACL2; …
Main Fields: Computer science (68-XX)

Zap

Software Authors:   Thomas Ball, Shuvendu Lahiri, and Madanlal Musuvathi
Cited in: 6 Publications (2005–2008)
Related Software: ESC/Java; SIMPLIFY; Spec#; Chaff; SMT-LIB; MiniSat; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

BliStrTune

Software Authors:   Jan Jakubuv, Josef Urban
Cited in: 5 Publications (2017–2021)
Related Software: E Theorem Prover; VAMPIRE; MPTP 0.2; E-MaLeS; Isabelle/HOL; BliStr; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

EXPANDER

Software Authors:   Peter Padawitz
Cited in: 6 Publications (1992–2007)
Related Software: CoCasl; Curry; Maude; HasCasl; SPIKE; RRL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ModGen

Software Authors:   Kim S. , Zhang H.
Cited in: 6 Publications (1996–2019)
Related Software: Mace4; FALCON; SATCHMO; E-Darvin; Darwin; SCOTT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Multi

Software Authors:   Meier, Andreas; Melis, Erica
Cited in: 6 Publications (2005–2008)
Related Software: Lambda-Clam; OMEGA; LOUI; Omega-ANTS; MAYA; Bliksem; …
Main Fields: Computer science (68-XX)

Speedith

Software Authors:   Urbas, M., Jamnik, M., Stapleton, G., Flower, J.
Cited in: 5 Publications (2012–2019)
Related Software: Openproof; Diabelli; Dr.Doodle; MaSh; Hets; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)

ArgoTriCS

Software Authors:   Marinkovic, V.
Cited in: 5 Publications (2016–2021)
Related Software: GCLC; GeoGebra; GeoThms; GCLCprover; TGTP; gcl; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Mathematics education (97-XX)

Bellerophon

Software Authors:   Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon; Platzer, André
Cited in: 5 Publications (2017–2022)
Related Software: KeYmaera X; KeYmaera; SpaceEx; Isabelle/HOL; ModelPlex; dReach; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

ORME

Software Authors:   Lescanne, P.
Cited in: 5 Publications (1992–2022)
Related Software: Tom; LTSmin; Maude; Stratego; REVE; MCMAS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

randoCoP

Software Authors:   Thomas Raths; Jens Otten
Cited in: 5 Publications (2015–2021)
Related Software: VAMPIRE; ENIGMA; Easychair; E Theorem Prover; MPTP 0.2; leanCoP; …
Main Fields: Computer science (68-XX)

Salsa

Software Authors:   Bharadwaj, R., Sims, S.
Cited in: 4 Publications (2000–2010)
Related Software: Omega; CADP; Ergo 6; Maude; E-LOTOS; Uppaal; …
Main Fields: Computer science (68-XX)

SMTtoTPTP

Software Authors:   Baumgartner, P.
Cited in: 5 Publications (2015–2017)
Related Software: TPTP; SMT-LIB; z3; QBFEVAL; IDV; FOOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TAME

Software Authors:   Archer, Myla
Cited in: 5 Publications (2000–2011)
Related Software: PVS; Uppaal; LARCH; NASA PVS; UNITY; Giotto; …
Main Fields: Computer science (68-XX)

embed_modal

Software Authors:   Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph
Cited in: 4 Publications (2017–2021)
Related Software: Isabelle/HOL; Nitpick; MleanCoP; Leo-III; LeoPARD; QMLTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FOOL

Software Authors:   Kotelnikov, Evgenii; Kov'acs, Laura; Voronkov, Andrei
Cited in: 4 Publications (2015–2021)
Related Software: TPTP; Sledgehammer; SMT-LIB; TLAPS; Satallax; QBFEVAL; …
Main Fields: Computer science (68-XX)

Joogie

Software Authors:   Arlt, S., Rümmer, P., Schäf, M.
Cited in: 3 Publications (2013–2020)
Related Software: CIVL; Cascade; Crust; Pyston; Rust2Viper; GraVy; …
Main Fields: Computer science (68-XX)

LogiKEy

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)

Monotonox

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)

Proofwatch

Software Authors:   Goertzel, Zarathustra; Jakubův, Jan; Schulz, Stephan; Urban, Josef
Cited in: 4 Publications (2018–2021)
Related Software: E Theorem Prover; ENIGMA; MaLeCoP; VAMPIRE; MPTP 0.2; XGBoost; …
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)

Unbound

Software Authors:   Weirich, Stephanie; Yorgey, Brent A.; Sheard, Tim
Cited in: 4 Publications (2011–2019)
Related Software: Isabelle/HOL; Psi-calculi; Nominal Isabelle; LNgen; Beluga; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

XBarnacle

Software Authors:   Jackson, Mike; Lowe, Helen; David Duncan
Cited in: 4 Publications (2000–2006)
Related Software: Nuprl; CLAM; Automath; Isabelle; Oyster; Lambda-Clam; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Adimen-SUMO

Software Authors:   Alvez J., Lucio P., Rigau G
Cited in: 2 Publications (2015–2019)
Related Software: KNEWS; YAGO; BabelNet; WordNet; ConceptNet Numberbatch; ConceptNet; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CharSets

Software Authors:   Dongming Wang
Cited in: 3 Publications (2004–2007)
Related Software: Maple; ATFM; PDESpecialSolutions; Rif; PDEtools; MACSYMA; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

CO3

Software Authors:   Nishida, N., Kuroda, T., Yanagisawa, M., Gmeiner, K.
Cited in: 3 Publications (2018–2021)
Related Software: Cops; CoCoWeb; MTT; Maude; OBJ3; Haskell; …
Main Fields: Computer science (68-XX)

Imandra

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)

IntHistGC

Software Authors:   Goré, Rajeev; Thomson, Jimmy; Wu, Jesse
Cited in: 3 Publications (2014–2019)
Related Software: ILTP; Imogen; fCube; TABLEAUX; ileanCoP; LoTREC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LogAnswer

Software Authors:   Furbach, Ulrich; Glöckner, Ingo; Helbig, Hermann; Pelzer, Björn
Cited in: 2 Publications (2008)
Related Software: E-KRHyper; WordNet; Abella; MaLARea; MTT; TPTP; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

LWB

Software Authors:   Goré, Rajeev; Heinle, Wolfgang; Heuerding, Alain
Cited in: 3 Publications (1996–2009)
Related Software: MSPASS; TPTP; VAMPIRE; MiniSat
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VeriStar

Software Authors:   Stewart, Gordon; Beringer, Lennart; Appel, Andrew W.
Cited in: 3 Publications (2012–2016)
Related Software: Coq; jStar; Smallfoot; Rocksalt; Gallina; VeriSmall; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

egg

Software Authors:   Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
Cited in: 1 Publication (2021)
Related Software: MatchCore.jl; MLStyle.jl; RuntimeGeneratedFunctions.jl; Julia; Metatheory.jl; FlashMeta; …
Main Fields: Computer science (68-XX)

ESC4

Software Authors:   James, Perry R.; Chalin, Patrice
Cited in: 2 Publications (2010–2011)
Related Software: Boogie; ESC/Java; OTTER; VACID-0; E Theorem Prover; VCC; …
Main Fields: Computer science (68-XX)

GLEFatinf

Software Authors:   R. Caferra; M. Herment
Cited in: 2 Publications (1994–1998)
Related Software: TABLEAUX; KRIPKE; Hyperproof; Nuprl; Coq
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ILF-SETHEO

Software Authors:   Wolf, Andreas; Schumann, Johann
Cited in: 2 Publications (1997)
Related Software: SETHEO; E-SETHEO; HOL; KoMeT; TPTP
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

JTabWb

Software Authors:   Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
Cited in: 2 Publications (2017–2019)
Related Software: Imogen; fCube; ILTP; intuit; IntHistGC; Cool; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MUNCH

Software Authors:   Piskac, Ruzica; Kuncak, Viktor
Cited in: 2 Publications (2010–2020)
Related Software: z3; KIV; Caduceus; Why3; KRAKATOA; Isabelle
Main Fields: Computer science (68-XX)

Pirate

Software Authors:   Wand, D., Weidenbach, C.
Cited in: 2 Publications (2015)
Related Software: Hipster; CVC4; HipSpec; Zeno; SMT-LIB; Dafny; …
Main Fields: Computer science (68-XX)

Slakje

Software Authors:   Ebner, Gabriel
Cited in: 2 Publications (2019–2021)
Related Software: GAPT; leanCoP; TPTP; ILTP; nanoCoP; MleanCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

theoremprover-museum

Software Authors:   Michael Kohlhase
Cited in: 2 Publications (2018)
Related Software: IMPS; OMDoc; MMT; HOL Light; Mizar; FOL_Harrison; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TIP

Software Authors:   Rosén, Dan; Smallbone, Nicholas
Cited in: 2 Publications (2015–2017)
Related Software: Hipster; CVC4; QuickCheck; SMT-LIB; HOL; z3; …
Main Fields: Computer science (68-XX)

ekstrakto

Software Authors:   Mohamed Yacine El Haddad, Guillaume Burel, Frédéric Blanqui
Cited in: 0 Publications
Related Software: ArchSAT; Zipperposition; E Theorem Prover; Zenon; TPTP; dedukti
Main Fields:

GeoLogic

Software Authors:   Miroslav Olšák
Cited in: 0 Publications
Related Software: JGEX; GeoCoq; GeoGebra
Main Fields:

KEIM

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)