GitHub Cited in 5,808 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,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); …
z3 Cited in 814 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); …
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); …
Maude Cited in 666 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); …
Uppaal Cited in 582 Documents (1990–2024) Software Authors: Uppsala University, Sweden; Aalborg University in Denmark Related Software: Kronos; HyTech; SPIN; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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); …
MiniSat Cited in 603 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); …
Chaff Cited in 572 Documents (2001–2024) Software Authors: Moskewicz, M.; Madigan, C.; Zhao, Y.; Zhang, L.; Malik, S Related Software: MiniSat; BerkMin; SATO; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
TPTP Cited in 430 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); …
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); …
QEPCAD Cited in 302 Documents (1991–2024) Software Authors: Hong, Hoon; Brown, Christopher W. Related Software: REDLOG; Maple; DISCOVERER; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-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); …
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); …
SMT-LIB Cited in 233 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); …
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); …
CVC4 Cited in 214 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); …
GLPK Cited in 200 Documents (2004–2024) Software Authors: Makhorin, Andrew Related Software: CPLEX; Gurobi; AMPL; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
JavaScript Cited in 156 Documents (1996–2024) Software Authors: Flanagan Related Software: Python; PHP; GitHub; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …
REDLOG Cited in 171 Documents (1997–2024) Software Authors: Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker Related Software: QEPCAD; z3; Maple; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX); …
CUDD Cited in 162 Documents (1997–2024) Software Authors: Somenzi, Fabio Related Software: NuSMV; SPIN; PRISM; … 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); …
MiniZinc Cited in 131 Documents (2008–2024) Software Authors: Guido Tack, NICTA / Monash University (with Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Peter Stuckey, Mark Wallace) Related Software: Gecode; CPLEX; CHUFFED; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
PPL Cited in 118 Documents (2002–2024) Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. Related Software: HyTech; Apron; PHAVer; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Bio-PEPA Cited in 98 Documents (2008–2024) Software Authors: Ciocchetta, Federica; Guerriero, Maria Luisa; Galpin, Vashti; Hillston, Jane; Caravagna, Giulio; Clark, Allan; Degasperi, Andrea; Duguid, Adam; Ellavarason, Kanimozhi; Gilmore, Stephen; Loewe, Laurence; Milios, Dimitrios Related Software: PEPA; PRISM; BIOCHAM; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …
Stony Brook Cited in 109 Documents (1997–2024) Software Authors: Skiena, Steven Related Software: UMDES; GP 2; GitHub; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-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; Agda; … 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); …
Sat4j Cited in 91 Documents (2007–2023) Software Authors: Berre, Le; Parrain Related Software: Chaff; QMaxSAT; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
lp_solve Cited in 79 Documents (1996–2023) Software Authors: Berkelaar, M.; Eikland, K.; Notebaert, P. Related Software: lpSolve; R; CPLEX; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Reluplex Cited in 81 Documents (2017–2024) Software Authors: Katz, Guy; Barrett, Clark; Dill, David; Julian, Kyle; Kochenderfer, Mykel Related Software: AI2; Marabou; NNV; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
MathSAT5 Cited in 83 Documents (2013–2024) Software Authors: Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto Related Software: z3; CVC4; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-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); …
BioNetGen Cited in 66 Documents (2008–2023) Software Authors: Blinov, Michael L.; Faeder, James R.; Goldstein, Byron; Hlavacek, William S. Related Software: Bio-PEPA; NFsim; PySB; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX); …
CoCoALib Cited in 66 Documents (2006–2022) Software Authors: Abbott, John; Bigatti, Anna M. Related Software: CoCoA; Macaulay2; SINGULAR; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-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); …
Glucose Cited in 59 Documents (2012–2023) Software Authors: Audemard, Gilles; Simon, Laurent Related Software: MiniSat; Chaff; Lingeling; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-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); …
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); …
Ginsim Cited in 43 Documents (2008–2024) Software Authors: Gonzales, A. G.; Naldi, A.; Sanchez, L.; Thieffry, D.; Chaouiya, C Related Software: BoolNet; PyBoolNet; Aeon; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-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); …
AI2 Cited in 36 Documents (2019–2024) Software Authors: Gehr, T.; Mirman, M.; Drachsler-Cohen, D.; Tsankov, P.; Chaudhuri, S.; Vechev, M.T. Related Software: Reluplex; Marabou; NNV; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …
BioModels Cited in 32 Documents (2008–2022) Software Authors: Le Novere, N.; Bornstein, B.; Broicher, A.; Courtot, M.; Donizelli, M.; Dharuri, H.; Li, L.; Sauro, H.; Schilstra, M.; Shapiro, B.; Snoep, J.L.; Hucka, M Related Software: COPASI; KEGG; z3; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); …
sharpSAT Cited in 34 Documents (2011–2023) Software Authors: Thurley, M. Related Software: Dsharp; GANAK; countAntom; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Commutative algebra (13-XX); …
SMT-RAT Cited in 26 Documents (2013–2024) Software Authors: Corzilius, F.; Kremer, G.; Junges, S.; Schupp, S.; Ábrahám, E. Related Software: z3; SMT-LIB; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX); …
BoolNet Cited in 22 Documents (2012–2024) Software Authors: Müssel, Christoph; Hopfensitz, Martin; Zhou, Dao; Kestler, Hans Related Software: Ginsim; PyBoolNet; R; … Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX); …
PENLAB Cited in 25 Documents (2003–2023) Software Authors: Fiala, J.; Kočvara, M.; Stingl, M. Related Software: YALMIP; PENNON; SeDuMi; … Main Fields: Functional analysis (46-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); …
ERODE Cited in 19 Documents (2017–2024) Software Authors: Cardelli, L.; Tribastone, M.; Tschaikowski, M.; Vandin, A. Related Software: CLUE; BioNetGen; z3; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-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); …
PySMT Cited in 13 Documents (2017–2022) Software Authors: Gario, Marco; Micheli, Andrea Related Software: z3; MathSAT5; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …
KAAPI Cited in 8 Documents (2007–2021) Software Authors: Gautier, Thierry; Besseron, Xavier; Pigeon, Laurent Related Software: LinBox; Cilk; StarPU; … Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …
Aligator Cited in 12 Documents (2008–2023) Software Authors: Kovács, Laura Related Software: Mathematica; fastZeil; Dependencies; … Main Fields: Combinatorics (05-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …
NASA PVS Cited in 10 Documents (2008–2023) Software Authors: Langley, NASA Related Software: PVS; Isabelle/HOL; Graph Theory; … 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); …
Aligator.jl Cited in 7 Documents (2018–2023) Software Authors: Humenberger, Andreas; Jaroschek, Maximilian; Kovács, Laura Related Software: Dependencies; Aligator; SymPy; … Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Computer science (68-XX)
BIGNUM Cited in 7 Documents (1993–2019) Software Authors: Serpette, B.; Vuillemenin, J.; Hervé, J. C. Related Software: Wombit; Why3; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Numerical analysis (65-XX); …
CoqMT Cited in 7 Documents (2010–2020) Software Authors: Strub, Pierre-Yves Related Software: Coq; CoqMTU; dedukti; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
PoCaB Cited in 7 Documents (2012–2015) Software Authors: Samal, Satya Swarup; Errami, Hassan; Weber, Andreas Related Software: BioModels; polymake; z3; … Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-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; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-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)
Algebraic Numbers Cited in 2 Documents (2019–2022) Software Authors: Thiemann, René; Yamada, Akihisa; Joosten, Sebastiaan Related Software: Isabelle; Archive Formal Proofs; Isabelle/HOL; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX); …