Matlab Cited in 13,338 Documents (1982–2024) Software Authors: MathWorks Inc Related Software: Simulink; Maple; LMI toolbox; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
R Cited in 8,697 Documents (1978–2023) Software Authors: Hadley Wickham; Robert Gentleman; Ross Ihaka; John M. Chambers; William N. Venables; Brian D. Ripley Related Software: CRAN; SAS; ggplot2; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Mathematica Cited in 6,327 Documents (1986–2024) Software Authors: Wolfram Research Related Software: Maple; Matlab; R; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Maple Cited in 5,286 Documents (1983–2023) Software Authors: Waterloo Maple Inc. Related Software: Mathematica; Matlab; MACSYMA; … Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …
OEIS Cited in 4,947 Documents (1973–2024) Software Authors: Sloane, Neil J. A.; The OEIS Foundation Inc. Related Software: SageMath; GAP; DLMF; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …
GitHub Cited in 3,778 Documents (2010–2023) Software Authors: github Related Software: R; Matlab; Python; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Magma Cited in 3,755 Documents (1994–2023) 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); …
UCI-ml Cited in 2,827 Documents (1995–2023) 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,363 Documents (2000–2023) Software Authors: Lozier, Daniel W. Related Software: Mathematica; OEIS; Matlab; … Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); …
GAP Cited in 3,315 Documents (1990–2023) 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,853 Documents (1992–2023) 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,264 Documents (1991–2024) Software Authors: Guido van Rossum Related Software: SciPy; NumPy; Matplotlib; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SageMath Cited in 2,168 Documents (2002–2024) Software Authors: The Sage Developers; William Stein; David Joyner; David Kohel; John Cremona; Eröcal, Burçin Related Software: Magma; GAP; OEIS; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …
Macaulay2 Cited in 2,084 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,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); …
LAPACK Cited in 1,687 Documents (1988–2023) Software Authors: LAPACK team: lapack@cs.utk.edu Related Software: BLAS; ScaLAPACK; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ElemStatLearn Cited in 1,510 Documents (2001–2023) Software Authors: Kjetil Halvorsen Related Software: R; UCI-ml; PRMLT; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SINGULAR Cited in 1,558 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,539 Documents (1995–2023) Software Authors: Nick Higham Related Software: LAPACK; Matlab; mftoolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
LMI toolbox Cited in 1,475 Documents (1995–2023) 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); …
Adam Cited in 1,388 Documents (2016–2023) 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); …
CUDA Cited in 1,131 Documents (2007–2023) 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,319 Documents (1999–2023) Software Authors: Sturm J.F Related Software: YALMIP; SDPT3; GloptiPoly; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
PRMLT Cited in 1,115 Documents (2006–2022) Software Authors: C. Bishop Related Software: UCI-ml; ElemStatLearn; PMTK; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
YALMIP Cited in 1,121 Documents (2004–2023) 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); …
Isabelle/HOL Cited in 1,027 Documents (1996–2023) 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); …
FEniCS Cited in 1,012 Documents (2007–2023) 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); …
SciPy Cited in 692 Documents (2005–2023) 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); …
AUTO Cited in 959 Documents (1981–2023) 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 920 Documents (2006–2023) 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 827 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); …
Gurobi Cited in 878 Documents (2010–2023) Software Authors: Zonghau Gu; Ed Rothberg; Bob Bixby; Gurobi Optimization, Inc. Related Software: CPLEX; SCIP; GitHub; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
TensorFlow Cited in 708 Documents (2016–2023) 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); …
ImageNet Cited in 794 Documents (2010–2023) 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); …
ARPACK Cited in 865 Documents (1995–2023) 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); …
Scikit Cited in 629 Documents (2011–2023) Software Authors: Pedregosa, Fabian; Varoquaux, Gaël; Gramfort, Alexandre; Michel, Vincent; Thirion, Bertrand; Grisel, Olivier; Blondel, Mathieu; Prettenhofer, Peter; Weiss, Ron; Dubourg, Vincent; Vanderplas, Jake; Passos, Alexandre; Cournapeau, David; Brucher, Matthieu; Perrot, Matthieu; Duchesnay, Édouard Related Software: Python; SciPy; TensorFlow; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
minpack Cited in 768 Documents (1979–2023) 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 727 Documents (1999–2023) Software Authors: Saunders, M.A Related Software: CoSaMP; SPGL1; NESTA; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
REDUCE Cited in 736 Documents (1970–2022) 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); …
SDPT3 Cited in 740 Documents (1986–2023) Software Authors: Toh, K.C.; Todd, M.J.; Tütüncü, R.H. Related Software: SeDuMi; YALMIP; CVX; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
PyTorch Cited in 521 Documents (2018–2023) 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); …
Isabelle Cited in 704 Documents (1990–2022) 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); …
MACSYMA Cited in 716 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); …
Maude Cited in 631 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); …
deal.ii Cited in 681 Documents (1999–2023) Software Authors: Bangerth W, Hartman R, Kanschat G Related Software: Trilinos; PETSc; p4est; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
z3 Cited in 660 Documents (2001–2023) 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); …
NumPy Cited in 349 Documents (2000–2023) Software Authors: Oliphant, T. E. Related Software: Python; SciPy; Matplotlib; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
mftoolbox Cited in 685 Documents (2008–2023) 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 659 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); …
PARI/GP Cited in 671 Documents (1992–2023) 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); …
Julia Cited in 525 Documents (2014–2023) Software Authors: Bezanson J, Karpinski S, Shah VB, Edelman A Related Software: GitHub; JuMP; DifferentialEquations.jl; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …
MathOverflow Cited in 665 Documents (2010–2023) 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); …
Uppaal Cited in 541 Documents (1990–2022) 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); …
nauty Cited in 658 Documents (1988–2023) Software Authors: Brendan McKay; Adolfo Piperno Related Software: Traces; GAP; GRAPE; … Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …
AlexNet Cited in 624 Documents (2014–2023) 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); …
KELLEY Cited in 649 Documents (1995–2022) Software Authors: Kelley, C.T. Related Software: minpack; Matlab; L-BFGS; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
PVS Cited in 611 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); …
AMPL Cited in 627 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); …
JDQZ Cited in 629 Documents (1996–2023) Software Authors: D.R. Fokkema; G.L.G. Sleijpen; H.A. van der Vorst Related Software: JDQR; ARPACK; eigs; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
HOL Cited in 591 Documents (1985–2023) Software Authors: Gordon, Michael J. C. Related Software: Isabelle; Isabelle/HOL; ML; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …
SCIP Cited in 598 Documents (2005–2023) 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); …
Chaff Cited in 550 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); …
MiniSat Cited in 562 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 547 Documents (2000–2023) 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); …
Eigtool Cited in 570 Documents (1996–2023) 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); …
Mosek Cited in 528 Documents (1999–2023) Software Authors: MOSEK ApS Related Software: YALMIP; SeDuMi; SDPT3; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
MPI Cited in 486 Documents (1990–2023) 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); …
JDQR Cited in 530 Documents (1996–2023) Software Authors: Gerard L.G. Sleijpen Related Software: JDQZ; ARPACK; eigs; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
LINPACK Cited in 502 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); …
Knapsack Cited in 504 Documents (1995–2022) 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); …
Mizar Cited in 514 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); …
INTLAB Cited in 493 Documents (1999–2023) 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); …
EISPACK Cited in 491 Documents (1974–2023) Software Authors: Brian Smith, James Boyle, Jack Dongarra, Burton Garbow, Y. Ikebe, V. Klema, Cleve Moler Related Software: LAPACK; LINPACK; BLAS; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
BRENT Cited in 479 Documents (1971–2023) 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); …
TETRAD Cited in 455 Documents (1993–2023) Software Authors: Clark Glymour; Richard Scheines; Peter Spirtes; Joseph Ramsey Related Software: pcalg; R; glasso; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Statistics (62-XX); …
Chebfun Cited in 475 Documents (2004–2023) 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); …
OPQ Cited in 477 Documents (2004–2023) 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); …
MATCONT Cited in 471 Documents (2003–2023) 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); …
Matplotlib Cited in 264 Documents (2007–2023) Software Authors: John Hunter, Darren Dale, Eric Firing, Michael Droettboom and the matplotlib development team Related Software: Python; NumPy; SciPy; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
UMFPACK Cited in 429 Documents (1996–2023) 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); …
NAG Cited in 418 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); …
GeoGebra Cited in 195 Documents (2007–2024) Software Authors: – Related Software: Cinderella; Geometer's Sketchpad; GeoThms; … Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Geometry (51-XX); …
TPTP Cited in 412 Documents (1994–2023) Software Authors: Geoff Sutcliffe; Christian Suttner Related Software: VAMPIRE; E Theorem Prover; SPASS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
CGAL Cited in 384 Documents (2000–2023) Software Authors: CGAL Editorial Board Related Software: LEDA; 2D triangulations; 2D Arrangement; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-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); …
BARON Cited in 398 Documents (1996–2023) 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); …
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); …
UNLocBoX Cited in 373 Documents (2010–2023) Software Authors: Nathanael Perraudin Related Software: PDCO; NESTA; GitHub; … Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
MNIST Cited in 329 Documents (2001–2023) Software Authors: Y. LeCun; C. Cortes; Christopher J.C. Burges Related Software: UCI-ml; Adam; ImageNet; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
FORM Cited in 347 Documents (1993–2023) Software Authors: Kuipers, J.; Ueda, T.; Vermaseren, J.A.M.; Vollinga, J. Related Software: Mincer; Axodraw; Reduze; … Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Quantum theory (81-XX); …
GloptiPoly Cited in 350 Documents (2003–2023) 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); …
polymake Cited in 340 Documents (2000–2023) 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); …
OTTER Cited in 324 Documents (1988–2023) Software Authors: Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel Related Software: TPTP; VAMPIRE; Mace4; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …
Qhull Cited in 320 Documents (1996–2022) Software Authors: C. Bradford Barber , Hannu Huhdanpaa Related Software: Matlab; CGAL; Triangle; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
HyTech Cited in 315 Documents (1996–2022) 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); …
darch Cited in 308 Documents (2006–2022) Software Authors: Martin Drees Related Software: ImageNet; AlexNet; Adam; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
mclust Cited in 286 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 330 Documents (1992–2022) Software Authors: J. E. Cremona Related Software: Magma; PARI/GP; SageMath; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Group theory and generalizations (20-XX); …
CGS Cited in 329 Documents (1986–2022) Software Authors: Sonneveld, Peter Related Software: BiCGstab; GpBiCg; na1; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …