×

Found 174 Software Packages (Results 1–100)

Isabelle/HOL

Software Authors:   Naraschewski, Wolfgang; Nipkow, Tobias
Cited 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
Cited 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)

Archive Formal Proofs

Software Authors:   Blanchette, Jasmin Christian; Haslbeck, Maximilian; Matichuk, Daniel; Nipkow, Tobias
Cited in: 188 Publications (1963–2022)
Related Software: Isabelle/HOL; Isabelle; Coq; HOL; Sledgehammer; Mizar; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

Isar

Software Authors:   Makarius Wenzel
Cited in: 143 Publications (2000–2021)
Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-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)

Isabelle/Isar

Software Authors:   Markus Wenzel et. al.
Cited in: 95 Publications (2002–2021)
Related Software: Isabelle; Isabelle/HOL; Isar; Coq; HOL; Mizar; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

Nominal Isabelle

Software Authors:   Urban, Christian; Kaliszyk, Cezary
Cited in: 77 Publications (2005–2022)
Related Software: Isabelle/HOL; PoplMark; Isabelle; Coq; Twelf; Abella; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Isabelle/ZF

Software Authors:   Lawrence C. Paulson
Cited 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)

Nitpick

Software Authors:   Blanchette, Jasmin Christian; Nipkow, Tobias
Cited in: 64 Publications (1999–2022)
Related Software: Isabelle/HOL; Sledgehammer; Isabelle; Coq; TPTP; HOL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Proof General

Software Authors:   Aspinall, David
Cited in: 50 Publications (2000–2019)
Related Software: Coq; Isabelle; Isabelle/HOL; Mizar; Isar; Isabelle/jEdit; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Partial differential equations (35-XX)

CeTA

Software Authors:   Thiemann, René; Sternagel, Christian
Cited in: 45 Publications (2009–2021)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; CoLoR; AProVE; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-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)

Isabelle/jEdit

Software Authors:   Wenzel, Makarius
Cited in: 34 Publications (2011–2022)
Related Software: Isabelle; Isabelle/HOL; Coq; Proof General; PIDE; Archive Formal Proofs; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Ott

Software Authors:   Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok
Cited in: 33 Publications (2007–2021)
Related Software: Coq; Isabelle/HOL; Nominal Isabelle; Isabelle; Twelf; PoplMark; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

IsaPlanner

Software Authors:   Lucas Dixon; Moa Johansson
Cited in: 30 Publications (2000–2021)
Related Software: Isabelle; Lambda-Clam; Isabelle/HOL; Coq; Isar; Theorema; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Lifting

Software Authors:   Brian Huffman, Ondřej Kunčar
Cited in: 30 Publications (2013–2022)
Related Software: Transfer; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Transfer

Software Authors:   Brian Huffman, Ondřej Kunčar
Cited in: 30 Publications (2013–2022)
Related Software: Lifting; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

CCSL

Software Authors:   Jan Rothe, Bart Jacobs, and Hendrik Tews
Cited in: 24 Publications (2001–2015)
Related Software: PVS; CoCasl; CASL; Haskell; OCaml; GenCCSL; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-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)

HYBRID

Software Authors:   Hybrid Group
Cited in: 18 Publications (2012–2021)
Related Software: Twelf; Coq; PoplMark; Abella; Nominal Isabelle; Beluga; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

CAVA LTL Modelchecker

Software Authors:   Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf; Jan-Georg Smaus
Cited in: 16 Publications (2015–2021)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; HOL; seL4; CakeML; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Probability theory and stochastic processes (60-XX)

CSP-prover

Software Authors:   Isobe, Yoshinao; Roggenbach, Markus
Cited in: 17 Publications (2005–2022)
Related Software: PVS; Isabelle/HOL; FDR2; Z; CASL; PAT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Isabelle/UTP

Software Authors:   Foster, Simon; Zeyda, Frank; Woodcock, Jim
Cited in: 17 Publications (2015–2021)
Related Software: Circus; Z; Isabelle/HOL; Archive Formal Proofs; Sledgehammer; Isabelle; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

Autoref

Software Authors:   Lammich, Peter
Cited in: 15 Publications (2013–2022)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; Lifting; Transfer; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-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)

Isabelle/Circus

Software Authors:   Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Cited in: 12 Publications (2013–2017)
Related Software: Isabelle/HOL; ProofPower; Isabelle; Circus; Sledgehammer; Isabelle/UTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Isabelle/PIDE

Software Authors:   Makarius Wenzel; Burkhart Wolff
Cited in: 13 Publications (2012–2020)
Related Software: Coq; Isabelle; Isabelle/jEdit; Proof General; Isabelle/HOL; PIDE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Diamant toolbox

Software Authors:   Koutsawa, Yao; Charpentier, Isabelle; Daya, El Mostafa; Cherkaoui, Mohammed
Cited in: 12 Publications (2008–2019)
Related Software: ADOL-C; Rapsodia; AD01; Cosy; ADiMat; MAD; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX)

PIDE

Software Authors:   Wenzel, Makarius
Cited in: 12 Publications (2012–2022)
Related Software: Isabelle/jEdit; Coq; Sledgehammer; Isabelle/HOL; Proof General; Isabelle/Isar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Rabinizer

Software Authors:   Gaiser A, Křetínský J, Esparza J
Cited in: 12 Publications (2012–2021)
Related Software: PRISM; ltl2dstar; SPOT; LTL2BA; TTM; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Zeno

Software Authors:   Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan
Cited in: 12 Publications (2012–2021)
Related Software: SMT-LIB; HipSpec; CVC4; VAMPIRE; Dafny; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

beadarray

Software Authors:   Dunning, Mark J.; Thorne, Natalie P.; Camilier, Isabelle; Smith, Michael L.; Tavar'e, Simon
Cited in: 3 Publications (2006–2012)
Related Software: R; Bioconductor; lumi; limma; edgeR; beadarrayExampleData; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

HOL-Z

Software Authors:   Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart
Cited in: 5 Publications (2005–2011)
Related Software: Z; HOL; Isabelle/HOL; Circus; csp2B; VPM; …
Main Fields: 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)

Poly/ML

Software Authors:   David Matthews
Cited in: 10 Publications (2011–2020)
Related Software: Isabelle; Isabelle/HOL; HOL; CakeML; kepler98; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

Psi-calculi

Software Authors:   Jesper Bengtson
Cited in: 11 Publications (2009–2020)
Related Software: Nominal Isabelle; Isabelle/HOL; Twelf; Isabelle; PoplMark; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HOL-TestGen

Software Authors:   Achim D. Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias P. Krieger, Delphine Longuet, Yakoub Nemouchi, Frédéric Tuong, Burkhart Wolff
Cited in: 7 Publications (2007–2020)
Related Software: Isabelle/HOL; ETPS; Korat; UniTESK; margrave; FIREMAN; …
Main Fields: Computer science (68-XX)

Berlekamp Zassenhaus

Software Authors:   Jose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada
Cited 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)

Dijkstra Shortest Path

Software Authors:   Benedikt Nordhoff; Peter Lammich
Cited in: 9 Publications (2014–2019)
Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Separation Logic; Edmonds-Karp; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Eisbach

Software Authors:   Matichuk, Daniel; Wenzel, Makarius; Murray, Toby
Cited in: 9 Publications (2014–2022)
Related Software: Isabelle; Isabelle/HOL; Coq; HOL; Locales; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Gabow SCC

Software Authors:   Peter Lammich
Cited 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)

Presburger Automata

Software Authors:   Berghofer, Stefan; Reiter, Markus
Cited 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)

RALL

Software Authors:   David von Oheimb, Thomas F. Gritzner
Cited in: 9 Publications (1997–2014)
Related Software: Ralf; Isabelle/HOL; ARA; Isabelle; RelView; CoLoR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Amortized Complexity

Software Authors:   Tobias Nipkow
Cited in: 8 Publications (2015–2021)
Related Software: Archive Formal Proofs; HOL; Isabelle/HOL; Isabelle; Coq; Root Balanced Tree; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

CryptHOL

Software Authors:   Basin, D., Lochbihler, A., Sefidgar, S.R.
Cited in: 8 Publications (2017–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; HOL; EasyCrypt; Isabelle; Lifting; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Hipster

Software Authors:   Johansson, Moa; Rosén, Dan; Smallbone, Nicholas; Claessen, Koen
Cited in: 8 Publications (2014–2021)
Related Software: HipSpec; Theorema; QuickCheck; CVC4; QuickSpec; Dafny; …
Main Fields: 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)

Kleene Algebra

Software Authors:   Armstrong, A., Struth, G., Weber, T.
Cited in: 8 Publications (2015–2022)
Related Software: Archive Formal Proofs; Isabelle/HOL; Sledgehammer; Relation Algebra; HOL; RelView; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

VeriML

Software Authors:   Stampoulis, Antonis; Shao, Zhong
Cited in: 8 Publications (2010–2016)
Related Software: Coq; seL4; Mtac; Delphin; ML; Haskell; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Coinductive

Software Authors:   Lochbihler, A.
Cited in: 7 Publications (2014–2021)
Related Software: Isabelle/HOL; Archive Formal Proofs; Coq; Isabelle; HOL; Isar; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Density Compiler

Software Authors:   Manuel Eberl, Johannes Hölzl, Tobias Nipkow
Cited in: 7 Publications (2015–2022)
Related Software: Isabelle/HOL; HOL; Archive Formal Proofs; Isabelle; Lifting; Transfer; …
Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Edmonds-Karp

Software Authors:   Lammich, Peter; Sefidgar, S. Reza
Cited 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)

GoedelGod

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

Zoo Probabilistic Systems

Software Authors:   Johannes Hölzl, Andreas Lochbihler, Dmitriy Traytel
Cited in: 7 Publications (2015–2020)
Related Software: Isabelle/HOL; Lifting; Transfer; HOL; Locales; Isabelle; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AUTO2

Software Authors:   Zhan, Bohua
Cited 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)

Ergo 6

Software Authors:   Utting, Mark; Robinson, Peter; Nickson, Ray
Cited in: 6 Publications (1997–2003)
Related Software: Qu-Prolog; CADP; Salsa; Maude; E-LOTOS; PVS; …
Main Fields: Computer science (68-XX)

FOL Fitting

Software Authors:   Stefan Berghofer; Andreas Halkjær From
Cited 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)

Hereditarily Finite Sets

Software Authors:   Lawrence C. Paulson
Cited in: 6 Publications (2015–2020)
Related Software: Finite Automata HF; Coq; Coq/SSReflect; Myhill-Nerode; MSO_Regex_Equivalence; Presburger Automata; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

IsaFoR

Software Authors:   Krauss, Alexander; Sternagel, Christian; Thiemann, René; Fuhs, Carsten; Giesl, Jürgen
Cited in: 4 Publications (2011–2016)
Related Software: Isabelle/HOL; CeTA; CoLoR; Isabelle; Coq; Tyrolean; …
Main Fields: Computer science (68-XX)

Refinement Monadic

Software Authors:   Peter Lammich
Cited in: 6 Publications (2014–2019)
Related Software: Archive Formal Proofs; Isabelle/HOL; Gabow SCC; Isabelle; HOL; Collections; …
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Numerical analysis (65-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)

AmiCo

Software Authors:   Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy
Cited in: 5 Publications (2017–2020)
Related Software: HOL; Isabelle/HOL; Lean; Agda; Coq; Archive Formal Proofs; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

FinFuns

Software Authors:   Lochbihler, Andreas
Cited in: 5 Publications (2009–2017)
Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Nominal Isabelle; Jinja Threads; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

Program-Conflict-Analysis

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

Stone Algebras

Software Authors:   Guttmann, Walter
Cited in: 5 Publications (2017–2021)
Related Software: Sledgehammer; HOL; Isabelle/HOL; Isabelle; Kleene Algebra; Relation Algebra; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

AODV

Software Authors:   Timothy Bourke; Peter Höfner
Cited in: 4 Publications (2014–2016)
Related Software: HOL/SPIN; Isabelle/Circus; Isabelle/HOL; mCRL; wRebeca; ACTLW; …
Main Fields: Computer science (68-XX)

CLOP

Software Authors:   Isabelle Guyon
Cited in: 4 Publications (2006–2019)
Related Software: GSML; Boruta; UCI-ml; MXM; LIBSVM; SVM Toolbox; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

Collections

Software Authors:   Peter Lammich, Andreas Lochbihler, Thomas Tuerk
Cited in: 4 Publications (2012–2019)
Related Software: Archive Formal Proofs; Isabelle/HOL; Gabow SCC; Refinement Monadic; Isabelle; Imperative Refinement; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

IsaFoL

Software Authors:   Blanchette, J.C., Fleury, M., Schlichtkrull, A., Traytel, D.
Cited 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
Cited 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)

Lem

Software Authors:   Mulligan, Dominic P.; Owens, Scott; Gray, Kathryn E.; Ridge, Tom; Sewell, Peter
Cited in: 3 Publications (2011–2021)
Related Software: Isabelle/HOL; Coq; ACL2; HOL Light; HOL; Ott; …
Main Fields: Computer science (68-XX)

Light-weight Containers

Software Authors:   Andreas Lochbihler
Cited in: 4 Publications (2013–2019)
Related Software: Isabelle/HOL; Isabelle; Tree Automata; Archive Formal Proofs; CeTA; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Markov Models

Software Authors:   Johannes Hölzl; Tobias Nipkow
Cited 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)

Root Balanced Tree

Software Authors:   Tobias Nipkow
Cited 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)

Arbogast

Software Authors:   Charpentier, Isabelle; Gustedt, Jens
Cited in: 3 Publications (2018–2019)
Related Software: DLMF; Algorithm 916; HOAD_MathFun; Rapsodia; Cosy; EISPACK; …
Main Fields: Real functions (26-XX); Functions of a complex variable (30-XX); Special functions (33-XX)

AutoCorres

Software Authors:   Trustworthy Systems Group
Cited in: 2 Publications (2015–2017)
Related Software: LEDA; CAVA LTL Modelchecker; NASA PVS; Graph Theory; Tame Graphs; Dijkstra Shortest Path; …
Main Fields: Combinatorics (05-XX)

CoSMed

Software Authors:   Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
Cited in: 3 Publications (2016–2021)
Related Software: FlowFox; CAVA LTL Modelchecker; Ur/Web; Jif; seL4; CakeML; …
Main Fields: Computer science (68-XX)

Deep_Learning

Software Authors:   Alexander Bentkamp
Cited 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)

Depth First Search

Software Authors:   Toshiaki Nishihara; Yasuhiko Minamide
Cited in: 3 Publications (2008–2010)
Related Software: Archive Formal Proofs; Presburger Automata; HOL; Isabelle/HOL; ML; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

flexrsurv

Software Authors:   Isabelle Clerc-Urmès, Michel Grzebyk, Guy Hédelin
Cited in: 2 Publications (2021)
Related Software: relsurv; R; Muhaz; rstpm2; Matlab; Statmod; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

Gauss-Jordan

Software Authors:   Jose Divasón; Jesús Aransay
Cited 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)

heemod

Software Authors:   Antoine Filipovic-Pierucci, Kevin Zarca, Isabelle Durand-Zaleski
Cited in: 0 Publications
Related Software: R; ggplot2; TreeAge; hesim; BCEA; flexsurv; …
Main Fields:

Hotel Key Card

Software Authors:   Nipkow, Tobias
Cited in: 3 Publications (2006–2018)
Related Software: HOL; Nitpick; Isabelle/HOL; Finite Automata HF; Hereditarily Finite Sets; CAVA LTL Modelchecker; …
Main Fields: Mathematical logic and foundations (03-XX); 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)

Imperative Refinement

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

IsaMorph

Software Authors:   B. Klemens; Achim D. Brucker
Cited in: 3 Publications (2009–2018)
Related Software: Apophenia; molsturm; CRYSCOR; SIMPL; reszeta.lib; PDEtools; …
Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

IsarMathLib

Software Authors:   –
Cited in: 3 Publications (2017–2021)
Related Software: Metamath; Mizar; Isabelle/ZF; AUTO2; Isabelle; Lifting; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); Computer science (68-XX)

Knuth Bendix Orders

Software Authors:   Heiko Becker; Jasmin Christian Blanchette; Uwe Waldmann; Daniel Wand
Cited 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)

MadMax

Software Authors:   Winkler, Sarah; Moser, Georg
Cited in: 3 Publications (2018–2021)
Related Software: TPTP; E Theorem Prover; VAMPIRE; Twee; Waldmeister; iProver; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Nested Multisets

Software Authors:   Jasmin Christian Blanchette; Mathias Fleury; Dmitriy Traytel
Cited 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)

PLM

Software Authors:   Daniel Kirchner
Cited in: 3 Publications (2020)
Related Software: Isabelle/HOL; LogiKEy; LegalRuleML; embed_modal; Leo-III; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Regular_Algebras

Software Authors:   Simon Foster; Georg Struth
Cited in: 3 Publications (2015–2016)
Related Software: Sledgehammer; Isabelle/HOL; TRAMP; Flyspeck; PRocH; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Tree Automata

Software Authors:   Peter Lammich
Cited 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
Cited 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)

VeriPhy

Software Authors:   Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer
Cited in: 3 Publications (2018–2021)
Related Software: KeYmaera; Coq; KeYmaera X; ModelPlex; Bellerophon; dReach; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Well Quasi Orders

Software Authors:   Christian Sternagel
Cited in: 3 Publications (2011–2020)
Related Software: Archive Formal Proofs; CeTA; Isabelle/HOL; Decreasing Diagrams II; Isabelle; Open Induction; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CAVA

Software Authors:   Julian Brunner; Peter Lammich; et.al.
Cited in: 2 Publications (2018–2019)
Related Software: Gabow SCC; CAVA LTL Modelchecker; Archive Formal Proofs; CAVA Automata Library; Isabelle/HOL; Isabelle; …
Main Fields: Computer science (68-XX)

Certification_Monads

Software Authors:   Christian Sternagel; René Thiemann
Cited in: 2 Publications (2015–2022)
Related Software: Archive Formal Proofs; Isabelle/HOL; Logoot; Wooki; woot-haskell; wootjs; …
Main Fields: Computer science (68-XX)

Clide

Software Authors:   Christoph Lüth; Martin Ring
Cited in: 2 Publications (2013–2014)
Related Software: Isabelle/jEdit; Proof General; Isabelle; Mizar; Isabelle/HOL; jEdit
Main Fields: Computer science (68-XX)

Cofinitary Group

Software Authors:   Bart Kastermans
Cited in: 2 Publications (2009)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX)