Matlab Cited in 15,082 Documents (1982–2025) Software Authors: MathWorks Inc. Related Software: Simulink; MATLAB ODE suite; LMI toolbox; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
R Cited in 10,824 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,958 Documents (1986–2025) Software Authors: Wolfram Research Related Software: Maple; Matlab; SageMath; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GitHub Cited in 6,394 Documents (2010–2025) 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,543 Documents (1983–2025) 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,768 Documents (1968–2025) Software Authors: Sloane, Neil J. A.; The OEIS Foundation Inc. Related Software: SageMath; Mathematica; DLMF; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …
Magma Cited in 4,302 Documents (1994–2025) Software Authors: Bosma, W.; Steel, A.; Matthews, G.; Fisher, D.; Cannon, J.; Contini, S.; Smith, B. Related Software: GAP; SageMath; Code Tables; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …
DLMF Cited in 4,118 Documents (2000–2025) 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); …
UCI-ml Cited in 3,287 Documents (1995–2025) 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); …
GAP Cited in 3,927 Documents (1990–2025) 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,733 Documents (1991–2025) Software Authors: van Rossum, Guido Related Software: SciPy; NumPy; Scikit; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CPLEX Cited in 3,082 Documents (1992–2025) Software Authors: IBM Related Software: Gurobi; SCIP; AMPL; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
SageMath Cited in 2,898 Documents (2002–2025) Software Authors: The Sage Developers; Stein, William; Joyner, David; Kohel, David; Cremona, John; Eröcal, Burçin Related Software: Magma; GitHub; GAP; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …
Macaulay2 Cited in 2,414 Documents (1988–2025) Software Authors: Grayson, Daniel R.; Stillman, Michael E.; Eisenbud, David Related Software: SINGULAR; CoCoA; SageMath; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …
Adam Cited in 2,271 Documents (2016–2025) 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,069 Documents (1993–2025) 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 2,021 Documents (2001–2025) Software Authors: Halvorsen, Kjetil Related Software: R; UCI-ml; PRMLT; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
fda (R) Cited in 2,005 Documents (1997–2024) Software Authors: Ramsay, J. O.; Wickham, Hadley; Graves, Spencer; Hooker, Giles Related Software: R; SemiPar; ElemStatLearn; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
PETSc Cited in 1,915 Documents (1996–2025) Software Authors: Balay, S.; Gropp, W. D.; McInnes, L. C.; Smith, B. F. Related Software: FEniCS; MUMPS; hypre; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
RODAS Cited in 1,957 Documents (1989–2025) Software Authors: Hairer, E.; Wanner, G. Related Software: Matlab; Ode15s; MATLAB ODE suite; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …
ABAQUS Cited in 1,868 Documents (1985–2025) Software Authors: Simulia (Dassault Systemes); ABAQUS Inc. Related Software: ABAQUS/Standard; UMAT; Matlab; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
LAPACK Cited in 1,814 Documents (1988–2025) Software Authors: LAPACK Related Software: BLAS; ScaLAPACK; Matlab; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
FreeFem++ Cited in 1,839 Documents (2000–2025) Software Authors: Pironneau, Olivier; Hecht, Frédéric; Le Hyaric, Antoine; Morice, Jacques Related Software: PETSc; FEniCS; UMFPACK; … Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
SAS Cited in 1,632 Documents (1976–2024) Software Authors: SAS Institute Inc. Related Software: R; SAS/STAT; SPSS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …
BayesDA Cited in 1,776 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,726 Documents (1991–2025) 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,716 Documents (1995–2025) Software Authors: Higham, Nick Related Software: Matlab; LAPACK; mftoolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …
PRMLT Cited in 1,512 Documents (2006–2025) 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,286 Documents (2007–2025) 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); …
Isabelle/HOL Cited in 1,470 Documents (1995–2025) 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); …
LMI toolbox Cited in 1,541 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); …
SeDuMi Cited in 1,433 Documents (1999–2025) Software Authors: Sturm, J. F. Related Software: YALMIP; SDPT3; GloptiPoly; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
LIBSVM Cited in 1,108 Documents (2002–2025) Software Authors: Chang, Chih-Chung; Lin, Chih-Jen Related Software: UCI-ml; LIBLINEAR; SVMlight; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
FEniCS Cited in 1,319 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); …
YALMIP Cited in 1,351 Documents (2004–2024) Software Authors: Löfberg, Johan Related Software: SeDuMi; Mosek; Robotics; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
VRP Cited in 1,291 Documents (1981–2024) Software Authors: Alba, Enrique; other contributors Related Software: CVRPSP; CPLEX; Tabu search; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Gurobi Cited in 1,282 Documents (2010–2025) Software Authors: Gu, Zonghau; Rothberg, Ed; Bixby, Bob; Gurobi Optimization, Inc. Related Software: CPLEX; SCIP; GitHub; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
bootstrap Cited in 1,258 Documents (1993–2024) Software Authors: Tibshirani, Rob; Leisch, Friedrich Related Software: R; bootlib; ElemStatLearn; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
NSGA-II Cited in 1,163 Documents (2004–2024) Software Authors: Deb, K.; Pratap, A.; Agarwal, S.; Meyarivan, T. Related Software: SPEA2; MOEA/D; SMS-EMOA; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SciPy Cited in 963 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 1,028 Documents (2016–2024) Software Authors: Google Brain Team; Abadi, M.; Agarwal, A.; Barham, P.; Brevdo, E.; Chen, Z.; Citro, C.; Corrado, G. S.; Davis, A.; Dean, J.; Devin, M.; et al. Related Software: Adam; PyTorch; Keras; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ImageNet Cited in 1,080 Documents (2010–2025) 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); …
C4.5 Cited in 862 Documents (1991–2024) Software Authors: Quinlan, J.; RuleQuest Related Software: UCI-ml; R; WEKA; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
HE-E1GODF Cited in 1,190 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); …
KernSmooth Cited in 1,124 Documents (1993–2024) Software Authors: Wand, M. P.; Jones, M. C.; Ripley, Brian Related Software: R; pyuvdata; fda (R); … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Tabu search Cited in 1,083 Documents (1991–2024) Software Authors: Glover, Fred; Taillard, Eric; de Werra, Dominique Related Software: Scatter Search; CPLEX; VRP; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
PyTorch Cited in 890 Documents (2018–2025) 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); …
Gmsh Cited in 1,111 Documents (2003–2024) Software Authors: Geuzaine, Christophe; Remacle, Jean-François Related Software: FEniCS; PETSc; ParaView; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Genocop Cited in 978 Documents (1992–2024) Software Authors: Michalewicz, Z.; Nazhiyath, G. Related Software: NSGA-II; Tabu search; UCI-ml; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
Scikit Cited in 845 Documents (2011–2025) 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); …
L-BFGS Cited in 1,081 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); …
CVX Cited in 1,066 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); …
AUTO Cited in 1,071 Documents (1981–2024) Software Authors: Doedel; Eusebius; Champneys, Alan; Dercole, Fabio; Fairgrieve, Thomas; Kuznetsov, Yuri; Oldeman, Bart; Paffenroth, Randy; Sandstede, Bjorn; Wang, Xianjun; Zhang, Chenghai 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); …
Stata Cited in 882 Documents (1993–2024) Software Authors: StataCorp, L. P. Related Software: R; SAS; SPSS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …
Ipopt Cited in 1,012 Documents (2005–2024) Software Authors: Waechter, Andreas; Laird, Carl Related Software: AMPL; SNOPT; CPLEX; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Julia Cited in 813 Documents (2014–2025) 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); …
glmnet Cited in 937 Documents (2008–2024) Software Authors: Friedman, Jerome; Hastie, Trevor; Tibshirani, Rob Related Software: R; ElemStatLearn; glasso; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
AlexNet Cited in 908 Documents (2014–2025) 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); …
Haskell Cited in 862 Documents (1989–2025) 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); …
QRM Cited in 941 Documents (2005–2024) Software Authors: Pfaff, Bernhard; Hofert, Marius; McNeil, Alexander; Ulmann, Scott Related Software: R; CopulaModel; copula; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
GAMS Cited in 924 Documents (1984–2025) Software Authors: GAMS Development Corporation; GAMS Software GmbH Related Software: CPLEX; AMPL; BARON; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SparseMatrix Cited in 923 Documents (1997–2025) Software Authors: Davis, Timothy A; Hu, Yifan Related Software: mctoolbox; Matlab; LAPACK; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …
ARPACK Cited in 918 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); …
MathOverflow Cited in 919 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 518 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); …
Simulink Cited in 764 Documents (1994–2024) Software Authors: MathWorks, Inc. Related Software: Matlab; Ode15s; StateFlow; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …
z3 Cited in 856 Documents (2001–2025) Software Authors: Microsoft Research; de Moura, Leonardo; Bjørner, Nikolaj Related Software: CVC4; SMT-LIB; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
WinBUGS Cited in 818 Documents (1999–2024) Software Authors: Spiegelhalter, David; Thomas, Andrew; Best, Nicky; Lunn, Dave Related Software: R; BayesDA; JAGS; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
SemiPar Cited in 875 Documents (1996–2024) Software Authors: Wand, Matt; Ruppert, David; Carroll, R. J. Related Software: R; gamair; fda (R); … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
ANSYS Cited in 823 Documents (1978–2024) Software Authors: Swanson, John Related Software: ABAQUS; Matlab; FLUENT; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); …
Excel Cited in 552 Documents (1989–2025) Software Authors: Microsoft Related Software: R; Matlab; SPSS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Regularization tools Cited in 837 Documents (1994–2024) Software Authors: Hansen, Per Christian Related Software: UTV; LSQR; IR Tools; … Main Fields: Partial differential equations (35-XX); Operator theory (47-XX); Numerical analysis (65-XX); …
PDCO Cited in 792 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); …
minpack Cited in 815 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); …
HLLE Cited in 810 Documents (1983–2024) Software Authors: Harten, Amiram; Lax, Peter D.; van Leer, Bram Related Software: HE-E1GODF; AUSM; RIEMANN; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
PARI/GP Cited in 801 Documents (1992–2025) Software Authors: Cohen, Henri; Belabas, Karim; PARI Group Related Software: Magma; SageMath; ecdata; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …
deal.ii Cited in 773 Documents (1999–2025) 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); …
SDPT3 Cited in 794 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); …
mftoolbox Cited in 798 Documents (2008–2025) 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); …
OpenFOAM Cited in 761 Documents (2007–2024) Software Authors: OpenCFD Ltd (ESI Group) Related Software: GitHub; FLUENT; Spalart-Allmaras; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
COMSOL Cited in 757 Documents (2000–2024) Software Authors: COMSOL Inc. Related Software: Matlab; ABAQUS; ANSYS; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Isabelle Cited in 765 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); Order, lattices, ordered algebraic structures (06-XX); …
TSPLIB Cited in 757 Documents (1991–2024) Software Authors: Reinelt, Gerhard Related Software: Concorde; LKH; VRP; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
SPSS Cited in 572 Documents (1974–2024) Software Authors: IBM; Nie, Norman H.; Hull, C. Hadlai Related Software: SAS; R; Stata; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SPIN Cited in 635 Documents (1990–2024) Software Authors: Bell Laboratories Related Software: NuSMV; Uppaal; Bandera; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-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); …
glasso Cited in 748 Documents (2008–2025) Software Authors: Mazumder, Rahul; Hastie, Trevor; Friedman, Jerome; Tibshirani, Rob Related Software: R; glmnet; huge; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Maude Cited in 669 Documents (1984–2025) 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); …
Z-Tree Cited in 753 Documents (2001–2024) Software Authors: Fischbacher, U. Related Software: ORSEE; hroot; Stata; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Mosek Cited in 722 Documents (1999–2024) Software Authors: MOSEK ApS Related Software: YALMIP; SeDuMi; CVX; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
MACSYMA Cited in 724 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); …
nauty Cited in 722 Documents (1988–2025) 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); …
Uppaal Cited in 592 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); …
OR-Library Cited in 694 Documents (1985–2025) Software Authors: Beasley, J. E. Related Software: CPLEX; Tabu search; TSPLIB; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
longmemo Cited in 703 Documents (1994–2024) Software Authors: Beran, Jan; Whitcher, Brandon; Maechler, Martin Related Software: R; fda (R); wmtsa; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …
CoCoA Cited in 689 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 696 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); …
Spalart-Allmaras Cited in 696 Documents (1993–2024) Software Authors: NASA Langley Research Center Related Software: PETSc; OpenFOAM; Turbulence Modeling; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
MUMPS Cited in 680 Documents (2000–2024) Software Authors: Amestoy, Patrick R.; Duff, Iain S.; L’Excellent, Jean-Yves; Koster, Jacko Related Software: PETSc; FEniCS; Gmsh; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
ALGOL 60 Cited in 661 Documents (1959–2024) Software Authors: Naur, P.; Backus, J. W.; et al. Related Software: ALGOL 68; Euler; PL/I; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX); …