Matlab Cited in 13,806 Documents (1982–2025) Software Authors: MathWorks Inc Related Software: Simulink; LMI toolbox; Maple; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
R Cited in 9,583 Documents (1978–2024) Software Authors: Wickham, Hadley; Gentleman, Robert; Ihaka, Ross; Chambers, John M.; Venables, William N.; Ripley, Brian D. Related Software: CRAN; ggplot2; SAS; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Mathematica Cited in 6,557 Documents (1986–2024) Software Authors: Wolfram Research Related Software: Maple; Matlab; SageMath; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Maple Cited in 5,364 Documents (1983–2024) Software Authors: Waterloo Maple Inc. Related Software: Mathematica; Matlab; Magma; … Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …
Magma Cited in 3,982 Documents (1994–2024) Software Authors: W. Bosma, A. Steel, G. Matthews, D. Fisher, J. Cannon, S. Contini, B. Smith Related Software: GAP; SageMath; PARI/GP; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …
GitHub Cited in 3,786 Documents (2010–2024) Software Authors: github Related Software: R; Matlab; Python; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
UCI-ml Cited in 3,027 Documents (1995–2024) Software Authors: David Aha, Patrick Murphy, Christopher Merz, Eamonn Keogh, Cathy Blake, Seth Hettich, David Newman Related Software: C4.5; LIBSVM; R; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
DLMF Cited in 3,759 Documents (2000–2024) Software Authors: Lozier, Daniel W. Related Software: Mathematica; Matlab; OEIS; … Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); …
GAP Cited in 3,656 Documents (1990–2024) Software Authors: GAP Group Related Software: Magma; SageMath; ATLAS Group Representations; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …
CPLEX Cited in 2,952 Documents (1992–2024) Software Authors: IBM Related Software: Gurobi; SCIP; AMPL; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Python Cited in 1,420 Documents (1991–2025) Software Authors: Guido van Rossum Related Software: SciPy; NumPy; Matplotlib; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Macaulay2 Cited in 2,248 Documents (1988–2024) Software Authors: Grayson, Daniel R.; Stillman, Michael E.; Eisenbud, David; http://www.math.uiuc.edu/Macaulay2/Contributors/ Related Software: SINGULAR; CoCoA; SageMath; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
Coq Cited in 1,964 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); …
ElemStatLearn Cited in 1,765 Documents (2001–2024) Software Authors: Kjetil Halvorsen Related Software: R; UCI-ml; PRMLT; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Adam Cited in 1,750 Documents (2016–2024) Software Authors: Diederik P. Kingma, Jimmy Ba Related Software: TensorFlow; PyTorch; ImageNet; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
LAPACK Cited in 1,752 Documents (1988–2024) Software Authors: LAPACK team: lapack@cs.utk.edu Related Software: BLAS; ScaLAPACK; mctoolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SINGULAR Cited in 1,641 Documents (1991–2024) Software Authors: Wolfram Decker; Gert-Martin Greuel; Gerhard Pfister; Hans Schönemann Related Software: Macaulay2; CoCoA; SageMath; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); …
mctoolbox Cited in 1,630 Documents (1995–2024) Software Authors: Higham, Nick Related Software: LAPACK; Matlab; mftoolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
BayesDA Cited in 1,561 Documents (1997–2024) Software Authors: Kjetil Halvorsen Related Software: R; WinBUGS; Stan; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
LMI toolbox Cited in 1,493 Documents (1995–2024) Software Authors: MathWorks; Gahinet, P.; Nemirovskii, A.; Laub, A.J.; Chilali, M. Related Software: Matlab; Control System Toolbox; YALMIP; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Operations research, mathematical programming (90-XX); …
PRMLT Cited in 1,373 Documents (2006–2024) Software Authors: C. Bishop Related Software: UCI-ml; ElemStatLearn; Adam; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CUDA Cited in 1,178 Documents (2007–2024) Software Authors: NVIDIA; Vingelmann, Péter; Fitzek, Frank H.P. Related Software: OpenCL; CUBLAS; Matlab; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
SeDuMi Cited in 1,380 Documents (1999–2024) Software Authors: Sturm J.F Related Software: YALMIP; SDPT3; GloptiPoly; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
YALMIP Cited in 1,248 Documents (2004–2024) Software Authors: Johan Löfberg Related Software: SeDuMi; SDPT3; Mosek; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
FEniCS Cited in 1,132 Documents (2007–2024) Software Authors: Simula Research Laboratory, University of Cambridge, University of Chicago, Texas Tech University and KTH Royal Institute of Technology Related Software: SyFi; PETSc; DOLFIN; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
Isabelle/HOL Cited in 1,068 Documents (1996–2024) Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias Related Software: Isabelle; Coq; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
HE-E1GODF Cited in 1,109 Documents (1997–2024) Software Authors: Toro, E. F Related Software: HLLE; AUSM; MOOD; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
SciPy Cited in 805 Documents (2005–2024) Software Authors: Jones, E., Oliphant, T., Peterson, P., et al. Related Software: Python; NumPy; Matplotlib; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ImageNet Cited in 940 Documents (2010–2024) Software Authors: J. Deng, W. Dong, R. Socher, L.-J. Li, K. Li, L. Fei-Fei Related Software: AlexNet; Adam; TensorFlow; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
TensorFlow Cited in 847 Documents (2016–2024) Software Authors: Google Brain team; M. Abadi, A. Agarwal, P. Barham, E. Brevdo, Z. Chen, C. Citro, G. S. Corrado, A. Davis, J. Dean, M. Devin, et al Related Software: Adam; PyTorch; Keras; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
AUTO Cited in 1,016 Documents (1981–2024) Software Authors: Doedel, Eusebius, Alan Champneys, Fabio Dercole, Thomas Fairgrieve, Yuri Kuznetsov, Bart Oldeman, Randy Paffenroth, Bjorn Sandstede, Xianjun Wang, and Chenghai Zhang Related Software: AUTO-07P; HomCont; AUTO-86; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
CVX Cited in 988 Documents (2006–2024) Software Authors: Michael Grant; Stephen Boyd Related Software: SDPT3; SeDuMi; YALMIP; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Haskell Cited in 839 Documents (1989–2023) Software Authors: – Related Software: Coq; ML; GHC; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …
ARPACK Cited in 883 Documents (1995–2024) Software Authors: Lehoucq; Sorensen; Yang Related Software: eigs; JDQZ; JDQR; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
PyTorch Cited in 667 Documents (2018–2024) Software Authors: A. Paszke, S. Gross, F. Massa, A. Lerer, J. Bradbury, G. Chanan, T. Killeen, Z. Lin, N. Gimelshein, L. Antiga, A. Desmaison, A. Kopf, E. Yang, Z. DeVito, M. Raison, A. Tejani, S. Chilamkurthy, B. Steiner, L. Fang, J. Bai, S. Chintala Related Software: Adam; TensorFlow; Python; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
AlexNet Cited in 783 Documents (2014–2024) Software Authors: Alex Krizhevsky, Ilya Sutskever, Geoffrey E Hinton Related Software: ImageNet; Adam; TensorFlow; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Julia Cited in 649 Documents (2014–2024) Software Authors: Bezanson J, Karpinski S, Shah VB, Edelman A Related Software: JuMP; GitHub; DifferentialEquations.jl; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …
z3 Cited in 753 Documents (2001–2024) Software Authors: Microsoft Research; Leonardo de Moura; Nikolaj Bjørner Related Software: CVC4; SMT-LIB; Yices; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
minpack Cited in 793 Documents (1979–2024) Software Authors: Garbow B, Hillstrom K, More J Related Software: CUTEr; L-BFGS; HYBRJ; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
PDCO Cited in 764 Documents (1999–2024) Software Authors: Saunders, M.A Related Software: CoSaMP; SPGL1; NESTA; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
NumPy Cited in 429 Documents (2000–2024) Software Authors: Oliphant, T. E. Related Software: Python; SciPy; Matplotlib; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
deal.ii Cited in 723 Documents (1999–2024) Software Authors: Bangerth W, Hartman R, Kanschat G Related Software: Trilinos; PETSc; FEniCS; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
Isabelle Cited in 734 Documents (1990–2023) Software Authors: Larry Paulson, Tobias Nipkow, Makarius Wenzel Related Software: Isabelle/HOL; HOL; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
REDUCE Cited in 738 Documents (1970–2023) Software Authors: Anthony C. Hearn; Rayna, Gerhard; Rainer Schöpf; Thomas Sturm Related Software: Maple; Mathematica; MACSYMA; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
PARI/GP Cited in 744 Documents (1992–2024) Software Authors: Henri Cohen; Karim Belabas; PARI group Related Software: Magma; SageMath; GAP; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
Maude Cited in 646 Documents (1984–2023) 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); …
MACSYMA Cited in 718 Documents (1971–2023) Software Authors: symbolics Related Software: Maple; Mathematica; REDUCE; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
mftoolbox Cited in 725 Documents (2008–2024) Software Authors: N. J. Higham Related Software: mctoolbox; Matlab; MATLAB expm; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); …
CoCoA Cited in 680 Documents (1989–2024) Software Authors: CoCoa-Team; Robbiano, Lorenzo Related Software: Macaulay2; SINGULAR; CoCoALib; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
nauty Cited in 691 Documents (1988–2024) Software Authors: Brendan McKay; Adolfo Piperno Related Software: Traces; GAP; OEIS; … Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …
Uppaal Cited in 564 Documents (1990–2023) 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); …
AMPL Cited in 648 Documents (1989–2023) Software Authors: Fourer, R., Gay, D.M., Kernighan, B.W. Related Software: CPLEX; Ipopt; GAMS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
KELLEY Cited in 664 Documents (1995–2024) Software Authors: Kelley, C.T. Related Software: minpack; L-BFGS; Matlab; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
SCIP Cited in 649 Documents (2005–2024) Software Authors: Tristan Gally, Gerald Gamrath, Patrick Gemander, Ambros Gleixner, Robert Gottwald, Gregor Hendel, Christopher Hojny, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Franziska Schlösser, Felipe Serrano, Stefan Vigerske, Dieter Weninger, Jakob Witzig Related Software: CPLEX; MIPLIB; Gurobi; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
PVS Cited in 617 Documents (1993–2023) Software Authors: Sam Owre, Natarajan Shankar, John Rushby Related Software: Coq; Isabelle/HOL; HOL; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
glasso Cited in 641 Documents (2008–2024) Software Authors: Mazumder, Rahul; Hastie, Trevor; J. Friedman, T.; R. Tibshirani Related Software: R; glmnet; huge; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
MiniSat Cited in 586 Documents (2003–2023) Software Authors: Niklas Eén, Niklas Sörensson Related Software: Chaff; BerkMin; z3; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
FFTW Cited in 570 Documents (2000–2024) Software Authors: MIT; Matteo Frigo; Steven G. Johnson Related Software: Matlab; ATLAS; LAPACK; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Chaff Cited in 559 Documents (2001–2023) Software Authors: Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S Related Software: MiniSat; BerkMin; SATO; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
Eigtool Cited in 596 Documents (1996–2024) Software Authors: Thomas G. Wright; Nick Trefethen; Mark Embree Related Software: ARPACK; Seigtool; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Operator theory (47-XX); …
Knapsack Cited in 539 Documents (1995–2024) Software Authors: Pisinger, David; Toth, Paolo Related Software: CPLEX; MULKNAP; OR-Library; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
JDQR Cited in 540 Documents (1996–2024) Software Authors: Gerard L.G. Sleijpen Related Software: JDQZ; ARPACK; eigs; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
MPI Cited in 490 Documents (1990–2024) Software Authors: Fike, Jeffrey A.; Alonso, Juan J. Related Software: LAPACK; CUDA; PETSc; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
Mizar Cited in 531 Documents (1983–2023) Software Authors: Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Robert Milewski; Adam Naumowicz; Andrzej Trybulec; Josef Urban Related Software: Coq; Isabelle/HOL; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); …
LINPACK Cited in 506 Documents (1979–2023) Software Authors: Department of Mathematics - University of Utah; J. Dongarra, J. Bunch, C. Moler, G. W. Stewart Related Software: LAPACK; EISPACK; BLAS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …
MATCONT Cited in 526 Documents (2003–2024) Software Authors: Dhooge, A.; Sautois, B.; Govaerts, W.; Kuznetsov, Yu.A. Related Software: AUTO; Matlab; CL_MATCONT; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
Chebfun Cited in 519 Documents (2004–2024) Software Authors: ChebfunTeam; A Driscoll, N. Hale, L. N. Trefethen Related Software: Matlab; DLMF; Chebfun2; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …
Matplotlib Cited in 303 Documents (2007–2023) Software Authors: John Hunter, Darren Dale, Eric Firing, Michael Droettboom and the matplotlib development team Related Software: NumPy; Python; SciPy; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
TETRAD Cited in 483 Documents (1993–2024) Software Authors: Clark Glymour; Richard Scheines; Peter Spirtes; Joseph Ramsey Related Software: pcalg; R; bnlearn; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Statistics (62-XX); …
INTLAB Cited in 508 Documents (1999–2024) Software Authors: Rump, Siegfried M. Related Software: Matlab; mctoolbox; C-XSC 2.0; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …
BRENT Cited in 497 Documents (1971–2024) Software Authors: Richard Brent; John Burkardt Related Software: R; minpack; Matlab; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
OPQ Cited in 499 Documents (2004–2024) Software Authors: Gautschi, Walter Related Software: Matlab; DLMF; OrthogonalPolynomials; … Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX); …
UMFPACK Cited in 454 Documents (1996–2024) Software Authors: Davis, Timothy A. Related Software: FreeFem++; PETSc; deal.ii; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
CGAL Cited in 417 Documents (2000–2024) Software Authors: CGAL Editorial Board Related Software: LEDA; 2D triangulations; Triangle; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …
UMDES Cited in 442 Documents (1996–2023) Software Authors: Christos G. Cassandras; Stéphane Lafortune Related Software: Supremica; libFAUDES; TCT; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
FORM Cited in 422 Documents (1993–2024) Software Authors: Kuipers, J.; Ueda, T.; Vermaseren, J.A.M.; Vollinga, J. Related Software: Mincer; Reduze; Axodraw; … Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Quantum theory (81-XX); …
GeoGebra Cited in 203 Documents (2007–2024) Software Authors: – Related Software: Geometer's Sketchpad; Cinderella; GEX; … Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Geometry (51-XX); …
MNIST Cited in 390 Documents (2001–2024) Software Authors: Y. LeCun; C. Cortes; Christopher J.C. Burges Related Software: Adam; UCI-ml; ImageNet; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
TPTP Cited in 418 Documents (1994–2023) Software Authors: Sutcliffe, Geoff; Suttner, Christian Related Software: VAMPIRE; E Theorem Prover; SPASS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …
NAG Cited in 422 Documents (1976–2023) Software Authors: Numerical Algorithms Group Related Software: nag; Matlab; LAPACK; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …
BARON Cited in 420 Documents (1996–2024) Software Authors: Sahinidis, Nikolaos V. Related Software: CPLEX; GAMS; SCIP; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Nuprl Cited in 418 Documents (1986–2023) 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); Number theory (11-XX); …
darch Cited in 379 Documents (2006–2024) Software Authors: Martin Drees Related Software: ImageNet; AlexNet; Adam; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
UNLocBoX Cited in 406 Documents (2010–2024) Software Authors: Nathanael Perraudin Related Software: PDCO; iPiano; NESTA; … Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
polymake Cited in 394 Documents (2000–2024) Software Authors: Ewgenij Gawrilow, Michael Joswig, and the polymake team Related Software: Macaulay2; Gfan; Normaliz; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …
symrcm Cited in 382 Documents (1979–2022) Software Authors: George, Alan; Joseph Liu; Gilbert, John R.; Cleve Moler; Robert Schreiber Related Software: SparseMatrix; CSparse; LAPACK; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
MersenneTwister Cited in 351 Documents (1998–2023) Software Authors: Matsumoto, Makoto; Nishimura, Takuji Related Software: TestU01; R; Diehard; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
GloptiPoly Cited in 360 Documents (2003–2024) Software Authors: Didier Henrion; Jean-Bernard Lasserre; Johan Loefberg Related Software: SeDuMi; YALMIP; Sostools; … Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …
McEliece Cited in 355 Documents (1981–2024) Software Authors: Heyse, Stefan; Moradi, Amir; Paar, Christof Related Software: Magma; NTRU; BIKE; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …
DGM Cited in 358 Documents (2017–2024) Software Authors: Sirignano, Justin; Spiliopoulos, Konstantinos Related Software: Adam; DeepXDE; TensorFlow; … Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …
mclust Cited in 312 Documents (1999–2023) Software Authors: Chris Fraley; Adrian Raftery; Luca Scrucca Related Software: R; PGMM; flexmix; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ecdata Cited in 355 Documents (1992–2024) Software Authors: J. E. Cremona Related Software: Magma; SageMath; PARI/GP; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Special functions (33-XX); …
OTTER Cited in 325 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); …
HyTech Cited in 320 Documents (1996–2024) Software Authors: Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. Related Software: Uppaal; PHAVer; Kronos; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Concorde Cited in 328 Documents (1997–2024) Software Authors: Applegate, David L.; Bixby, Robert E.; Chvátal, Vašek; Cook, William J. Related Software: TSPLIB; LKH; VRP; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Octave Cited in 295 Documents (1992–2024) Software Authors: John W. Eaton Related Software: Matlab; R; Scilab; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …
NewtonLib Cited in 335 Documents (2001–2024) Software Authors: Deuflhard, Peter; Lutz Weimann Related Software: PETSc; RODAS; Matlab; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
HOL Light Cited in 319 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); …
Keras Cited in 261 Documents (2017–2024) Software Authors: F. Chollet Related Software: TensorFlow; Adam; Scikit; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
nag Cited in 313 Documents (1979–2022) Software Authors: Numerical Algorithms Group (NAG) Related Software: NAG; Matlab; LAPACK; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Statistics (62-XX); …