×

Found 89 Software Packages (Results 1–89)

GitHub

Cited in 5,223 Documents (2010–2024)
Software Authors: github
Related Software: R; Adam; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

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); …

Haskell

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

z3

Cited in 789 Documents (2001–2024)
Software Authors: Research, Microsoft; Moura, Leonardo de; Bjørner, Nikolaj
Related Software: CVC4; SMT-LIB; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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); …

Maude

Cited in 656 Documents (1984–2024)
Software Authors: Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Maude team
Related Software: CafeOBJ; OBJ3; ELAN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …

PVS

Cited in 626 Documents (1993–2023)
Software Authors: Owre, Sam; Shankar, Natarajan; Rushby, John
Related Software: Coq; Isabelle/HOL; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …

MiniSat

Cited in 596 Documents (2003–2024)
Software Authors: Eén, Niklas; Sörensson, Niklas
Related Software: Chaff; z3; BerkMin; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-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); …

TPTP

Cited in 429 Documents (1994–2024)
Software Authors: Sutcliffe, Geoff; Suttner, Christian
Related Software: VAMPIRE; E Theorem Prover; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …

Nuprl

Cited in 421 Documents (1986–2023)
Software Authors: Constable, R. L.; Allen, S. F.; Bromley, H. M.; Cleaveland, W. R.; Cremer, J. F.; Harper, R. W.; Howe, D. J.; Knoblock, T. B.; Mendler, N. P.; Panangaden, P.; Sasaki, J. T.; Smith, S. F.
Related Software: Coq; HOL; Automath; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …

OTTER

Cited in 331 Documents (1988–2023)
Software Authors: Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel
Related Software: TPTP; VAMPIRE; SPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-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); …

Z

Cited in 241 Documents (1958–2024)
Software Authors: Woodcock, Jim; Davies, Jim
Related Software: Circus; Isabelle/HOL; Rodin; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-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); …

ALGOL 68

Cited in 280 Documents (1969–2019)
Software Authors: van Wijngaarden, A. Author Profile; Mailloux, B.J.; Peck, J.E.L.; Koster, C.H.A.; Sintzoff, M.; Lindsey, C.H.; Meertens, L.G.L.T.; Fisker, R.G.
Related Software: ALGOL 60; Simula 67; Ada95; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

LEDA

Cited in 270 Documents (1990–2024)
Software Authors: Mehlhorn, Kurt; Näher, Stefan
Related Software: CGAL; CPLEX; Boost; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Mace4

Cited in 252 Documents (1995–2024)
Software Authors: McCune, William
Related Software: Prover9; OTTER; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …

Agda

Cited in 248 Documents (1999–2024)
Software Authors: Norell, Ulf
Related Software: Coq; Isabelle/HOL; Haskell; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …

SMT-LIB

Cited in 227 Documents (2004–2024)
Software Authors: Barrett, Clark; de Moura, Leonardo; Ranise, Silvio; Stump, Aaron; Tinelli, Cesare
Related Software: z3; CVC4; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-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); …

E Theorem Prover

Cited in 233 Documents (2001–2023)
Software Authors: Schulz, Stephan
Related Software: VAMPIRE; TPTP; SPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX); …

Prover9

Cited in 231 Documents (2006–2024)
Software Authors: McCune, William
Related Software: Mace4; OTTER; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX); …

CVC4

Cited in 208 Documents (2013–2024)
Software Authors: Barrett, C.; Conway, C.L.; Deters, M.; Hadarean, L.; Jovanović, D.; King, T.; Reynolds, A.; Tinelli, C.
Related Software: z3; SMT-LIB; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX); …

SPASS

Cited in 208 Documents (1996–2023)
Software Authors: Weidenbach, C; Brahm, U; Hillenbrand, T
Related Software: VAMPIRE; TPTP; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …

Pesca

Cited in 205 Documents (2001–2024)
Software Authors: Ranta, Aarne
Related Software: MiniML; Coq; Isabelle; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …

UNITY

Cited in 184 Documents (1988–2021)
Software Authors: Chandy, K. Mani; Misra, Jayadev
Related Software: NQTHM; PVS; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

CafeOBJ

Cited in 167 Documents (1997–2023)
Software Authors: Mori, Akira; Futatsugi, Kokichi
Related Software: Maude; OBJ3; CASL; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Algebraic geometry (14-XX); …

NQTHM

Cited in 149 Documents (1979–2022)
Software Authors: Boyer, Robert S.; Moore, J. Strother
Related Software: HOL; ACL2; PVS; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Group theory and generalizations (20-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); …

KANT/KASH

Cited in 159 Documents (1991–2024)
Software Authors: Anita Krahmann, Carolin Just, Claus Fieker, Florian Heß, Jose Mendez, Jürgen Klüners, Marcus Wagner, Michael Pohst, Oliver Voigt, Robert Fraatz, Sebastian Freundt, Sebastian Pauli;Former authors: Andreas Hoppe, Carsten Friedrichs, Georg Baier, Harald Bartel, Hartmut Bauer, Johannes Graf v. Schmettow, Katharina Geißler, Klaus Wildanger, Maike Henningsen, Mario Daberkow, Martin Schörnig, Max Jüntgen KANT group, Institut für Mathematik, Technische Universität Berlin
Related Software: Magma; Maple; PARI/GP; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …

Theorema

Cited in 151 Documents (1997–2022)
Software Authors: Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Windsteiger, Wolfgang; Theorema group at RISC institute at JKU Linz; Austria
Related Software: Coq; Mathematica; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); …

Flyspeck

Cited in 134 Documents (2004–2024)
Software Authors: Hales, Thomas C.; Tankink, Carst; Kaliszyk, Cezary; Urban, Josef; Geuvers, Herman
Related Software: Isabelle/HOL; HOL Light; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-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); …

Scala

Cited in 93 Documents (2005–2024)
Software Authors: Loverdos, Christos K. K.; Syropoulos, Apostolos
Related Software: Coq; z3; Haskell; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-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); …

GHC

Cited in 96 Documents (1992–2021)
Software Authors: Jones, Simon Peyton; Marlow, Simon
Related Software: Haskell; ML; OCaml; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX); …

OMDoc

Cited in 94 Documents (2001–2023)
Software Authors: Kohlhase, Michael
Related Software: MMT; Coq; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); …

RSOLVER

Cited in 78 Documents (2003–2023)
Software Authors: Ratschan, Stefan
Related Software: HSolver; Benchmarks; QEPCAD; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Coq/SSReflect

Cited in 74 Documents (2008–2021)
Software Authors: Center, Microsoft Research-Inria Joint
Related Software: Coq; Isabelle/HOL; Mizar; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX); …

Kenzo

Cited in 73 Documents (2000–2023)
Software Authors: Rubio, Julio; Sergeraert, Francis; Yvon Siret; Xavier Dousson
Related Software: EAT; ACL2; Coq; …
Main Fields: Category theory; homological algebra (18-XX); Group theory and generalizations (20-XX); Algebraic topology (55-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); …

lrs

Cited in 62 Documents (1998–2023)
Software Authors: Avis, David
Related Software: cdd; polymake; Normaliz; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …

MetiTarski

Cited in 58 Documents (2008–2024)
Software Authors: Akbarpour, Behzad; Paulson, Lawrence C.
Related Software: QEPCAD; z3; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-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); …

Waldmeister

Cited in 50 Documents (1999–2022)
Software Authors: Hillenbrand, Thomas; Löchner, Bernd
Related Software: VAMPIRE; TPTP; E Theorem Prover; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-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); …

Z/EVES

Cited in 37 Documents (1998–2021)
Software Authors: Project, Community Z Tools
Related Software: Z; Circus; ProofPower; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-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); …

CiME

Cited in 39 Documents (1996–2022)
Software Authors: Contejean, Évelyne; Marché, Claude; Paskevich, Andrei; Urbain, Xavier
Related Software: AProVE; Tyrolean; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …

UniMath

Cited in 34 Documents (2016–2023)
Software Authors: Voevodsky, V.; Mörtberg, A.; Ahrens, B.; Lelay, C.; Pannila, T.; Matthes, R.
Related Software: GitHub; Coq; cubicaltt; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-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); …

CoqHammer

Cited in 28 Documents (2017–2023)
Software Authors: Czajka, Łukasz; Kaliszyk, Cezary
Related Software: Coq; Isabelle/HOL; E Theorem Prover; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); …

ALDOR

Cited in 26 Documents (1997–2014)
Software Authors: org, aldor.; Bronstein, Manuel
Related Software: AXIOM; Maple; SageMath; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Category theory; homological algebra (18-XX); …

Metamath

Cited in 26 Documents (2003–2023)
Software Authors: Megill, Norman D.
Related Software: Mizar; Isabelle/HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-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); …

Orbital library

Cited in 19 Documents (2008–2024)
Software Authors: Platzer, André
Related Software: z3; KeYmaera; QEPCAD; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

DeepMath

Cited in 17 Documents (2017–2023)
Software Authors: Alemi, Alex A.; Chollet, Francois; Een, Niklas; Irving, Geoffrey; Szegedy, Christian; Urban, Josef
Related Software: E Theorem Prover; Mizar; ENIGMA; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-XX)

Emacs

Cited in 15 Documents (1991–2013)
Software Authors: Schoonover, Michael A.; Bowie, John S.; Arnold, William R.
Related Software: vi; OCaml; Automath; …
Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Computer science (68-XX)

LOUI

Cited in 10 Documents (2002–2023)
Software Authors: Siekmann, J.; Hess, S.; Benzmüller, C.; Cheikhrouhou, L.; Fiedler, A.; Horacek, H.; Kohlhase, M.; Konrad, K.; Meier, A.; Melis, E.; Pollet, M.; Sorge, V.
Related Software: TPTP; Coq; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

OpenGeoProver

Cited in 12 Documents (2015–2023)
Software Authors: Janicic, Predrag; Petrovic, Ivan
Related Software: GCLC; GEX; GeoGebra; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Geometry (51-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); …

NASA PVS

Cited in 8 Documents (2008–2018)
Software Authors: Langley, NASA
Related Software: PVS; Isabelle/HOL; ACL2; …
Main Fields: Combinatorics (05-XX); General algebraic systems (08-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); …

SIROCCO

Cited in 7 Documents (2016–2023)
Software Authors: Marco, Miguel; Rodriguez, Marcos
Related Software: SageMath; GitHub; pss5; …
Main Fields: Algebraic geometry (14-XX); Group theory and generalizations (20-XX); Manifolds and cell complexes (57-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