×

Found 127 Software Packages (Results 1–100)

Coq

Software Authors:   Dehlinger, Christophe; Dufourd, Jean-François
Referenced in: 1,816 Publications (1993–2022)
Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Isabelle/HOL

Software Authors:   Naraschewski, Wolfgang; Nipkow, Tobias
Referenced in: 972 Publications (1996–2023)
Related Software: Isabelle; Coq; HOL; Archive Formal Proofs; PVS; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

Isabelle

Software Authors:   Larry Paulson, Tobias Nipkow, Makarius Wenzel
Referenced in: 701 Publications (1990–2022)
Related Software: Isabelle/HOL; HOL; Coq; PVS; ML; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

HOL Light

Software Authors:   Harrison, John
Referenced 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)

SPARQL

Software Authors:   w3.org; Arenas, Marcelo; Pérez, Jorge
Referenced in: 86 Publications (2007–2022)
Related Software: Jena; XPath; LUBM; Pellet; DBpedia; nSPARQL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

LEGO

Software Authors:   Luo, Z., Pollack, R.
Referenced in: 106 Publications (1991–2021)
Related Software: Coq; Nuprl; Automath; Isabelle; ML; HOL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Isabelle/ZF

Software Authors:   Lawrence C. Paulson
Referenced in: 63 Publications (1993–2021)
Related Software: Isabelle; Coq; Isabelle/HOL; HOL; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)

KEM-DEM

Software Authors:   Nagao, Waka; Manabe, Yoshifumi; Okamoto, Tatsuaki
Referenced in: 59 Publications (2005–2021)
Related Software: NAXOS; HMQV; Keccak; NESSIE
Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX)

Pseudo Hoops

Software Authors:   George Georgescu, Laurentiu Leustean, Viorel Preoteasa
Referenced in: 43 Publications (2005–2022)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

MegaWave

Software Authors:   Jacques Froment; Lionel Moisan; Jean-Michel Morel
Referenced in: 24 Publications (1999–2019)
Related Software: SIFT; AlexNet; ImageNet; ASIFT; BSDS; iHOG; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

UniMath

Software Authors:   Voevodsky, V., Mörtberg, A., Ahrens, B., Lelay, C., Pannila, T., Matthes, R.
Referenced in: 24 Publications (2016–2022)
Related Software: GitHub; Coq; cubicaltt; Lean; HoTT; Agda; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX)

Flocq

Software Authors:   S Boldo; G Melquiond; inria.fr
Referenced in: 22 Publications (2011–2022)
Related Software: Coq; Why3; Gappa; HOL Light; z3; MPFR; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Partial differential equations (35-XX)

CP-logic

Software Authors:   Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
Referenced in: 19 Publications (2009–2022)
Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MizarMode

Software Authors:   Urban, Josef
Referenced in: 18 Publications (2006–2019)
Related Software: Mizar; MML; MoMM; MPTP 0.2; E Theorem Prover; MPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CoqHammer

Software Authors:   Czajka, Łukasz; Kaliszyk, Cezary
Referenced in: 17 Publications (2017–2021)
Related Software: Coq; E Theorem Prover; Isabelle/HOL; Mizar; TPTP; VAMPIRE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX)

HoTT

Software Authors:   Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Mike Shulman, Matthieu Sozeau, Bas Spitters
Referenced in: 16 Publications (2016–2021)
Related Software: GitHub; Coq; MathOverflow; UniMath; cubicaltt; cart-cube; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX)

DeepMath

Software Authors:   Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban
Referenced in: 12 Publications (2017–2021)
Related Software: Mizar; E Theorem Prover; VAMPIRE; MPTP 0.2; Coq; ENIGMA; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Berlekamp Zassenhaus

Software Authors:   Jose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada
Referenced in: 9 Publications (2017–2020)
Related Software: Isabelle/HOL; Isabelle; HOL; Coq; Archive Formal Proofs; Locales; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Field theory and polynomials (12-XX)

Gabow SCC

Software Authors:   Peter Lammich
Referenced in: 9 Publications (2014–2021)
Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Edmonds-Karp; Coq; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GeoCoq

Software Authors:   Michael Beeson, Pierre Boutry, Gabriel Braun, Charly Gries, Julien Narboux
Referenced in: 8 Publications (2007–2021)
Related Software: Coq; Isabelle/Isar; JGEX; GeoGebra; Isabelle; GeoLogic; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

Line-up

Software Authors:   Burckhardt, S., Dern, C., Musuvathi, M., Tan, R.
Referenced in: 9 Publications (2011–2021)
Related Software: Coq; SPIN; RGITL; Z; KIV
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Presburger Automata

Software Authors:   Berghofer, Stefan; Reiter, Markus
Referenced in: 9 Publications (2009–2019)
Related Software: Archive Formal Proofs; Isabelle/HOL; Myhill-Nerode; Isabelle; HOL; MSO_Regex_Equivalence; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TRX

Software Authors:   Koprowski, Adam; Binsztok, Henri
Referenced in: 8 Publications (2010–2020)
Related Software: Coq; Agda; HOL; CompCert; GitHub; seL4; …
Main Fields: Computer science (68-XX)

Arrow Gibbard Satterthwaite

Software Authors:   Tobias Nipkow
Referenced in: 8 Publications (2009–2022)
Related Software: Isabelle/HOL; Coq; Stable Matching; Coq/SSReflect; ForMaRE; Isabelle/Isar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Edmonds-Karp

Software Authors:   Lammich, Peter; Sefidgar, S. Reza
Referenced in: 7 Publications (2016–2021)
Related Software: Gabow SCC; Coq; Isabelle/HOL; Isabelle; Dijkstra Shortest Path; Separation Logic; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Globular

Software Authors:   Krzysztof Bar, Aleks Kissinger, Jamie Vicary
Referenced in: 6 Publications (2016–2022)
Related Software: GitHub; opetopy; HoTT; DisCoPy; pytket; PyZX; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

GoedelGod

Software Authors:   Christoph Benzmüller; Bruno Woltzenlogel Paleo
Referenced in: 7 Publications (2015–2020)
Related Software: Isabelle/HOL; Coq; Archive Formal Proofs; Nitpick; Satallax; LEO-II; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LNgen

Software Authors:   Aydemir, B.E., Weirich, S.
Referenced in: 7 Publications (2011–2021)
Related Software: PoplMark; Isabelle/HOL; Nominal Isabelle; Abella; Twelf; Beluga; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MSO_Regex_Equivalence

Software Authors:   Dmitriy Traytel; Tobias Nipkow
Referenced in: 7 Publications (2013–2018)
Related Software: Presburger Automata; Myhill-Nerode; Regex_Equivalence; Isabelle; Finite Automata HF; Hereditarily Finite Sets; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Regex_Equivalence

Software Authors:   Nipkow, T.; Traytel, D.
Referenced in: 7 Publications (2014–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; MSO_Regex_Equivalence; Myhill-Nerode; Lifting; Transfer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AUTO2

Software Authors:   Zhan, Bohua
Referenced in: 6 Publications (2016–2019)
Related Software: Isabelle/HOL; Isabelle; Mizar; Auto2_Imperative_HOL; Separation Logic; IsarMathLib; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)

FocalTest

Software Authors:   Carlier, Matthieu; Dubois, Catherine; Gotlieb, Arnaud
Referenced in: 6 Publications (2011–2018)
Related Software: QuickCheck; Coq; SmallCheck; Mathematical Components; GitHub; QuickChick; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

FOL Fitting

Software Authors:   Stefan Berghofer; Andreas Halkjær From
Referenced in: 6 Publications (2014–2021)
Related Software: Archive Formal Proofs; Completeness theorem; Isabelle/HOL; HOL; Sledgehammer; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Graph Theory

Software Authors:   Lars Noschinski
Referenced in: 6 Publications (2014–2021)
Related Software: Isabelle; Coq; Archive Formal Proofs; Boogie; Edmonds-Karp; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

ConSpec

Software Authors:   Aktug, Irem; Naliuka, Katsiaryna
Referenced in: 5 Publications (2008–2013)
Related Software: SPIN; AspectJ; SLAM; jContractor; PQL; J-LO; …
Main Fields: Computer science (68-XX)

Ordinary Differential Equations

Software Authors:   Fabian Immler; Johannes Hölzl
Referenced in: 5 Publications (2012–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; Coquelicot; RODES; Lifting; Transfer; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)

Program-Conflict-Analysis

Software Authors:   Lammich, Peter; Müller-Olm, Markus
Referenced in: 5 Publications (2008–2018)
Related Software: Archive Formal Proofs; MAGIC; BicolanoMT; Coq; Isabelle/HOL
Main Fields: Computer science (68-XX)

Abstract Completeness

Software Authors:   Jasmin Christian Blanchette; Andrei Popescu; Dmitriy Traytel
Referenced 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)

AgsyHOL

Software Authors:   Lindblad, F.
Referenced in: 4 Publications (2013–2015)
Related Software: TPTP; Isabelle/HOL; Nitpick; Satallax; LEO-II; FMLtoHOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AutoExtend

Software Authors:   Sascha Rothe, Hinrich Schütze
Referenced in: 3 Publications (2016–2022)
Related Software: GloVe; word2vec; BabelNet; Nasari; WordNet; SNAP; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

CoqJVM

Software Authors:   The Coq development team, CNRS, INRIA and Université Paris Sud
Referenced in: 4 Publications (2008–2021)
Related Software: Isabelle/HOL; HOL; TSL; K Prover; TSOTool; CompCert; …
Main Fields: Computer science (68-XX)

Groebner_Bases

Software Authors:   Fabian Immler; Alexander Maletzky
Referenced in: 4 Publications (2017–2019)
Related Software: Polynomials; Isabelle/HOL; Deep_Learning; Jordan Normal Forms; HOL; Isabelle; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

icity

Software Authors:   Stevens, D., Dragicevic, S., & Rothley, K.
Referenced in: 3 Publications (2008–2014)
Related Software: LUCAS; AntNet; QUAL2Kw; SymbolicC++; FANN
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Operations research, mathematical programming (90-XX)

IsaFoL

Software Authors:   Blanchette, J.C., Fleury, M., Schlichtkrull, A., Traytel, D.
Referenced in: 4 Publications (2016–2018)
Related Software: Archive Formal Proofs; Isabelle/HOL; Completeness theorem; Sledgehammer; Isabelle; FOL Fitting; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Lambda Free RPOs

Software Authors:   Blanchette, Jasmin Christian; Waldmann, Uwe; Wand, Daniel
Referenced in: 4 Publications (2017–2021)
Related Software: Isabelle/HOL; Sledgehammer; Archive Formal Proofs; E Theorem Prover; Knuth Bendix Orders; CoLoR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Markov Models

Software Authors:   Johannes Hölzl; Tobias Nipkow
Referenced in: 4 Publications (2016–2017)
Related Software: Isabelle/HOL; pGCL; MRMC; HOL; CAVA LTL Modelchecker; Density Compiler; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MathLang

Software Authors:   Kamareddine, F., Maarek, M., Wells, J.
Referenced in: 4 Publications (2004–2008)
Related Software: Mizar; Automath; XPath; XQuery; TeXmacs; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ModuRes

Software Authors:   Sieczkowski, Filip; Bizjak, Aleš; Birkedal, Lars
Referenced in: 4 Publications (2015–2020)
Related Software: Coq; Kami; Archive Formal Proofs; GitHub; UTPCalc; Circus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Polynomials

Software Authors:   Christian Sternagel, René Thiemann, Alexander Maletzky, Fabian Immler, Florian Haftmann, Andreas Lochbihler, Alexander Bentkamp
Referenced in: 4 Publications (2017–2019)
Related Software: Groebner_Bases; Isabelle/HOL; Deep_Learning; Jordan Normal Forms; HOL; Isabelle; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

Root Balanced Tree

Software Authors:   Tobias Nipkow
Referenced in: 4 Publications (2018–2020)
Related Software: Archive Formal Proofs; HOL; Isabelle/HOL; Isabelle; Amortized Complexity; Coq; …
Main Fields: Number theory (11-XX); Computer science (68-XX)

STEX+

Software Authors:   Andrea Kohlhase; Michael Kohlhase; Christoph Lange
Referenced in: 3 Publications (2010–2011)
Related Software: STEXIDE; SPARQL; MathDox; TNTBase; LaTeXML; Hets; …
Main Fields: Computer science (68-XX)

Superposition Calculus

Software Authors:   Nicolas Peltier
Referenced in: 4 Publications (2018–2020)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; Isabelle/jEdit; HOL; Isar; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BicolanoMT

Software Authors:   Huisman, M., Petri, G.
Referenced in: 3 Publications (2009–2018)
Related Software: Archive Formal Proofs; Jinja Threads; Isabelle/HOL; K Prover; CLDC; Jinja not Java; …
Main Fields: Computer science (68-XX)

Deep_Learning

Software Authors:   Alexander Bentkamp
Referenced in: 3 Publications (2017–2019)
Related Software: Polynomials; Groebner_Bases; Jordan Normal Forms; HOL; Isabelle/HOL; Isabelle; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

Differential_Game_Logic

Software Authors:   André Platzer
Referenced in: 3 Publications (2015–2022)
Related Software: KeYmaera; Transformer semantics; Quantales; KeYmaera X; KAD; Algebraic_VCs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Gauss-Jordan

Software Authors:   Jose Divasón; Jesús Aransay
Referenced in: 3 Publications (2014–2017)
Related Software: Isabelle/HOL; Isabelle; Autoref; Rank Nullity; Archive Formal Proofs; Cayley-Hamilton; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

HOLCF

Software Authors:   Brian Huffman
Referenced in: 3 Publications (2012–2017)
Related Software: Isabelle/HOL; Archive Formal Proofs; Stern-Brocot Tree; MiniAgda; AmiCo; Lifting; …
Main Fields: Computer science (68-XX)

Knuth Bendix Orders

Software Authors:   Heiko Becker; Jasmin Christian Blanchette; Uwe Waldmann; Daniel Wand
Referenced in: 3 Publications (2017–2018)
Related Software: Isar; Isabelle/HOL; Nested Multisets; Lambda Free RPOs; Archive Formal Proofs; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LibMeta

Software Authors:   Ataeva, O. M.; Serebryakov, V. A.
Referenced in: 3 Publications (2019–2021)
Related Software: MathWebSearch
Main Fields: General and overarching topics; collections (00-XX); Partial differential equations (35-XX); Computer science (68-XX)

LogAnswer

Software Authors:   Furbach, Ulrich; Glöckner, Ingo; Helbig, Hermann; Pelzer, Björn
Referenced 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)

Nested Multisets

Software Authors:   Jasmin Christian Blanchette; Mathias Fleury; Dmitriy Traytel
Referenced in: 3 Publications (2017–2020)
Related Software: Isar; Isabelle/HOL; Archive Formal Proofs; Coq; Knuth Bendix Orders; Robinson arithmetic; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Plat-Omega

Software Authors:   Wagner, Marc; Autexier, Serge; Benzmüller, Christoph
Referenced in: 3 Publications (2007–2019)
Related Software: OMDoc; LaTeX; MMTTeX; Mizar; Isabelle; Multi; …
Main Fields: Computer science (68-XX)

Robbins Conjecture

Software Authors:   Matthew Wampler-Doty
Referenced in: 3 Publications (2011–2016)
Related Software: Archive Formal Proofs; SystemOnTPTP; Sledgehammer; z3; Metis_; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SIAS-miner

Software Authors:   Bendimerad, Anes; Mel, Ahmad; Lijffijt, Jefrey; Plantevit, Marc; Robardet, Céline; De Bie, Tijl
Referenced in: 3 Publications (2020–2022)
Related Software: COOMA; gSpan; GraphScope
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Tree Automata

Software Authors:   Peter Lammich
Referenced in: 3 Publications (2012–2019)
Related Software: Archive Formal Proofs; Isabelle/HOL; Light-weight Containers; CeTA; Isabelle; Real_Impl; …
Main Fields: Computer science (68-XX)

Verified Prover

Software Authors:   Tom Ridge
Referenced in: 3 Publications (2009–2018)
Related Software: Archive Formal Proofs; Isabelle/HOL; FOL_Harrison; FOL Fitting; Superposition Calculus; Completeness theorem; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AIRS

Software Authors:   Ostertag, E.; Hendler, J.; Prieto-Diaz, R.; Braun, C.
Referenced in: 1 Publication (2000)
Related Software: Proteus
Main Fields: Computer science (68-XX)

Autosubst

Software Authors:   S. Schäfer, T. Tebbi, G. Smolka
Referenced in: 2 Publications (2015–2016)
Related Software: foetus; OCaml; Why3; Haskell; Coq; LNgen; …
Main Fields: Computer science (68-XX)

AVL trees

Software Authors:   Nipkow, T., Kunčar, O., Pusch, C.
Referenced in: 2 Publications (2009–2016)
Related Software: Archive Formal Proofs; HOL; Isabelle/HOL; Isabelle; Amortized Complexity; Splay Tree; …
Main Fields: Computer science (68-XX)

CAVA Automata Library

Software Authors:   Peter Lammich
Referenced in: 2 Publications (2018–2019)
Related Software: Gabow SCC; CAVA LTL Modelchecker; Archive Formal Proofs; CAVA; Isabelle/HOL; Isabelle; …
Main Fields: Computer science (68-XX)

Constructive Proof FLP

Software Authors:   Bisping, Benjamin; Brodmann, Paul-David; Jungnickel, Tim; Rickmann, Christina; Seidler, Henning; Stüber, Anke; Wilhelm-Weidner, Arno; Peters, Kirstin; Nestmann, Uwe
Referenced in: 2 Publications (2016–2018)
Related Software: Archive Formal Proofs; Chapar; Verdi; CVC4; z3; Locales; …
Main Fields: Computer science (68-XX)

Datatype Order Generator

Software Authors:   René Thiemann
Referenced in: 2 Publications (2013–2022)
Related Software: Isabelle/HOL; Isabelle; Logoot; Wooki; woot-haskell; wootjs; …
Main Fields: Computer science (68-XX)

Decreasing Diagrams

Software Authors:   Harald Zankl
Referenced in: 2 Publications (2015)
Related Software: Archive Formal Proofs; CSI
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Epistemic Logic

Software Authors:   Asta Halkjær From
Referenced in: 2 Publications (2021)
Related Software: Archive Formal Proofs; FOL Fitting; SQEMA; Sledgehammer; HOL; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

idris-ct

Software Authors:   Genovese, Fabrizio; Gryzlov, Alex; Herold, Jelle; Knispel, Andre; Perone, Marco; Post, Erik; Videla, André
Referenced in: 2 Publications (2020–2021)
Related Software: Statebox; CQL; PowerPoint; GitHub; Idris; Irdis; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

IMP2_Binary_Heap

Software Authors:   Simon Griebel
Referenced in: 2 Publications (2008–2013)
Related Software: MCSTL; Concorde; COMET
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

LLL Factorization

Software Authors:   Jose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada
Referenced in: 2 Publications (2018–2020)
Related Software: Isabelle/HOL; Verified LLL; Berlekamp Zassenhaus; HOL; Isabelle; Root Balanced Tree; …
Main Fields: Number theory (11-XX); Computer science (68-XX)

Metamath Zero

Software Authors:   Carneiro, Mario
Referenced in: 2 Publications (2020–2021)
Related Software: CakeML; HOL Light; Isabelle/HOL; Coq; Elf; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OPTool

Software Authors:   Daniel Silvestre
Referenced in: 0 Publications
Related Software: GenConstraint; GPflowOpt; BayesianOptimization; DEAP; SciPy; Scikit; …
Main Fields:

Ordered_Resolution_Prover

Software Authors:   Anders Schlichtkrull; Jasmin Christian Blanchette; Dmitriy Traytel; Uwe Waldmann
Referenced in: 2 Publications (2001–2020)
Related Software: Robinson arithmetic; Saturation_Framework; Nested Multisets; AVATAR; Logtk; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RISCAL

Software Authors:   Schreiner, Wolfgang
Referenced in: 2 Publications (2018)
Related Software: Nitpick; MathChat; CoqHammer; MathTools; Aligator.jl; OMDoc; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Robinson arithmetic

Software Authors:   Popescu, A., Traytel, D.
Referenced in: 2 Publications (2020–2021)
Related Software: Archive Formal Proofs; Locales; Isabelle/HOL; Coq; GitHub; Eisbach; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RoutingLib

Software Authors:   Zmigrod, Ran; Daggitt, Matthew L.; Griffin, Timothy G.
Referenced in: 2 Publications (2018–2020)
Related Software: Agda; GitHub
Main Fields: Computer science (68-XX)

TURBO

Software Authors:   Belotserkovskaya, M.S.; Pronina, A.P.; Fortova, S.V.; Shepelev, V.V.
Referenced in: 2 Publications (2016–2018)
Related Software: TURBO1
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

Tycon

Software Authors:   Brian Huffman
Referenced in: 2 Publications (2012–2019)
Related Software: Density Compiler; Monomorphic Monad; Zoo Probabilistic Systems; Lifting; Transfer; Locales; …
Main Fields: Computer science (68-XX)

Verified LLL

Software Authors:   Ralph Bottesch, Jose Divasón, Maximilian Haslbeck, Sebastiaan Joosten, René Thiemann, Akihisa Yamada
Referenced in: 2 Publications (2018–2020)
Related Software: Isabelle/HOL; LLL Factorization; Berlekamp Zassenhaus; HOL; Isabelle; Root Balanced Tree; …
Main Fields: Number theory (11-XX); Computer science (68-XX)

YAKKER

Software Authors:   Jim, Trevor; Mandelbaum, Yitzhak; Walker, David
Referenced in: 2 Publications (2010–2011)
Related Software: PADS; OCaml; dypgen; Haskell
Main Fields: Computer science (68-XX)

ACDP

Software Authors:   Naumann, Uwe
Referenced in: 1 Publication (2019)
Related Software: dco/c++; OpenAD/F; TAPENADE; ADIFOR; revolve; ADOL-C
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Affine Arithmetic

Software Authors:   Fabian Immler
Referenced in: 1 Publication (2018)
Related Software: Autoref; RODES; Ordinary Differential Equations; Dictionary Construction; Archive Formal Proofs; Refinement Monadic; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

ANONIZE

Software Authors:   Hohenberger, S., Myers, S., Pass, R., Shelat, A.
Referenced in: 1 Publication (2017)
Related Software: ZKBoo
Main Fields: Information and communication theory, circuits (94-XX)

CakeML_Codegen

Software Authors:   Lars Hupel
Referenced in: 1 Publication (2018)
Related Software: Nominal2; Haskell Show Class; Archive Formal Proofs; Pilsner; CakeML; HOL; …
Main Fields: Computer science (68-XX)

Celer

Software Authors:   Nicoletta De Francesco; Giuseppe Lettieri; Luca Martini
Referenced in: 1 Publication (2012)
Related Software: Pedcheck
Main Fields: Computer science (68-XX)

clock synchronization

Software Authors:   Alwen Tiu
Referenced in: 1 Publication (2007)
Related Software: Schneider clock synchronization; Archive Formal Proofs; Calife; PROSPER; CVC Lite; HOL Light; …
Main Fields: Computer science (68-XX)

Complex_Geometry

Software Authors:   Filip Marić, Danijela Simić
Referenced in: 1 Publication (2021)
Related Software: Poincare_Disc; GeoCoq; Archive Formal Proofs; Lifting; Transfer; Isabelle/Isar; …
Main Fields: Computer science (68-XX)

Deriving class

Software Authors:   Christian Sternagel; René Thiemann
Referenced in: 1 Publication (2017)
Related Software: Kodkod; Nested Multisets; Abstract Completeness; Knuth Bendix Orders; Markov Models; Jinja Threads; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Dynamic Architectures

Software Authors:   Diego Marmsoler
Referenced in: 1 Publication (2019)
Related Software: Architectural_Design_Patterns; FACTum; Archive Formal Proofs; Coinductive; Xtext; FDR3; …
Main Fields: Computer science (68-XX)

eCots

Software Authors:   Mielnik, Jean-Christophe; Lang, Bernard; Laurière, Stéphane; Schlosser, Jean-Georges; Bouthors, Vincent
Referenced in: 1 Publication (2003)
Related Software:
Main Fields: Computer science (68-XX)

Efficient Mergesort

Software Authors:   Christian Sternagel
Referenced in: 1 Publication (2013)
Related Software: Archive Formal Proofs; CeTA; Isabelle/HOL; ML; Coq
Main Fields: Computer science (68-XX)

Flow Networks

Software Authors:   Peter Lammich; S. Reza Sefidgar
Referenced in: 1 Publication (2019)
Related Software: WhyML; Prpu_Maxflow; Gabow SCC; Archive Formal Proofs; Amortized Complexity; Refinement Monadic; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FoCaL

Software Authors:   Rioboo, Renaud
Referenced in: 1 Publication (2009)
Related Software: OpenAxiom; Zenon; C-CoRN; MetaPRL; PVS; Isabelle/HOL; …
Main Fields: General algebraic systems (08-XX); Computer science (68-XX)