Coq Cited in 2,035 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,427 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 853 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); …
Isabelle Cited in 756 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); …
PVS Cited in 630 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); …
HOL Cited in 623 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); …
Nuprl Cited in 425 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); …
HOL Light Cited in 330 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 305 Documents (1998–2024) Software Authors: Kaufmann, Matt; Moore, Strother Related Software: Isabelle/HOL; Coq; PVS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); …
Z Cited in 246 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 293 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 277 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); …
Agda Cited in 255 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); …
kepler98 Cited in 248 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); …
UNITY Cited in 188 Documents (1988–2023) Software Authors: Chandy, K. Mani; Misra, Jayadev Related Software: NQTHM; HOL; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
NQTHM Cited in 150 Documents (1979–2022) Software Authors: Boyer, Robert S.; Moore, J. Strother Related Software: HOL; ACL2; Coq; … 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); …
Flyspeck Cited in 135 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); …
LISP Cited in 120 Documents (1960–2024) Software Authors: McCarthy, John Related Software: ACL2; NQTHM; Haskell; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-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); …
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); …
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); …
Lifting Cited in 44 Documents (2013–2024) 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 44 Documents (2013–2024) 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); …
BuDDy Cited in 26 Documents (1999–2023) Software Authors: Lind-Nielsen, Jorn Related Software: CUDD; Sylvan; PolyBoRi; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Computer science (68-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); …
Caml Cited in 9 Documents (1993–2021) Software Authors: INRIA Related Software: OCaml; ACL2; Python; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX); …