×

Found 1,556 Software Packages (Results 1–100)

Matlab

Software Authors:   MathWorks Inc
Referenced in: 12,950 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)

R

Software Authors:   Hadley Wickham; Robert Gentleman; Ross Ihaka; John M. Chambers; William N. Venables; Brian D. Ripley
Referenced in: 8,334 Publications (1978–2023)
Related Software: CRAN; SAS; MASS (R); ggplot2; S-PLUS; Matlab; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Mathematica

Software Authors:   Wolfram Research
Referenced in: 6,162 Publications (1986–2023)
Related Software: Maple; Matlab; R; SageMath; MACSYMA; DLMF; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Maple

Software Authors:   Waterloo Maple Inc.
Referenced in: 5,177 Publications (1983–2023)
Related Software: Mathematica; Matlab; MACSYMA; Magma; SINGULAR; REDUCE; …
Main Fields: Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

OEIS

Software Authors:   Sloane, Neil J. A.; The OEIS Foundation Inc.
Referenced in: 4,288 Publications (1973–2022)
Related Software: SageMath; GAP; Mathematica; DLMF; Maple; Magma; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX)

UCI-ml

Software Authors:   David Aha, Patrick Murphy, Christopher Merz, Eamonn Keogh, Cathy Blake, Seth Hettich, David Newman
Referenced in: 2,691 Publications (1995–2022)
Related Software: C4.5; LIBSVM; R; ElemStatLearn; AdaBoost.MH; PRMLT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Magma

Software Authors:   W. Bosma, A. Steel, G. Matthews, D. Fisher, J. Cannon, S. Contini, B. Smith
Referenced in: 3,356 Publications (1994–2023)
Related Software: GAP; SageMath; PARI/GP; SINGULAR; Maple; Code Tables; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX)

GAP

Software Authors:   GAP Group
Referenced in: 3,228 Publications (1990–2023)
Related Software: Magma; SageMath; ATLAS Group Representations; CHEVIE; nauty; GRAPE; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX)

GitHub

Software Authors:   github
Referenced in: 3,020 Publications (2010–2022)
Related Software: R; Matlab; Python; Adam; TensorFlow; SageMath; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

DLMF

Software Authors:   Lozier, Daniel W.
Referenced in: 2,885 Publications (2000–2022)
Related Software: Mathematica; Matlab; OEIS; Chebfun; GitHub; Maple; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)

CPLEX

Software Authors:   IBM
Referenced in: 2,696 Publications (1992–2022)
Related Software: Gurobi; SCIP; GAMS; AMPL; MIPLIB; Matlab; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Python

Software Authors:   Guido van Rossum
Referenced in: 1,028 Publications (1991–2023)
Related Software: SciPy; NumPy; Matplotlib; Scikit; Matlab; PyTorch; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SageMath

Software Authors:   The Sage Developers; William Stein; David Joyner; David Kohel; John Cremona; Eröcal, Burçin
Referenced in: 2,025 Publications (2002–2022)
Related Software: Magma; GAP; OEIS; SINGULAR; Sage-Combinat; PARI/GP; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX)

Macaulay2

Software Authors:   Grayson, Daniel R.; Stillman, Michael E.; Eisenbud, David; http://www.math.uiuc.edu/Macaulay2/Contributors/
Referenced in: 1,932 Publications (1988–2022)
Related Software: SINGULAR; CoCoA; SageMath; Bertini; Magma; Maple; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

Coq

Software Authors:   Dehlinger, Christophe; Dufourd, Jean-François
Referenced in: 1,799 Publications (1993–2022)
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)

LAPACK

Software Authors:   LAPACK team: lapack@cs.utk.edu
Referenced in: 1,647 Publications (1988–2022)
Related Software: BLAS; ScaLAPACK; Matlab; mctoolbox; LINPACK; ARPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

ElemStatLearn

Software Authors:   Kjetil Halvorsen
Referenced in: 1,458 Publications (2001–2022)
Related Software: R; UCI-ml; PRMLT; glmnet; fda (R); AdaBoost.MH; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SINGULAR

Software Authors:   Wolfram Decker; Gert-Martin Greuel; Gerhard Pfister; Hans Schönemann
Referenced in: 1,508 Publications (1991–2023)
Related Software: Macaulay2; CoCoA; Magma; SageMath; Maple; primdec; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX)

mctoolbox

Software Authors:   Nick Higham
Referenced in: 1,516 Publications (1995–2022)
Related Software: LAPACK; Matlab; mftoolbox; SparseMatrix; BLAS; INTLAB; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

LMI toolbox

Software Authors:   MathWorks; Gahinet, P.; Nemirovskii, A.; Laub, A.J.; Chilali, M.
Referenced in: 1,451 Publications (1995–2022)
Related Software: Matlab; Control System Toolbox; SeDuMi; YALMIP; Mu Analysis and Synthesis Toolbox; SDPT3; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Operations research, mathematical programming (90-XX)

CUDA

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

SeDuMi

Software Authors:   Sturm J.F
Referenced in: 1,271 Publications (1999–2022)
Related Software: YALMIP; SDPT3; GloptiPoly; Sostools; CVX; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PRMLT

Software Authors:   C. Bishop
Referenced in: 1,111 Publications (2006–2022)
Related Software: UCI-ml; ElemStatLearn; PMTK; R; Adam; BayesDA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

YALMIP

Software Authors:   Johan Löfberg
Referenced in: 1,053 Publications (2004–2023)
Related Software: SeDuMi; SDPT3; Mosek; Matlab; Sostools; GloptiPoly; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Isabelle/HOL

Software Authors:   Naraschewski, Wolfgang; Nipkow, Tobias
Referenced in: 957 Publications (1996–2022)
Related Software: Isabelle; Coq; HOL; Archive Formal Proofs; PVS; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

Adam

Software Authors:   Diederik P. Kingma, Jimmy Ba
Referenced in: 917 Publications (2016–2022)
Related Software: TensorFlow; ImageNet; PyTorch; AlexNet; GitHub; AdaGrad; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

AUTO

Software Authors:   Doedel, Eusebius, Alan Champneys, Fabio Dercole, Thomas Fairgrieve, Yuri Kuznetsov, Bart Oldeman, Randy Paffenroth, Bjorn Sandstede, Xianjun Wang, and Chenghai Zhang
Referenced in: 951 Publications (1981–2022)
Related Software: AUTO-07P; HomCont; AUTO-86; MATCONT; XPPAUT; Matlab; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Haskell

Software Authors:   –
Referenced in: 802 Publications (1989–2022)
Related Software: Coq; ML; GHC; Isabelle/HOL; QuickCheck; Maude; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

FEniCS

Software Authors:   Simula Research Laboratory, University of Cambridge, University of Chicago, Texas Tech University and KTH Royal Institute of Technology
Referenced in: 842 Publications (2007–2022)
Related Software: SyFi; PETSc; DOLFIN; Gmsh; Python; deal.ii; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

CVX

Software Authors:   Michael Grant; Stephen Boyd
Referenced in: 852 Publications (2006–2022)
Related Software: SeDuMi; SDPT3; YALMIP; Mosek; Matlab; PDCO; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ARPACK

Software Authors:   Lehoucq; Sorensen; Yang
Referenced in: 834 Publications (1995–2022)
Related Software: eigs; JDQZ; JDQR; LAPACK; Matlab; Eigtool; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

SciPy

Software Authors:   Jones, E., Oliphant, T., Peterson, P., et al.
Referenced in: 541 Publications (2005–2022)
Related Software: Python; NumPy; Matplotlib; Scikit; GitHub; TensorFlow; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

REDUCE

Software Authors:   Anthony C. Hearn; Rayna, Gerhard; Rainer Schöpf; Thomas Sturm
Referenced in: 733 Publications (1970–2021)
Related Software: Maple; Mathematica; MACSYMA; DIMSYM; EXCALC; AXIOM; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Gurobi

Software Authors:   Zonghau Gu; Ed Rothberg; Bob Bixby; Gurobi Optimization, Inc.
Referenced in: 722 Publications (2010–2022)
Related Software: CPLEX; SCIP; GitHub; Ipopt; Mosek; Julia; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

minpack

Software Authors:   Garbow B, Hillstrom K, More J
Referenced in: 736 Publications (1979–2022)
Related Software: CUTEr; L-BFGS; HYBRJ; CUTE; KELLEY; GQTPAR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ImageNet

Software Authors:   J. Deng, W. Dong, R. Socher, L.-J. Li, K. Li, L. Fei-Fei
Referenced in: 646 Publications (2010–2022)
Related Software: AlexNet; Adam; TensorFlow; PyTorch; CIFAR; darch; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MACSYMA

Software Authors:   symbolics
Referenced in: 713 Publications (1971–2022)
Related Software: Maple; Mathematica; REDUCE; HIROTA.MAX; ATFM; Matlab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Isabelle

Software Authors:   Larry Paulson, Tobias Nipkow, Makarius Wenzel
Referenced in: 700 Publications (1990–2022)
Related Software: Isabelle/HOL; HOL; Coq; PVS; ML; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

PDCO

Software Authors:   Saunders, M.A
Referenced in: 685 Publications (1999–2022)
Related Software: CoSaMP; SPGL1; NESTA; glmnet; ElemStatLearn; CVX; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SDPT3

Software Authors:   Toh, K.C.; Todd, M.J.; Tütüncü, R.H.
Referenced in: 698 Publications (1986–2022)
Related Software: SeDuMi; YALMIP; CVX; SDPA; CSDP; Mosek; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Maude

Software Authors:   Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Maude team
Referenced in: 613 Publications (1984–2022)
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)

TensorFlow

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
Referenced in: 508 Publications (2016–2022)
Related Software: Adam; PyTorch; Keras; Python; ImageNet; GitHub; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

CoCoA

Software Authors:   CoCoa-Team; Robbiano, Lorenzo
Referenced in: 644 Publications (1989–2022)
Related Software: Macaulay2; SINGULAR; CoCoALib; Maple; Mathematica; Magma; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

Uppaal

Software Authors:   Uppsala University, Sweden; Aalborg University in Denmark
Referenced in: 539 Publications (1990–2022)
Related Software: Kronos; HyTech; SPIN; PRISM; IF-2.0; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PARI/GP

Software Authors:   Henri Cohen; Karim Belabas; PARI group
Referenced in: 648 Publications (1992–2022)
Related Software: Magma; SageMath; ecdata; GAP; Mathematica; Maple; …
Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)

deal.ii

Software Authors:   Bangerth W, Hartman R, Kanschat G
Referenced in: 626 Publications (1999–2022)
Related Software: Trilinos; PETSc; FEniCS; p4est; UMFPACK; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Scikit

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
Referenced in: 462 Publications (2011–2022)
Related Software: Python; SciPy; NumPy; TensorFlow; GitHub; UCI-ml; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

KELLEY

Software Authors:   Kelley, C.T.
Referenced in: 642 Publications (1995–2022)
Related Software: minpack; Matlab; L-BFGS; IMFIL; NITSOL; DFO; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

PVS

Software Authors:   Sam Owre, Natarajan Shankar, John Rushby
Referenced in: 603 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)

mftoolbox

Software Authors:   N. J. Higham
Referenced in: 637 Publications (2008–2022)
Related Software: mctoolbox; Matlab; MATLAB expm; Expokit; SparseMatrix; Eigtool; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX)

z3

Software Authors:   Microsoft Research; Leonardo de Moura; Nikolaj Bjørner
Referenced in: 593 Publications (2001–2022)
Related Software: SMT-LIB; CVC4; Yices; Coq; Isabelle/HOL; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

nauty

Software Authors:   Brendan McKay; Adolfo Piperno
Referenced in: 620 Publications (1988–2022)
Related Software: Traces; GAP; GRAPE; OEIS; SageMath; Magma; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

AMPL

Software Authors:   Fourer, R., Gay, D.M., Kernighan, B.W.
Referenced in: 605 Publications (1989–2022)
Related Software: CPLEX; Ipopt; GAMS; SNOPT; MINOS; Matlab; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

JDQZ

Software Authors:   D.R. Fokkema; G.L.G. Sleijpen; H.A. van der Vorst
Referenced in: 604 Publications (1996–2022)
Related Software: JDQR; ARPACK; eigs; IRAM; lobpcg.m; LAPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

MathOverflow

Software Authors:   Stack Exchange Inc
Referenced in: 603 Publications (2010–2022)
Related Software: OEIS; SageMath; GitHub; Magma; GAP; DLMF; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

HOL

Software Authors:   Gordon, Michael J. C.
Referenced in: 575 Publications (1985–2022)
Related Software: Isabelle; Isabelle/HOL; ML; Coq; HOL Light; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

NumPy

Software Authors:   Oliphant, T. E.
Referenced in: 277 Publications (2000–2022)
Related Software: Python; SciPy; Matplotlib; Scikit; pandas; TensorFlow; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Chaff

Software Authors:   Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S
Referenced in: 538 Publications (2001–2021)
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)

MiniSat

Software Authors:   Niklas Eén, Niklas Sörensson
Referenced in: 548 Publications (2003–2022)
Related Software: Chaff; BerkMin; Lingeling; z3; PicoSAT; SATO; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

FFTW

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

SCIP

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
Referenced in: 548 Publications (2005–2022)
Related Software: CPLEX; MIPLIB; Gurobi; ANTIGONE; BARON; Ipopt; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

AlexNet

Software Authors:   Alex Krizhevsky, Ilya Sutskever, Geoffrey E Hinton
Referenced in: 525 Publications (2014–2022)
Related Software: ImageNet; Adam; TensorFlow; darch; CIFAR; GitHub; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Eigtool

Software Authors:   Thomas G. Wright; Nick Trefethen; Mark Embree
Referenced in: 536 Publications (1996–2022)
Related Software: ARPACK; Seigtool; Matlab; eigs; mctoolbox; mftoolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Operator theory (47-XX)

LINPACK

Software Authors:   Department of Mathematics - University of Utah; J. Dongarra, J. Bunch, C. Moler, G. W. Stewart
Referenced in: 498 Publications (1979–2022)
Related Software: LAPACK; EISPACK; BLAS; Matlab; ScaLAPACK; mctoolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

MPI

Software Authors:   Fike, Jeffrey A.; Alonso, Juan J.
Referenced in: 471 Publications (1990–2022)
Related Software: LAPACK; CUDA; PETSc; ScaLAPACK; BLAS; PVM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

JDQR

Software Authors:   Gerard L.G. Sleijpen
Referenced in: 507 Publications (1996–2022)
Related Software: JDQZ; ARPACK; eigs; LAPACK; IRAM; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Mosek

Software Authors:   MOSEK ApS
Referenced in: 491 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)

Knapsack

Software Authors:   Pisinger, David; Toth, Paolo
Referenced in: 496 Publications (1995–2022)
Related Software: CPLEX; MULKNAP; OR-Library; Tabu search; SCIP; Gurobi; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Julia

Software Authors:   Bezanson J, Karpinski S, Shah VB, Edelman A
Referenced in: 394 Publications (2014–2022)
Related Software: GitHub; JuMP; DifferentialEquations.jl; R; Gurobi; Python; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Mizar

Software Authors:   Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Robert Milewski; Adam Naumowicz; Andrzej Trybulec; Josef Urban
Referenced in: 504 Publications (1983–2021)
Related Software: Coq; Isabelle/HOL; HOL Light; Isabelle; Isar; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

EISPACK

Software Authors:   Brian Smith, James Boyle, Jack Dongarra, Burton Garbow, Y. Ikebe, V. Klema, Cleve Moler
Referenced in: 489 Publications (1974–2022)
Related Software: LAPACK; LINPACK; BLAS; Matlab; ScaLAPACK; ARPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

PyTorch

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
Referenced in: 315 Publications (2018–2022)
Related Software: TensorFlow; Adam; Python; ImageNet; GitHub; Scikit; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

INTLAB

Software Authors:   Rump, Siegfried M.
Referenced in: 470 Publications (1999–2022)
Related Software: Matlab; mctoolbox; C-XSC 2.0; C-XSC; INTOPT_90; VERSOFT; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

BRENT

Software Authors:   Richard Brent; John Burkardt
Referenced in: 454 Publications (1971–2022)
Related Software: R; minpack; Matlab; GitHub; KELLEY; DFO; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

MATCONT

Software Authors:   Dhooge, A.; Sautois, B.; Govaerts, W.; Kuznetsov, Yu.A.
Referenced in: 453 Publications (2003–2022)
Related Software: AUTO; Matlab; CL_MATCONT; HomCont; AUTO-07P; XPPAUT; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

OPQ

Software Authors:   Gautschi, Walter
Referenced in: 442 Publications (2004–2022)
Related Software: Matlab; DLMF; OrthogonalPolynomials; ORTHPOL; Mathematica; Chebfun; …
Main Fields: Special functions (33-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX)

TETRAD

Software Authors:   Clark Glymour; Richard Scheines; Peter Spirtes; Joseph Ramsey
Referenced in: 420 Publications (1993–2022)
Related Software: pcalg; R; MIM; bnlearn; glasso; UCI-ml; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Statistics (62-XX)

Chebfun

Software Authors:   ChebfunTeam; A Driscoll, N. Hale, L. N. Trefethen
Referenced in: 427 Publications (2004–2022)
Related Software: Matlab; DLMF; Chebfun2; mctoolbox; GitHub; chebop; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

NAG

Software Authors:   Numerical Algorithms Group
Referenced 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)

UMFPACK

Software Authors:   Davis, Timothy A.
Referenced in: 408 Publications (1996–2022)
Related Software: FreeFem++; PETSc; deal.ii; MUMPS; Trilinos; LAPACK; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

GeoGebra

Software Authors:   –
Referenced in: 185 Publications (2007–2022)
Related Software: Geometer's Sketchpad; Cinderella; GEX; GeoThms; SINGULAR; SageMath; …
Main Fields: General and overarching topics; collections (00-XX); Commutative algebra (13-XX); Geometry (51-XX)

Matplotlib

Software Authors:   John Hunter, Darren Dale, Eric Firing, Michael Droettboom and the matplotlib development team
Referenced in: 225 Publications (2007–2022)
Related Software: Python; NumPy; SciPy; Scikit; IPython; pandas; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

CGAL

Software Authors:   CGAL Editorial Board
Referenced in: 370 Publications (2000–2022)
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)

TPTP

Software Authors:   Geoff Sutcliffe; Christian Suttner
Referenced in: 388 Publications (1994–2021)
Related Software: VAMPIRE; E Theorem Prover; SPASS; Isabelle/HOL; OTTER; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-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
Referenced in: 392 Publications (1986–2022)
Related Software: Coq; HOL; Isabelle; PVS; Automath; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Commutative algebra (13-XX)

symrcm

Software Authors:   George, Alan; Joseph Liu; Gilbert, John R.; Cleve Moler; Robert Schreiber
Referenced in: 382 Publications (1979–2022)
Related Software: SparseMatrix; CSparse; LAPACK; METIS; Matlab; ILUT; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

BARON

Software Authors:   Sahinidis, Nikolaos V.
Referenced in: 364 Publications (1996–2022)
Related Software: GAMS; CPLEX; SCIP; ANTIGONE; LINDO; Ipopt; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MersenneTwister

Software Authors:   Matsumoto, Makoto; Nishimura, Takuji
Referenced in: 332 Publications (1998–2022)
Related Software: TestU01; R; Diehard; CUDA; GSL; TOMS659; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

FORM

Software Authors:   Kuipers, J.; Ueda, T.; Vermaseren, J.A.M.; Vollinga, J.
Referenced in: 337 Publications (1993–2022)
Related Software: Mincer; Axodraw; Reduze; Mathematica; Forcer; FeynArts; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Quantum theory (81-XX)

UNLocBoX

Software Authors:   Nathanael Perraudin
Referenced in: 340 Publications (2010–2022)
Related Software: PDCO; NESTA; SPGL1; RecPF; GitHub; TFOCS; …
Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

HyTech

Software Authors:   Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.
Referenced in: 312 Publications (1996–2021)
Related Software: Uppaal; PHAVer; Kronos; SPIN; SpaceEx; d/dt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Qhull

Software Authors:   C. Bradford Barber , Hannu Huhdanpaa
Referenced in: 311 Publications (1996–2022)
Related Software: Matlab; CGAL; Triangle; TetGen; UCI-ml; Mathematica; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ecdata

Software Authors:   J. E. Cremona
Referenced in: 330 Publications (1992–2022)
Related Software: Magma; SageMath; PARI/GP; LMFDB; mwrank; APECS; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Group theory and generalizations (20-XX)

CGS

Software Authors:   Sonneveld, Peter
Referenced in: 329 Publications (1986–2022)
Related Software: BiCGstab; GpBiCg; na1; SparseMatrix; symrcm; Harwell-Boeing sparse matrix collection; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

GloptiPoly

Software Authors:   Didier Henrion; Jean-Bernard Lasserre; Johan Loefberg
Referenced in: 326 Publications (2003–2022)
Related Software: SeDuMi; YALMIP; Sostools; SDPT3; Matlab; SparsePOP; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

polymake

Software Authors:   Ewgenij Gawrilow, Michael Joswig, and the polymake team
Referenced in: 325 Publications (2000–2022)
Related Software: Macaulay2; Gfan; Normaliz; SINGULAR; GAP; TOPCOM; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)

OTTER

Software Authors:   Bill McCune; Amor Montano, Jose Alfredo; Miranda Perea, Favio Ezequiel
Referenced in: 302 Publications (1988–2021)
Related Software: TPTP; Mace4; VAMPIRE; SPASS; E Theorem Prover; SETHEO; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX)

darch

Software Authors:   Martin Drees
Referenced in: 296 Publications (2006–2022)
Related Software: ImageNet; AlexNet; Adam; PRMLT; TensorFlow; UCI-ml; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Concorde

Software Authors:   Applegate, David L.; Bixby, Robert E.; Chvátal, Vašek; Cook, William J.
Referenced in: 308 Publications (1997–2022)
Related Software: TSPLIB; LKH; VRP; CPLEX; SCIP; DIMACS; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

mclust

Software Authors:   Chris Fraley; Adrian Raftery; Luca Scrucca
Referenced in: 272 Publications (1999–2022)
Related Software: R; PGMM; flexmix; UCI-ml; clusfind; mixtools; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)