Matlab Cited in 14,706 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 10,258 Documents (1978–2024) Software Authors: Wickham, Hadley; Gentleman, Robert; Ihaka, Ross; Chambers, John M.; Venables, William N.; Ripley, Brian D. Related Software: ggplot2; CRAN; SAS; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Mathematica Cited in 6,848 Documents (1986–2025) Software Authors: Research, Wolfram Related Software: Maple; Matlab; R; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
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); …
Maple Cited in 5,484 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); …
OEIS Cited in 5,566 Documents (1973–2025) Software Authors: Sloane, Neil J. A.; The OEIS Foundation Inc. Related Software: SageMath; DLMF; Mathematica; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …
UCI-ml Cited in 3,205 Documents (1995–2024) Software Authors: Aha, David; Murphy, Patrick; Merz, Christopher; Keogh, Eamonn; Blake, Cathy; Hettich, Seth; Newman, David Related Software: C4.5; LIBSVM; R; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
DLMF Cited in 3,977 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,798 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); …
Python Cited in 1,644 Documents (1991–2025) Software Authors: Rossum, Guido van Related Software: SciPy; NumPy; Matplotlib; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SageMath Cited in 2,767 Documents (2002–2024) Software Authors: Developers, The Sage; Stein, William; Joyner, David; Kohel, David; Cremona, John; Eröcal, Burçin Related Software: Magma; GAP; GitHub; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …
Macaulay2 Cited in 2,347 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); …
Adam Cited in 2,125 Documents (2016–2024) Software Authors: Kingma, Diederik P.; Ba, Jimmy Related Software: PyTorch; TensorFlow; ImageNet; … 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); …
ElemStatLearn Cited in 1,934 Documents (2001–2024) Software Authors: Halvorsen, Kjetil Related Software: R; UCI-ml; PRMLT; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
LAPACK Cited in 1,788 Documents (1988–2025) 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); …
BayesDA Cited in 1,707 Documents (1997–2025) Software Authors: Halvorsen, Kjetil Related Software: R; WinBUGS; Stan; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
SINGULAR Cited in 1,681 Documents (1991–2024) Software Authors: Decker, Wolfram; Greuel, Gert-Martin; Pfister, Gerhard; Schönemann, Hans 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,686 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); …
PRMLT Cited in 1,446 Documents (2006–2024) Software Authors: Bishop, C. Related Software: UCI-ml; ElemStatLearn; Adam; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CUDA Cited in 1,267 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); …
LMI toolbox Cited in 1,517 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); …
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); …
SeDuMi Cited in 1,412 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,322 Documents (2004–2024) Software Authors: Löfberg, Johan Related Software: SeDuMi; Mosek; SDPT3; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
FEniCS Cited in 1,270 Documents (2007–2024) Software Authors: Simula Research Laboratory; University of Cambridge; University of Chicago; Texas Tech University; 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 916 Documents (2005–2024) Software Authors: Jones, E.; Oliphant, T.; Peterson, P. Related Software: Python; NumPy; Matplotlib; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
TensorFlow Cited in 968 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); …
ImageNet Cited in 1,028 Documents (2010–2024) Software Authors: Deng, J.; Dong, W.; Socher, R.; Li, L. J.; Li, K.; Fei-Fei, L. Related Software: AlexNet; Adam; TensorFlow; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
HE-E1GODF Cited in 1,150 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); …
L-BFGS Cited in 1,073 Documents (1981–2024) Software Authors: Zhu, Ciyou; Byrd, Richard H.; Lu, Peihuang; Nocedal, Jorge Related Software: L-BFGS-B; LBFGS-B; Adam; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
PyTorch Cited in 828 Documents (2018–2024) Software Authors: Paszke, A.; Gross, S.; Massa, F.; Lerer, A.; Bradbury, J.; Chanan, G.; Killeen, T.; Lin, Z.; Gimelshein, N.; Antiga, L.; Desmaison, A.; Kopf, A.; Yang, E.; DeVito, Z.; Raison, M.; Tejani, A.; Chilamkurthy, S.; Steiner, B.; Fang, L.; Bai, J.; Chintala, S. Related Software: Adam; TensorFlow; Python; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CVX Cited in 1,045 Documents (2006–2024) Software Authors: Grant, Michael; Boyd, Stephen Related Software: SDPT3; SeDuMi; Mosek; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Julia Cited in 756 Documents (2014–2024) Software Authors: Bezanson, J.; Karpinski, S.; Shah, V. B.; Edelman, A. Related Software: GitHub; JuMP; DifferentialEquations.jl; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-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); …
ARPACK Cited in 909 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); …
AlexNet Cited in 855 Documents (2014–2024) Software Authors: Krizhevsky, Alex; Sutskever, Ilya; Hinton, Geoffrey E Related Software: ImageNet; Adam; TensorFlow; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
MathOverflow Cited in 871 Documents (2010–2024) 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); …
NumPy Cited in 489 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); …
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); …
minpack Cited in 801 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); …
SDPT3 Cited in 785 Documents (1986–2024) 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); …
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); …
PARI/GP Cited in 769 Documents (1992–2024) Software Authors: Cohen, Henri; Belabas, Karim; PARI group Related Software: Magma; SageMath; ecdata; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
mftoolbox Cited in 776 Documents (2008–2024) Software Authors: Higham, N. J. Related Software: mctoolbox; Matlab; MATLAB expm; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); …
REDUCE Cited in 746 Documents (1970–2024) Software Authors: Hearn, Anthony C.; Rayna, Gerhard; Schöpf, Rainer; Sturm, Thomas Related Software: Maple; Mathematica; MACSYMA; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
MACSYMA Cited in 722 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); …
Mosek Cited in 694 Documents (1999–2024) Software Authors: ApS, MOSEK Related Software: YALMIP; SeDuMi; CVX; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
nauty Cited in 712 Documents (1988–2024) Software Authors: McKay, Brendan; Piperno, Adolfo Related Software: Traces; GAP; OEIS; … Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …
CoCoA Cited in 688 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); …
SCIP Cited in 672 Documents (2005–2024) Software Authors: Gally, Tristan; Gamrath, Gerald; Gemander, Patrick; Gleixner, Ambros; Gottwald, Robert; Hendel, Gregor; Hojny, Christopher; Maher, Stephen J.; Miltenberger, Matthias; Müller, Benjamin; Pfetsch, Marc; Schlösser, Franziska; Serrano, Felipe; Vigerske, Stefan; Weninger, Dieter; Witzig, Jakob Related Software: CPLEX; MIPLIB; Gurobi; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
AMPL Cited in 658 Documents (1989–2024) 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 673 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); …
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); …
JDQZ Cited in 653 Documents (1996–2024) Software Authors: Fokkema, D. R.; Sleijpen, G. L. G.; Vorst, H. A. van der Related Software: JDQR; ARPACK; eigs; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
FFTW Cited in 599 Documents (2000–2024) Software Authors: MIT; Frigo, Matteo; Johnson, Steven G. Related Software: Matlab; LAPACK; ATLAS; … Main Fields: Partial differential equations (35-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); …
Mizar Cited in 586 Documents (1983–2024) Software Authors: Bancerek, Grzegorz; Bylinski, Czeslaw; Grabowski, Adam; Kornilowicz, Artur; Milewski, Robert; Naumowicz, Adam; Trybulec, Andrzej; Urban, Josef Related Software: Coq; Isabelle/HOL; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …
MATCONT Cited in 584 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); …
Matplotlib Cited in 337 Documents (2007–2024) Software Authors: Hunter, John; Dale, Darren; Firing, Eric; Droettboom, Michael; the matplotlib development team Related Software: NumPy; Python; SciPy; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
JDQR Cited in 546 Documents (1996–2024) Software Authors: Sleijpen, Gerard L. G. Related Software: JDQZ; ARPACK; eigs; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Chebfun Cited in 542 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); …
OPQ Cited in 526 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); …
INTLAB Cited in 519 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 510 Documents (1971–2024) Software Authors: Brent, Richard; Burkardt, John Related Software: R; minpack; Matlab; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
EISPACK Cited in 495 Documents (1974–2024) Software Authors: Smith, Brian; Boyle, James; Dongarra, Jack; Garbow, Burton; Ikebe, Y.; Klema, V.; Moler, Cleve 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); …
UMFPACK Cited in 480 Documents (1996–2024) Software Authors: Davis, Timothy A. Related Software: FreeFem++; deal.ii; PETSc; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
CGAL Cited in 443 Documents (1996–2024) Software Authors: Board, CGAL Editorial Related Software: LEDA; 2D triangulations; Triangle; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …
FORM Cited in 446 Documents (1993–2024) Software Authors: Kuipers, J.; Ueda, T.; Vermaseren, J.A.M.; Vollinga, J. Related Software: Mincer; Reduze; LiteRed; … Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Quantum theory (81-XX); …
GeoGebra Cited in 222 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); …
darch Cited in 412 Documents (2006–2024) Software Authors: Drees, Martin Related Software: ImageNet; AlexNet; Adam; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
BARON Cited in 431 Documents (1996–2024) Software Authors: Sahinidis, Nikolaos V. Related Software: CPLEX; SCIP; GAMS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
NAG Cited in 423 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); …
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); …
UNLocBoX Cited in 419 Documents (2010–2024) Software Authors: Perraudin, Nathanael Related Software: PDCO; iPiano; GitHub; … Main Fields: Operator theory (47-XX); Statistics (62-XX); Numerical analysis (65-XX); …
DGM Cited in 413 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); …
polymake Cited in 407 Documents (2000–2024) Software Authors: Gawrilow, Ewgenij; Joswig, Michael; the polymake team Related Software: Macaulay2; Gfan; Normaliz; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …
Wasserstein GAN Cited in 361 Documents (2018–2024) Software Authors: Arjovsky, Martin; Chintala, Soumith; Bottou, Léon Related Software: Adam; pix2pix; EMD; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
GloptiPoly Cited in 372 Documents (2003–2024) Software Authors: Henrion, Didier; Lasserre, Jean-Bernard; Loefberg, Johan Related Software: SeDuMi; YALMIP; Sostools; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
Qhull Cited in 337 Documents (1996–2024) Software Authors: Barber, C. Bradford; Huhdanpaa, Hannu Related Software: Matlab; CGAL; Triangle; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Sostools Cited in 344 Documents (2002–2024) Software Authors: Prajna, Stephen; Papachristodoulou, Antonis; Seiler, Peter; Parrilo, Pablo A. Related Software: SeDuMi; YALMIP; GloptiPoly; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Concorde Cited in 331 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); …
Tensor2Tensor Cited in 307 Documents (2019–2024) Software Authors: Vaswani, Ashish; et al. Related Software: Adam; BERT; ImageNet; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Keras Cited in 280 Documents (2017–2024) Software Authors: Chollet, F. Related Software: TensorFlow; Adam; GitHub; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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); …
NewtonLib Cited in 338 Documents (2001–2024) Software Authors: Deuflhard, Peter; Weimann, Lutz 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); …
gmp Cited in 312 Documents (1995–2024) Software Authors: Granlund Related Software: MPFR; NTL; PARI/GP; … Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-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); …
t-SNE Cited in 295 Documents (2008–2024) Software Authors: Maaten, Laurens van der; Hinton, Geoffrey Related Software: UMAP; ImageNet; Adam; … 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); …
INTOPT_90 Cited in 311 Documents (1996–2024) Software Authors: Kearfott, R.Baker Related Software: INTLAB; C-XSC; PROFIL/BIAS; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Bertini Cited in 303 Documents (2008–2024) Software Authors: Bates, D.; Hauenstein, J.; Sommese, A.; Wampler, C. Related Software: PHCpack; Macaulay2; HOM4PS; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …
fminsearch Cited in 293 Documents (1996–2024) Software Authors: Lagarias, Jeffrey C.; Reeds, James A.; Wright, Margaret H.; Wright, Paul E. Related Software: Matlab; KELLEY; minpack; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …
GSL Cited in 282 Documents (2002–2024) Software Authors: Free Software Foundation; Galassi, M.; Davies, J.; Theiler, J.; Gough, B.; Jungman, G.; Alken, P.; Booth, M.; Rossi, F. Related Software: R; LAPACK; PETSc; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-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); …
LMFDB Cited in 296 Documents (2014–2024) Software Authors: http://www.lmfdb.org/acknowledgment Related Software: Magma; SageMath; GitHub; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Special functions (33-XX); …
itsmr Cited in 276 Documents (1996–2024) Software Authors: Weigt, George Related Software: ITSM2000; R; astsa; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-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); …
LaTeX Cited in 257 Documents (1988–2024) Software Authors: Lamport, Leslie Related Software: TeX; EXPFIT4; Maple; … Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX); …