×

Found 42 Software Packages (Results 1–42)

Coq

Cited in 2,009 Documents (1993–2024)
Software Authors: Dehlinger, Christophe; Dufourd, Jean-François
Related Software: Isabelle/HOL; Isabelle; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …

Isabelle/HOL

Cited in 1,414 Documents (1995–2024)
Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias
Related Software: Coq; Isabelle; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

MathOverflow

Cited in 827 Documents (2010–2024)
Software Authors: Stack Exchange Inc
Related Software: OEIS; SageMath; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …

Isabelle

Cited in 745 Documents (1990–2024)
Software Authors: Paulson, Larry; Nipkow, Tobias; Wenzel, Makarius
Related Software: Isabelle/HOL; HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …

HOL

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

Mizar

Cited in 562 Documents (1983–2024)
Software Authors: Bancerek, Grzegorz; Bylinski, Czeslaw; Grabowski, Adam; Kornilowicz, Artur; Milewski, Robert; Naumowicz, Adam; Trybulec, Andrzej; Urban, Josef
Related Software: Coq; Isabelle/HOL; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …

HOL Light

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

ACL2

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

Archive Formal Proofs

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

OCaml

Cited in 276 Documents (1998–2024)
Software Authors: INRIA; X. Leroy, D. Rémy, J. Vouillon, D. Doligez
Related Software: Coq; Haskell; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); …

kepler98

Cited in 237 Documents (2000–2024)
Software Authors: Hales, Thomas C.; Ferguson, Samuel P.
Related Software: Isabelle/HOL; Flyspeck; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Convex and discrete geometry (52-XX); …

Isar

Cited in 158 Documents (2000–2024)
Software Authors: Wenzel, Makarius
Related Software: Isabelle/HOL; Isabelle; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …

Lean

Cited in 107 Documents (2015–2024)
Software Authors: Microsoft; de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob
Related Software: Coq; Isabelle/HOL; mathlib; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Category theory; homological algebra (18-XX); …

Isabelle/Isar

Cited in 106 Documents (2002–2024)
Software Authors: Wenzel, Markus; et al.
Related Software: Isabelle/HOL; Isabelle; Isar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …

Jordan

Cited in 66 Documents (2007–2022)
Software Authors: Hales, Thomas C.
Related Software: kepler98; HOL Light; Maple; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

Locales

Cited in 54 Documents (1999–2024)
Software Authors: Ballarin, Clemens
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Algebraic geometry (14-XX); …

CeTA

Cited in 49 Documents (2009–2023)
Software Authors: Thiemann, René; Sternagel, Christian
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-XX); …

GNU parallel

Cited in 46 Documents (2016–2024)
Software Authors: Tange, O.
Related Software: GitHub; nauty; Traces; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Lifting

Cited in 42 Documents (2013–2023)
Software Authors: Huffman, Brian; Kunčar, Ondřej
Related Software: Transfer; Isabelle/HOL; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); …

Transfer

Cited in 42 Documents (2013–2023)
Software Authors: Huffman, Brian; Kunčar, Ondřej
Related Software: Lifting; Isabelle/HOL; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); …

APS-1

Cited in 30 Documents (1992–2023)
Software Authors: Letichevskij, A.A.; Krivoj, S.L.
Related Software: APS; Archive Formal Proofs; cubicaltt; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Ordinary differential equations (34-XX); …

mathlib

Cited in 32 Documents (2020–2024)
Software Authors: van Doorn, Floris; Ebner, Gabriel; Lewis, Robert Y.; The mathlib Community
Related Software: Lean; Coq; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX); …

Minlog

Cited in 26 Documents (2001–2023)
Software Authors: Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut; Seisenberger, Monika
Related Software: Coq; Haskell; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); …

Coquelicot

Cited in 24 Documents (2015–2024)
Software Authors: Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
Related Software: Isabelle/HOL; Coq; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Ordinary differential equations (34-XX); …

HoTT

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

Berlekamp Zassenhaus

Cited in 10 Documents (2017–2022)
Software Authors: Divasón, Jose; Joosten, Sebastiaan; Thiemann, René; Yamada, Akihisa
Related Software: Isabelle/HOL; Isabelle; Coq; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

Jordan Normal Forms

Cited in 8 Documents (2016–2024)
Software Authors: Thiemann, René; Yamada, Akihisa
Related Software: Isabelle/HOL; Archive Formal Proofs; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Numerical analysis (65-XX); …

Polynomials

Cited in 6 Documents (2017–2021)
Software Authors: Sternagel, Christian; Thiemann, René; Maletzky, Alexander; Immler, Fabian; Haftmann, Florian; Lochbihler, Andreas; Bentkamp, Alexander
Related Software: Isabelle/HOL; Groebner_Bases; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

Echelon Form

Cited in 5 Documents (2016–2022)
Software Authors: Divasón, Jose; Aransay, Jesús
Related Software: Isabelle/HOL; Isabelle; Transfer; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); …

Deep_Learning

Cited in 4 Documents (2017–2023)
Software Authors: Bentkamp, Alexander
Related Software: Isabelle/HOL; Polynomials; Groebner_Bases; …
Main Fields: Commutative algebra (13-XX); Computer science (68-XX)

Groebner_Bases

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

Cayley-Hamilton

Cited in 3 Documents (2016–2022)
Software Authors: Adelsberger, Stephan; Hetzl, Stefan; Pollak, Florian
Related Software: Isabelle; Transfer; Lifting; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); …

Count Complex Roots

Cited in 2 Documents (2020)
Software Authors: Li, Wenda
Related Software: Archive Formal Proofs; HOL; Isabelle/HOL; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Gaussian_Integers

Cited in 2 Documents (2021–2022)
Software Authors: Eberl, M.
Related Software: mathlib; Minkowskis_Theorem; Lean; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Computer science (68-XX)

Minkowskis_Theorem

Cited in 2 Documents (2021–2022)
Software Authors: Eberl, M.
Related Software: mathlib; Lean; PARI/GP; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Computer science (68-XX)

Sqrt_Babylonian

Cited in 2 Documents (2016–2020)
Software Authors: Thiemann, R.
Related Software: Archive Formal Proofs; Isabelle/HOL; Vector Spaces; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

Vector Spaces

Cited in 2 Documents (2018–2020)
Software Authors: Lee, Holden
Related Software: Berlekamp Zassenhaus; Isabelle/HOL; Sqrt_Babylonian; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Field theory and polynomials (12-XX); …

Hermite

Cited in 1 Document (2022)
Software Authors: Divasón, Jose; Aransay, Jesús
Related Software: Isabelle; Kenzo; Transfer; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

Linear Recurrences

Cited in 1 Document (2020)
Software Authors: Eberl, Manuel
Related Software: Count Complex Roots; Archive Formal Proofs; Berlekamp Zassenhaus; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Modular_arithmetic_LLL_and_HNF_algorithms

Cited in 1 Document (2022)
Software Authors: Bottesch, Ralph; Divasón, Jose; Thiemann, René
Related Software: Isabelle; Kenzo; Transfer; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

Smith_Normal_Form

Cited in 1 Document (2022)
Software Authors: Divasón, Jose
Related Software: Isabelle; Kenzo; Transfer; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

Smooth_Manifolds

Cited in 1 Document (2022)
Software Authors: Immler, Fabian; Zhan, Bohua
Related Software: Isabelle; Kenzo; Transfer; …
Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field