Coq Cited in 1,874 Documents (1993–2023) 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); …
Nuprl Cited in 407 Documents (1986–2022) Software Authors: R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, S. F. Smith Related Software: Coq; HOL; Automath; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …
HOL Light Cited in 314 Documents (1998–2023) 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); …
Isar Cited in 149 Documents (2000–2023) Software Authors: Makarius Wenzel Related Software: Isabelle; Isabelle/HOL; Coq; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …
TPS Cited in 77 Documents (1990–2022) Software Authors: Andrews, Peter B.; Brown, Chad E. Related Software: TPTP; ETPS; HOL; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX); …
MPTP 0.2 Cited in 55 Documents (2006–2021) Software Authors: Urban, Josef Related Software: Mizar; VAMPIRE; E Theorem Prover; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Ott Cited in 33 Documents (2007–2021) Software Authors: Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok Related Software: Coq; Isabelle/HOL; Nominal Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
HOLyHammer Cited in 31 Documents (2014–2022) Software Authors: Kaliszyk, Cezary; Urban, Josef Related Software: HOL Light; VAMPIRE; Flyspeck; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)
Essence Cited in 26 Documents (2008–2023) Software Authors: Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian Related Software: MiniZinc; Zinc; ESRA; … Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX); …
QMT Cited in 22 Documents (2012–2022) Software Authors: Rabe, Florian Related Software: MMT; Mizar; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LPL software Cited in 17 Documents (2000–2020) Software Authors: Dave Barker-Plummer, Jon Barwise, John Etchemendy; Albert Liu, Michael Murray, Emma Pease Related Software: EPGY; REDUCE; OTTER; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX); …
ToscanaJ Cited in 17 Documents (2004–2011) Software Authors: Becker, Peter; Correia, Joachim Hereth Related Software: Galicia; ConImp; JGraph; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); …
LATIN Cited in 17 Documents (2011–2021) Software Authors: Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian Related Software: MMT; Isabelle; OMDoc; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
MBase Cited in 17 Documents (1999–2006) Software Authors: Franke, Andreas; Kohlhase, Michael Related Software: TPS; OMEGA; Nuprl; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mathematics education (97-XX)
Isabelle/PIDE Cited in 14 Documents (2012–2020) Software Authors: Makarius Wenzel; Burkhart Wolff Related Software: Coq; Isabelle; Isabelle/jEdit; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
Naproche Cited in 12 Documents (2010–2021) Software Authors: Cramer, M., Koepke, P., Schröder, B. Related Software: Mizar; ForTheL; E Theorem Prover; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
CZT Cited in 6 Documents (2008–2012) Software Authors: Community Z Tools Project Related Software: Z; Circus; SPIN; … Main Fields: Computer science (68-XX)
VPM Cited in 4 Documents (2005–2007) Software Authors: Dániel Varró, András Pataricza Related Software: VIATRA2; PROGRES; AGG; … Main Fields: Computer science (68-XX)
mathlib Cited in 10 Documents (2020–2022) Software Authors: van Doorn, Floris; Ebner, Gabriel; Lewis, Robert Y.; The mathlib Community Related Software: Lean; Coq; PVS; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
MathScheme Cited in 9 Documents (2011–2021) Software Authors: Carette, Jacques; Farmer, William M.; O’Connor, Russell Related Software: Coq; HOL Light; Theorema; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); …
Proviola Cited in 8 Documents (2010–2016) Software Authors: Tankink, Carst; Geuvers, Herman; McKinna, James; Wiedijk, Freek Related Software: Coq; Proof General; Isabelle; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Z2sal Cited in 5 Documents (2008–2012) Software Authors: J Derrick, S North, A J H Simons Related Software: SPIN; Z; Z/EVES; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
CoqJVM Cited in 4 Documents (2008–2021) Software Authors: The Coq development team, CNRS, INRIA and Université Paris Sud Related Software: Isabelle/HOL; HOL; TSL; … Main Fields: Computer science (68-XX)
DREAM Tool Cited in 2 Documents (2006–2013) Software Authors: Gabor Madl Related Software: HyTech; IF-2.0; Kronos; … Main Fields: Computer science (68-XX)
HOLCF Cited in 3 Documents (2012–2017) Software Authors: Brian Huffman Related Software: Isabelle/HOL; Matita; HOL; … Main Fields: Computer science (68-XX)
Metamath Zero Cited in 3 Documents (2020–2023) Software Authors: Carneiro, Mario Related Software: CakeML; Isabelle/HOL; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GIS-EEDB Cited in 2 Documents (2013–2015) Software Authors: Kalinnikov, I.I.; Mikheeva, A.V. Related Software: – Main Fields: Computer science (68-XX); Geophysics (86-XX)
Metatheory.jl Cited in 1 Document (2022) Software Authors: Alessandro Cheli Related Software: ModelingToolkit.jl; SymPy; SymbolicNumericIntegration.jl; … Main Fields: Computer science (68-XX)
MMTTeX Cited in 2 Documents (2019) Software Authors: Rabe, Florian Related Software: Isabelle; LaTeX; Plat-Omega; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Russell Cited in 2 Documents (2011–2020) Software Authors: Vlasov, D.Yu. Related Software: Metamath; GitHub; Smm Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Smm Cited in 2 Documents (2011–2012) Software Authors: Vlasov, D.Yu. Related Software: Metamath; Russell Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ACVisualizer Cited in 1 Document (2008) Software Authors: Ahmad, Raheel; Rahimi, Shahram Related Software: CLIPS; MWB Main Fields: Computer science (68-XX)
Galois Field Arithmetic Library Cited in 1 Document (2011) Software Authors: Arash Partow Related Software: CRYPTALL; CRYPTIM Main Fields: Combinatorics (05-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Logipedia Cited in 1 Document (2019) Software Authors: Dowek, G., Thiré, F. Related Software: Matita; SerAPI; CoqHammer; … Main Fields: Computer science (68-XX)