×

Found 4,351 Software Packages (Results 1–100)

Matlab

Software Authors:   MathWorks Inc
Cited in: 13,208 Publications (1982–2024)
Related Software: Simulink; LMI toolbox; Maple; MATLAB ODE suite; ode23; ode45; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Coq

Software Authors:   Dehlinger, Christophe; Dufourd, Jean-François
Cited in: 1,835 Publications (1993–2023)
Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

ABAQUS

Software Authors:   Simulia (Dassault Systemes); ABAQUS Inc
Cited in: 1,589 Publications (1985–2023)
Related Software: UMAT; ABAQUS/Standard; ABAQUS/Explicit; Matlab; ANSYS; LS-DYNA; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

CUDA

Software Authors:   NVIDIA; Vingelmann, Péter; Fitzek, Frank H.P.
Cited in: 1,072 Publications (2007–2023)
Related Software: OpenCL; CUBLAS; Matlab; CUSPARSE; Thrust; MPI; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

LIBSVM

Software Authors:   Chih-Chung Chang; Chih-Jen Lin
Cited in: 945 Publications (2002–2022)
Related Software: UCI-ml; LIBLINEAR; SVMlight; Matlab; C4.5; ElemStatLearn; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

KernSmooth

Software Authors:   Wand, M.P.; Jones, M.C.; Brian Ripley
Cited in: 985 Publications (1993–2022)
Related Software: R; pyuvdata; fda (R); SemiPar; SiZer; UCI-ml; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

SparseMatrix

Software Authors:   Davis, Timothy A; Hu, Yifan
Cited in: 740 Publications (1997–2023)
Related Software: LAPACK; mctoolbox; Matlab; METIS; ILUT; HSL; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

Maude

Software Authors:   Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Maude team
Cited in: 619 Publications (1984–2023)
Related Software: CafeOBJ; OBJ3; ELAN; Haskell; CASL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

PVS

Software Authors:   Sam Owre, Natarajan Shankar, John Rushby
Cited in: 606 Publications (1993–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Nuprl; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Chaff

Software Authors:   Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S
Cited in: 545 Publications (2001–2022)
Related Software: MiniSat; BerkMin; SATO; Walksat; Siege; Velev SAT Benchmarks; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

DIMACS

Software Authors:   D.S. Johnson; M. Trick
Cited in: 567 Publications (1993–2022)
Related Software: Tabu search; SATO; Chaff; Walksat; SparseMatrix; CPLEX; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

IMSL Numerical Libraries

Software Authors:   Visual Numerics, Inc.
Cited in: 572 Publications (1976–2020)
Related Software: Mathematica; SAS; ABAQUS; EISPACK; LINPACK; nag; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

OpenFOAM

Software Authors:   OpenCFD Ltd (ESI Group)
Cited in: 559 Publications (2007–2022)
Related Software: FLUENT; Matlab; ANSYS-CFX; Spalart-Allmaras; GitHub; FEATFLOW; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

FFTW

Software Authors:   MIT; Matteo Frigo; Steven G. Johnson
Cited in: 516 Publications (2000–2023)
Related Software: Matlab; ATLAS; LAPACK; CUDA; SPIRAL; BLAS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Mosek

Software Authors:   MOSEK ApS
Cited in: 517 Publications (1999–2023)
Related Software: YALMIP; SeDuMi; SDPT3; CVX; CPLEX; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

clusfind

Software Authors:   Kaufman, Leonhard; Rousseeuw, Peter J.
Cited in: 410 Publications (1990–2022)
Related Software: UCI-ml; R; Silhouettes; AS 136; mclust; ElemStatLearn; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

COMSOL

Software Authors:   COMSOL Inc.
Cited in: 447 Publications (2000–2023)
Related Software: Matlab; Python; Gmsh; ABAQUS; FEniCS; OpenFOAM; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

EnKF

Software Authors:   Evensen, Geir; P. Sakov
Cited in: 440 Publications (2003–2022)
Related Software: GSLIB; PRMLT; L-BFGS; Matlab; BayesDA; MRST; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

NAG

Software Authors:   Numerical Algorithms Group
Cited in: 417 Publications (1976–2022)
Related Software: nag; Matlab; LAPACK; mctoolbox; Maple; LINPACK; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

CGAL

Software Authors:   CGAL Editorial Board
Cited in: 382 Publications (2000–2023)
Related Software: LEDA; 2D triangulations; 2D Arrangement; Triangle; Boost; Qhull; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)

Nuprl

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
Cited in: 397 Publications (1986–2022)
Related Software: Coq; HOL; Isabelle; Automath; PVS; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Commutative algebra (13-XX)

XFEM

Software Authors:   Bordas, Stéphane Author Profile; Nguyen, Phu Vinh; Dunant, Cyrille; Guidoum, Amor; Nguyen-Dang, Hung
Cited in: 389 Publications (2002–2022)
Related Software: Matlab; Gmsh; ABAQUS; Mfree2D; CutFEM; Getfem++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

GMRFLib

Software Authors:   Rue, Haa rvard; Held, Leonhard
Cited in: 353 Publications (1991–2022)
Related Software: R; spBayes; BayesDA; FRK; Fahrmeir; R-INLA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

MIPLIB

Software Authors:   Achterberg, Tobias; Koch, Thorsten; Martin, Alexander
Cited in: 339 Publications (1994–2023)
Related Software: MIPLIB2003; CPLEX; SCIP; FEASPUMP; Benchmarks for Optimization Software; XPRESS; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)

GloptiPoly

Software Authors:   Didier Henrion; Jean-Bernard Lasserre; Johan Loefberg
Cited in: 330 Publications (2003–2022)
Related Software: SeDuMi; YALMIP; Sostools; SDPT3; Matlab; SparsePOP; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

DistMesh

Software Authors:   P.-O. Persson; G. Strang
Cited in: 316 Publications (2004–2022)
Related Software: Matlab; Triangle; rbf_qr; Gmsh; iFEM; TetGen; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Optimization Toolbox

Software Authors:   mathworks; Branch, M. A.; Coleman, T.; Grace, A.
Cited in: 303 Publications (1994–2022)
Related Software: Matlab; LMI toolbox; EGO; Robust Control Toolbox; TOMLAB; UOBYQA; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-XX)

astsa

Software Authors:   David Stoffer
Cited in: 293 Publications (1986–2023)
Related Software: R; itsmr; forecast; BayesDA; BayesSpec; spBayes; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Visual Basic

Software Authors:   Microsoft
Cited in: 168 Publications (1993–2022)
Related Software: VBA; Excel; Access; Matlab; Delphi; PERL; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

gmp

Software Authors:   Granlund
Cited in: 275 Publications (1995–2023)
Related Software: MPFR; NTL; PARI/GP; SageMath; Magma; Mathematica; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX)

ANFIS

Software Authors:   Jang, J.-S.R.
Cited in: 205 Publications (1995–2022)
Related Software: UCI-ml; Genocop; DENFIS; Matlab; HyFIS; Fuzzy Logic Toolbox; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

UTV

Software Authors:   Fierro, Ricardo D.; Hansen, Per Christian
Cited in: 279 Publications (1997–2023)
Related Software: Regularization tools; Matlab; LSQR; AIR tools; VanHuffel; RestoreTools; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Kronos

Software Authors:   Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Cited in: 243 Publications (1997–2021)
Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MapReduce

Software Authors:   Pan, Jie; Magoulès, Frédéric; Le Biannic, Yann
Cited in: 198 Publications (2008–2022)
Related Software: Hadoop; Spark; Dryad; Apache Spark; UCI-ml; Haskell; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

SVMlight

Software Authors:   Thorsten Joachims
Cited in: 210 Publications (2000–2022)
Related Software: LIBSVM; UCI-ml; SVMTorch; Matlab; GPDT; SSVM; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DYNAMO

Software Authors:   Jay Wright Forrester, Phyllis Fox, Alexander L. Pugh III, Grace Duren
Cited in: 248 Publications (1968–2022)
Related Software: Vensim; STELLA; AnyLogic; NetLogo; Cognizer; SEXTANT; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ADOL-C

Software Authors:   Andrea Walther, Andreas Kowarz, Andreas Griewank
Cited in: 253 Publications (1991–2023)
Related Software: ADIFOR; TAPENADE; ADIC; Matlab; TAF; FADBAD++; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

CSparse

Software Authors:   Davis, Timothy A.
Cited in: 257 Publications (2006–2023)
Related Software: SparseMatrix; Matlab; symrcm; MUMPS; UMFPACK; PARDISO; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

MENU-OKF

Software Authors:   Daskin, Mark S.
Cited in: 252 Publications (1995–2022)
Related Software: MOD-DIST; SITATION; OR-Library; CPLEX; Tabu search; AMPL; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

MOD-DIST

Software Authors:   Daskin, Mark S.
Cited in: 252 Publications (1995–2022)
Related Software: MENU-OKF; SITATION; OR-Library; CPLEX; Tabu search; AMPL; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Algorithm 432

Software Authors:   Bartels, R. H.; Stewart, G. W.
Cited in: 251 Publications (1972–2022)
Related Software: mctoolbox; Matlab; LYAPACK; LAPACK; mftoolbox; RICPAC; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

FGb

Software Authors:   J.-C. Faugère
Cited in: 249 Publications (1998–2023)
Related Software: Magma; SINGULAR; Maple; ISOLATE; Kronecker; FLASH; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

SITATION

Software Authors:   Daskin, Mark S.
Cited in: 244 Publications (1995–2022)
Related Software: MENU-OKF; MOD-DIST; OR-Library; CPLEX; Tabu search; AMPL; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Schwarz-Christoffel

Software Authors:   Tobin A. Driscoll
Cited in: 246 Publications (1996–2022)
Related Software: SC Toolbox; Matlab; SCPACK; cap; Algorithm 785; FMMLIB2D; …
Main Fields: Functions of a complex variable (30-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

XPRESS

Software Authors:   FICO
Cited in: 233 Publications (1989–2022)
Related Software: CPLEX; SCIP; MIPLIB; Gurobi; MIPLIB2003; AMPL; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

MPT

Software Authors:   M. Kvasnica; P. Grieder; M. Baoti; ETH Zürich; Borrelli, Francesco
Cited in: 234 Publications (2004–2022)
Related Software: YALMIP; CPLEX; Matlab; Hybrid Toolbox; Gurobi; fast_mpc; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

COBOL

Software Authors:   Grace Hopper
Cited in: 170 Publications (1960–2020)
Related Software: PL/I; ALGOL 60; Ada95; dBase; DB2; ASF+SDF; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Numerical analysis (65-XX)

word2vec

Software Authors:   Tomas Mikolov et. al.
Cited in: 228 Publications (2015–2023)
Related Software: GloVe; node2vec; DeepWalk; BERT; ImageNet; Adam; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

OpenCL

Software Authors:   Khronos OpenCL Working Group
Cited in: 186 Publications (2009–2023)
Related Software: CUDA; MPI; OpenACC; Matlab; PyOpenCL; CUBLAS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

PhaseLift

Software Authors:   Candès, Emmanuel J.; Eldar, Yonina C.; Strohmer, Thomas; Voroninski, Vladislav
Cited in: 228 Publications (2012–2022)
Related Software: Wirtinger Flow; GESPAR; PhaseMax; TFOCS; CVX; SparsePR; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Numerical analysis (65-XX)

BVPh

Software Authors:   Liao, Shijun
Cited in: 219 Publications (2008–2022)
Related Software: Matlab; Mathematica; bvp4c; Adam; minpack; NewtonLib; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Chord

Software Authors:   Stoica, I., Morris, R., Karger, D., Kaashoek, M. F., Balakrishnan, H
Cited in: 87 Publications (2003–2022)
Related Software: Pastry; BATON; Globus Toolkit; SCRIBE; BOINC; Dynamo; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Boost

Software Authors:   Siek J; Lee L; Lumsdaine A; J. Maurer; S. Watanabe
Cited in: 184 Publications (2004–2022)
Related Software: Boost C++ Libraries; BGL; CGAL; PETSc; LAPACK; CUDA; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

FEATFLOW

Software Authors:   S Turek, C Becker
Cited in: 207 Publications (1998–2022)
Related Software: OpenFOAM; MooNMD; ANSYS-CFX; PETSc; RODAS; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

HYPLAS

Software Authors:   De Souza Neto EA, Perić D, Owen DRJ
Cited in: 205 Publications (1996–2022)
Related Software: ABAQUS; FEAPpv; Matlab; Trilinos; AceFEM; CutFEM; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

LMFDB

Software Authors:   http://www.lmfdb.org/acknowledgment
Cited in: 201 Publications (2014–2023)
Related Software: Magma; SageMath; PARI/GP; GitHub; ecdata; DLMF; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Special functions (33-XX)

CAViaR

Software Authors:   Robert F Engle; Simone Manganelli
Cited in: 194 Publications (2001–2022)
Related Software: QRM; RiskMetrics; Dowd; R; quantilogram; BayesDA; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

DUNE

Software Authors:   P. Bastian, M. Blatt, A. Dedner, C. Engwer, R. Klöfkorn, R. Kornhuber, M. Ohlberger, O. Sander
Cited in: 183 Publications (2006–2023)
Related Software: PDELab; deal.ii; UG; DuMuX; PETSc; ISTL; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

dBase

Software Authors:   –
Cited in: 30 Publications (1986–2009)
Related Software: Multiplan; Lotus 1-2-3; COBOL; Clipper; Excel; Turbo Pascal; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

UG

Software Authors:   Bastian, P.; Birken, K.; Johannsen, K.; Lang, S.; Neuß, N.; Rentz-Reichert, H.; Wieners, C.
Cited in: 177 Publications (1994–2021)
Related Software: DUNE; PETSc; PLTMG; deal.ii; UMFPACK; Diffpack; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

CRONE

Software Authors:   Michel Alexeline, Rachid Malti, Patrick Lanusse, Pierre Melchior, Alain Oustaloup
Cited in: 188 Publications (1995–2022)
Related Software: Ninteger; DFOC; Matlab; sysdfod; Fractional Order Chaotic Systems; Robotics; …
Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)

Scilab

Software Authors:   Scilab Enterprises; Ricardo Fabbri
Cited in: 169 Publications (1999–2022)
Related Software: Matlab; Octave; R; Mathematica; Maple; Scicos; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

JavaScript

Software Authors:   Flanagan
Cited in: 140 Publications (1996–2023)
Related Software: Python; PHP; Node.js; GitHub; MySQL; JSAI; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

ALBERTA

Software Authors:   Alfred Schmidt, Kunibert G. Siebert, Claus-Justus Heine, Daniel Köster, Oliver Kriessl
Cited in: 179 Publications (2005–2021)
Related Software: UMFPACK; ALBERT; DUNE; deal.ii; FEniCS; PETSc; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Neural Network Toolbox

Software Authors:   Demuth, H.B.,Beale, M., Hagan, M.T.
Cited in: 131 Publications (1995–2021)
Related Software: Matlab; UCI-ml; Optimization Toolbox; C4.5; Wavelet Toolbox; Fuzzy Logic Toolbox; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

GOLOG

Software Authors:   Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
Cited in: 157 Publications (1996–2022)
Related Software: ConGolog; AgentSpeak; METATEM; Graphplan; Jason; CCalc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MatrixMarket

Software Authors:   Boisvert, R., Pozo, R., Remington, K., Barrett, R., Dongarra, J
Cited in: 168 Publications (1999–2023)
Related Software: SparseMatrix; Matlab; Harwell-Boeing sparse matrix collection; JDQZ; JDQR; LAPACK; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

REDLOG

Software Authors:   Andreas Dolzmann; Thomas Sturm; Weispfenning, Volker
Cited in: 167 Publications (1997–2022)
Related Software: QEPCAD; z3; Maple; REDUCE; RSOLVER; DISCOVERER; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Cited in: 159 Publications (1986–2022)
Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

CESAR

Software Authors:   Queille, J.P.; Sifakis, J.
Cited in: 149 Publications (1982–2021)
Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SOCS

Software Authors:   Boeing; Betts, J.T.; Huffman, W.P
Cited in: 155 Publications (1999–2022)
Related Software: Ipopt; GPOPS; SNOPT; Matlab; OTIS; ACADO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

Isar

Software Authors:   Makarius Wenzel
Cited in: 147 Publications (2000–2022)
Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

DiffSharp

Software Authors:   Baydin, A.G., Pearlmutter, B.A.
Cited in: 149 Publications (2016–2023)
Related Software: Adam; TensorFlow; PyTorch; DGM; ImageNet; DeepXDE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

rbMIT

Software Authors:   Phuong Huynh; Ngoc-Cuong Nguyen; A.T. Patera and G. Rozza
Cited in: 147 Publications (2007–2022)
Related Software: redbKIT; RBmatlab; DUNE; Loewner; deal.ii; Matlab; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

NUTS

Software Authors:   Matthew D. Hoffman, Andrew Gelman
Cited in: 141 Publications (2013–2023)
Related Software: Stan; BayesDA; R; RStan; PyMC; UCI-ml; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

CLAWPACK

Software Authors:   LeVeque, Randall J.
Cited in: 139 Publications (1996–2022)
Related Software: AMRCLAW; Pyclaw; HE-E1GODF; PyWENO; SharpClaw; GEOCLAW; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

NLEVP

Software Authors:   T. Betcke, N. J. Higham, V. Mehrmann, C. Schröder, and F. Tisseur
Cited in: 140 Publications (2010–2023)
Related Software: JDQZ; NLEIGS; JDQR; quadeig; Matlab; SLEPc; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functions of a complex variable (30-XX); Partial differential equations (35-XX)

PMA

Software Authors:   Daniela Witten, Rob Tibshirani, Sam Gross, Balasubramanian Narasimhan
Cited in: 140 Publications (2009–2022)
Related Software: R; glasso; ElemStatLearn; glmnet; GitHub; YALMIP; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MADM

Software Authors:   Rao, R. Venkata
Cited in: 127 Publications (1998–2022)
Related Software: ELECTRE; VIKOR; NBI; FLINTSTONES; SimLean; Mathematica; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

MIM

Software Authors:   Edwards, David
Cited in: 133 Publications (1995–2023)
Related Software: glasso; TETRAD; R; CoCo; huge; GMRFLib; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

MONA

Software Authors:   Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I.; Elgaard, J.
Cited in: 134 Publications (1995–2022)
Related Software: z3; DCVALID; Isabelle/HOL; NuSMV; Uppaal; SIMPLIFY; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Boost C++ Libraries

Software Authors:   http://www.boost.org/community/, Beman Dawes, David Abrahams, Rene Rivera
Cited in: 113 Publications (2005–2023)
Related Software: Boost; BGL; PETSc; Eigen; CGAL; Matlab; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Manopt

Software Authors:   Nicolas Boumal; Bamdev Mishra; P.-A. Absil; Rodolphe Sepulchre
Cited in: 132 Publications (2013–2023)
Related Software: RTRMC; Pymanopt; Matlab; ROPTLIB; UCI-ml; SDPLR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

ELECTRE

Software Authors:   Figueira, J., Mousseau, V., Roy, B
Cited in: 129 Publications (1981–2023)
Related Software: UTA Plus; VisualUTA; M-MACBETH; MADM; IRIS; NAIADE; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

TFOCS

Software Authors:   Stephen Becker, Emmanuel J. Candès, Michael Grant
Cited in: 134 Publications (2011–2022)
Related Software: NESTA; PDCO; PhaseLift; glmnet; ElemStatLearn; SDPT3; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

OpenCV

Software Authors:   G. Bradski
Cited in: 63 Publications (2008–2023)
Related Software: Python; NumPy; Matplotlib; LIBSVM; SciPy; Scikit; …
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Biology and other natural sciences (92-XX)

Modelica

Software Authors:   Yebra, L.J.; Berenguel, M.; Dormido, S.; Zarza, E.
Cited in: 116 Publications (2000–2022)
Related Software: Dymola; Matlab; OpenModelica; Simulink; JModelica; RODAS; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

GeoPDEs

Software Authors:   de Falco, C.; Reali, A.; Vázquez, R.
Cited in: 128 Publications (2011–2023)
Related Software: ISOGAT; IETI; PetIGA; Igatools; Matlab; NURBS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

NAS Parallel Benchmarks

Software Authors:   NASA
Cited in: 72 Publications (1992–2018)
Related Software: MPI/MPICH; MPI; CUDA; Intel MPI Benchmarks; CoArray; Jumpshot; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

JBool

Software Authors:   Claude Benzaken; Nadia Brauner
Cited in: 127 Publications (2008–2022)
Related Software: OEIS; MiniSat; GitHub; C4.5; Scikit; UCI-ml; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

shiny

Software Authors:   W. Chang, J. Cheng, J.J. Allaire, Y. Xie, J. McPherson
Cited in: 49 Publications (2014–2022)
Related Software: R; ggplot2; RStudio; knitr; plotly; Rcpp; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

BMDP

Software Authors:   Wilfrid Dixon; Bentler, P.M.
Cited in: 116 Publications (1980–2018)
Related Software: SAS; SPSS; EQS; LISREL; MINITAB; SAS/STAT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

Java PathFinder

Software Authors:   Havelund, Klaus; Pressburger, Thomas
Cited in: 92 Publications (2000–2021)
Related Software: SPIN; Bandera; veriSoft; CUTE; DART; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

CandS

Software Authors:   Alfred Gray, Rolf Sulanke
Cited in: 117 Publications (2005–2023)
Related Software: Mathematica; DLMF; Maple; hlib; ShNAPr; CouDALFISh; …
Main Fields: Partial differential equations (35-XX); Differential geometry (53-XX); Global analysis, analysis on manifolds (58-XX)

CMPGRD

Software Authors:   Chesshire, G.; Henshaw, W.D.
Cited in: 120 Publications (1990–2022)
Related Software: Ogen; OVERFLOW; Overture; PETSc; SUGGAR++; HLLE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

BEMECH

Software Authors:   Gao, Xiao-Wei; Davies, Trevor G.
Cited in: 119 Publications (2002–2022)
Related Software: RIM_DOM.F90; GeoPDEs; BDEM; ISOGAT; Mfree2D; INSANE; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Chaco

Software Authors:   B. Hendrickson; R. Leland
Cited in: 107 Publications (1995–2020)
Related Software: METIS; Scotch; ParMETIS; PETSc; PARTY; MESHPART; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

APCluster

Software Authors:   Brendan J. Frey; Delbert Dueck; Ulrich Bodenhofer , Johannes Palme , Chrats Melkonian , Andreas Kothmeier
Cited in: 91 Publications (2007–2022)
Related Software: apcluster; UCI-ml; clusfind; AS 136; R; ElemStatLearn; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Anderson

Software Authors:   Homer F. Walker; Peng Ni
Cited in: 114 Publications (2011–2023)
Related Software: NKA; UMFPACK; GitHub; PETSc; SCS; Poblano; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

np

Software Authors:   Tristen Hayfield, Jeffrey S. Racine
Cited in: 94 Publications (2008–2022)
Related Software: R; KernSmooth; quantreg; ggplot2; GAMLSS; boot; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)