×

Found 5,066 Software Packages (Results 1–100)

R

Software Authors:   Hadley Wickham; Robert Gentleman; Ross Ihaka; John M. Chambers; William N. Venables; Brian D. Ripley
Referenced in: 8,357 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)

LAPACK

Software Authors:   LAPACK team: lapack@cs.utk.edu
Referenced in: 1,648 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)

PETSc

Software Authors:   S. Balay, W.D. Gropp, L.C. McInnes, B.F. Smith
Referenced in: 1,589 Publications (1996–2023)
Related Software: FEniCS; MUMPS; hypre; SLEPc; Trilinos; Gmsh; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-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)

FreeFem++

Software Authors:   Olivier Pironneau, Frédéric Hecht, Antoine Le Hyaric, Jacques Morice
Referenced in: 1,398 Publications (2000–2022)
Related Software: FEniCS; PETSc; UMFPACK; deal.ii; Gmsh; MUMPS; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

LIBSVM

Software Authors:   Chih-Chung Chang; Chih-Jen Lin
Referenced in: 928 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)

Tabu search

Software Authors:   Glover, Fred; Taillard, Eric; de Werra, Dominique
Referenced in: 1,027 Publications (1991–2022)
Related Software: Scatter Search; CPLEX; VRP; OR-Library; TSPLIB; DIMACS; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

GAMS

Software Authors:   GAMS Development Corporation, GAMS Software GmbH
Referenced in: 873 Publications (1984–2022)
Related Software: CPLEX; AMPL; MINOS; BARON; CONOPT; PATH Solver; …
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)

JDQZ

Software Authors:   D.R. Fokkema; G.L.G. Sleijpen; H.A. van der Vorst
Referenced in: 612 Publications (1996–2023)
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)

Chaff

Software Authors:   Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S
Referenced in: 540 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
Referenced in: 565 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)

Spalart-Allmaras

Software Authors:   NASA Langley Research Center
Referenced in: 573 Publications (1993–2022)
Related Software: PETSc; AUSM; OpenFOAM; elsA; Turbulence Modeling; CFL3D; …
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
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)

SNOPT

Software Authors:   Gill, Philip E.; Murray, Walter; Saunders, Michael A.
Referenced in: 547 Publications (1997–2022)
Related Software: Ipopt; KNITRO; LANCELOT; AMPL; MINOS; CUTEr; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-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)

Mizar

Software Authors:   Grzegorz Bancerek; Czeslaw Bylinski; Adam Grabowski; Artur Kornilowicz; Robert Milewski; Adam Naumowicz; Andrzej Trybulec; Josef Urban
Referenced in: 505 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)

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)

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)

MATLAB ODE suite

Software Authors:   Shampine, L. F.; Reichelt, M. W.
Referenced in: 412 Publications (1995–2022)
Related Software: Matlab; ode23; ode113; ode45; ode23s; Ode15s; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

LSQR

Software Authors:   Paige, Christopher C.; Saunders, Michael A.
Referenced in: 406 Publications (1982–2022)
Related Software: Regularization tools; LSMR; SparseMatrix; UTV; mctoolbox; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

ggplot2

Software Authors:   Hadley Wickham
Referenced in: 207 Publications (2006–2022)
Related Software: R; dplyr; Rcpp; shiny; knitr; MASS (R); …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

GQTPAR

Software Authors:   Moré, Jorge J.; Sorensen, D.C.
Referenced in: 333 Publications (1983–2022)
Related Software: HSL-VF05; CUTEr; minpack; LSTRS; LANCELOT; L-BFGS; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX)

eigs

Software Authors:   MathWorks, Inc.; Sorensen, Danny C.
Referenced in: 325 Publications (1991–2021)
Related Software: IRAM; ARPACK; JDQZ; JDQR; Eigtool; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

HOL Light

Software Authors:   Harrison, John
Referenced in: 305 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

LANCELOT

Software Authors:   Conn, Andrew R.; Gould, Nick I.M.; Toint, Philippe L.
Referenced in: 309 Publications (1992–2022)
Related Software: CUTEr; SNOPT; L-BFGS; MINOS; Ipopt; ve08; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Scatter Search

Software Authors:   Laguna, Manuel; Marti, Rafael
Referenced in: 268 Publications (1999–2022)
Related Software: Tabu search; VRP; CPLEX; OR-Library; GRASP; PSPLIB; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Rcpp

Software Authors:   Dirk Eddelbuettel; Romain Francois; JJ Allaire; John Chambers; Douglas Bates; Kevin Ushey
Referenced in: 128 Publications (2013–2022)
Related Software: R; RcppArmadillo; ggplot2; CRAN; CODA; Armadillo; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

QEPCAD

Software Authors:   Hoon Hong; Brown, Christopher W.
Referenced in: 283 Publications (1991–2022)
Related Software: REDLOG; Maple; RSOLVER; MetiTarski; DISCOVERER; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

OCaml

Software Authors:   INRIA; X. Leroy, D. Rémy, J. Vouillon, D. Doligez
Referenced in: 260 Publications (1998–2022)
Related Software: Coq; Haskell; Isabelle/HOL; ML; HOL; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

redbKIT

Software Authors:   Quarteroni, Alfio; Manzoni, Andrea; Negri, Federico
Referenced in: 272 Publications (2014–2022)
Related Software: rbMIT; GitHub; Adam; FEniCS; Loewner; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

SVMlight

Software Authors:   Thorsten Joachims
Referenced in: 209 Publications (2000–2022)
Related Software: LIBSVM; UCI-ml; SVMTorch; Matlab; GPDT; CONV_QP; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MapReduce

Software Authors:   Pan, Jie; Magoulès, Frédéric; Le Biannic, Yann
Referenced in: 193 Publications (2008–2022)
Related Software: Hadoop; Spark; Dryad; Apache Spark; UCI-ml; Haskell; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

lme4

Software Authors:   Douglas Bates, Martin Maechler, Ben Bolker
Referenced in: 177 Publications (2007–2022)
Related Software: R; nlme; SAS; S-PLUS; MEMSS; ggplot2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ADOL-C

Software Authors:   Andrea Walther, Andreas Kowarz, Andreas Griewank
Referenced in: 248 Publications (1991–2022)
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)

top.m

Software Authors:   Sigmund, O
Referenced in: 241 Publications (2005–2022)
Related Software: top88.m; Matlab; ESOFRAME; PolyTop; topopt_multi; DistMesh; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

EMD

Software Authors:   Y. Rubner
Referenced in: 192 Publications (2000–2022)
Related Software: SIFT; SIMPLIcity; Wasserstein GAN; VisualSEEk; PASCAL VOC; DOTmark; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

FGb

Software Authors:   J.-C. Faugère
Referenced in: 244 Publications (1998–2022)
Related Software: Magma; SINGULAR; Maple; ISOLATE; Kronecker; FLASH; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)

SUNDIALS

Software Authors:   Hindmarsh, Alan C.; Brown, Peter N.; Grant, Keith E.; Lee, Steven L.; Serban, Radu; Shumaker, Dan E.; Woodward, Carol S.
Referenced in: 221 Publications (1990–2022)
Related Software: PETSc; Matlab; RODAS; CVODES; Trilinos; CVODE; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Smodels

Software Authors:   Niemelä, Ilkka; Simons, P; Syrjänen, Tommi
Referenced in: 229 Publications (1999–2022)
Related Software: ASSAT; Cmodels; XSB; Gringo; clasp; Lparse; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Schwarz-Christoffel

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

word2vec

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

BoomerAMG

Software Authors:   Henson, Van Emden; Meier Yang, Ulrike
Referenced in: 206 Publications (2002–2022)
Related Software: hypre; PETSc; ML; MUMPS; Trilinos; FEniCS; …
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
Referenced in: 205 Publications (1996–2022)
Related Software: ABAQUS; FEAPpv; Matlab; AceFEM; Trilinos; CutFEM; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

IRAM

Software Authors:   Sorensen, Danny C.
Referenced in: 205 Publications (1991–2022)
Related Software: eigs; ARPACK; JDQZ; JDQR; TRLan; Harwell-Boeing sparse matrix collection; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SATO

Software Authors:   Zhang, H
Referenced in: 188 Publications (1996–2021)
Related Software: Chaff; BerkMin; PSATO; MiniSat; DIMACS; Walksat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

UG

Software Authors:   Bastian, P.; Birken, K.; Johannsen, K.; Lang, S.; Neuß, N.; Rentz-Reichert, H.; Wieners, C.
Referenced 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)

DUNE

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

SQPlab

Software Authors:   J.F. Bonnans, J.Ch. Gilbert, C. Lemaréchal, C.A. Sagastizábal
Referenced in: 181 Publications (2000–2022)
Related Software: PLCP; Ipopt; GradSamp; SNOPT; LBFGS-B; Matlab; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

System Identification Toolbox

Software Authors:   Schön, Thomas B; Wills, Adrian; Ninness, Brett; Lennart Ljung
Referenced in: 173 Publications (1990–2022)
Related Software: Matlab; Wiener-Hammerstein Benchmark; CONTSID; CAPTAIN; PRMLT; astsa; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GOLOG

Software Authors:   Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
Referenced 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)

TISEAN

Software Authors:   Rainer Hegger, Holger Kantz, Thomas Schreiber
Referenced in: 163 Publications (1999–2022)
Related Software: Matlab; K2; SciPy; igraph; pyunicorn; Python; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

CONOPT

Software Authors:   Drud, Arne Stolbjerg
Referenced in: 172 Publications (1985–2022)
Related Software: GAMS; MINOS; SNOPT; BARON; Ipopt; KNITRO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Esterel

Software Authors:   Gérard Berry
Referenced in: 133 Publications (1985–2022)
Related Software: SIGNAL; LUSTRE; Uppaal; ULM; Simulink; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

REDLOG

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

MPI/MPICH

Software Authors:   Bill Gropp; Rusty Lusk; Tony Skjellum; Nathan Doss; Hubertus Franke; Ed Karrels; Patrick Bridges
Referenced in: 141 Publications (1996–2022)
Related Software: LAM-MPI; MPI; PVM; PETSc; OpenMPI; NAS Parallel Benchmarks; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Pesca

Software Authors:   Aarne Ranta
Referenced in: 163 Publications (2001–2022)
Related Software: MiniML; Isabelle; TABLEAUX; Coq; Hyperproof; Alms; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX)

rbf_qr

Software Authors:   Larsson E.
Referenced in: 161 Publications (2011–2022)
Related Software: Matlab; GaussQR; DistMesh; DLMF; Matlab-RBF-Toolbox; QSHEP3D; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

rpart

Software Authors:   Terry Therneau, Beth Atkinson, Brian Ripley
Referenced in: 133 Publications (2000–2022)
Related Software: R; randomForest; UCI-ml; C4.5; ElemStatLearn; e1071; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

copula

Software Authors:   Yan, J
Referenced in: 154 Publications (2008–2022)
Related Software: copula; R; QRM; nacopula; TwoCop; CDVine; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

LKH

Software Authors:   Helsgaun, Keld
Referenced in: 153 Publications (2000–2022)
Related Software: TSPLIB; Concorde; VRP; Tabu search; CPLEX; DIMACS; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

NETGEN

Software Authors:   Klingman, D.; Napier, A.; Stutz, J.
Referenced in: 150 Publications (1974–2022)
Related Software: RELAX4; CPLEX; DIMACS; MINOS; KORBX; RelaxIV; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

lobpcg.m

Software Authors:   Knyazev, Andrew V.
Referenced in: 147 Publications (2001–2022)
Related Software: JDQZ; JDQR; ARPACK; BLOPEX; PRIMME; IRAM; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Isar

Software Authors:   Makarius Wenzel
Referenced in: 143 Publications (2000–2021)
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)

gfun

Software Authors:   B. Salvy; P. Zimmermann
Referenced in: 142 Publications (1992–2022)
Related Software: Maple; OEIS; GeneratingFunctions; Mathematica; SIGMA; DLMF; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)

Nek5000

Software Authors:   Peplinski, A.; Schlatter, P.; Fischer, P.F.; Henningson, D.S.
Referenced in: 141 Publications (2010–2022)
Related Software: Nektar++; SIMSON; FreeFem++; OpenFOAM; Gmsh; p4est; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

JuMP

Software Authors:   I. Dunning, J. Huchette, M. Lubin
Referenced in: 124 Publications (2017–2022)
Related Software: Julia; Gurobi; GitHub; Ipopt; CPLEX; Mosek; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

MONA

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

NLPQL

Software Authors:   Schittkowski
Referenced in: 133 Publications (1986–2022)
Related Software: NPSOL; NLPQLP; LINGO; LINDO; SNOPT; QL; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

U-Net

Software Authors:   Ronneberger, O.; Fischer, P.; Brox, T.
Referenced in: 123 Publications (2017–2022)
Related Software: ImageNet; Adam; AlexNet; TensorFlow; PyTorch; GitHub; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

AspectJ

Software Authors:   Kiczales, Gregor; Hilsdale, Erik; Hugunin, Jim; Kersten, Mik; Palm, Jeffrey
Referenced in: 96 Publications (2001–2021)
Related Software: CaesarJ; JBoss; JAsCo; AspectC++; Eiffel; gbeta; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

GeoPDEs

Software Authors:   de Falco, C.; Reali, A.; Vázquez, R.
Referenced in: 125 Publications (2011–2022)
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)

LattE

Software Authors:   De Loera, J.A., Hemmecke, R., Tauzer, J., Yoshida, R; M. Köppe
Referenced in: 123 Publications (2003–2022)
Related Software: Normaliz; polymake; 4ti2; barvinok; cdd; Maple; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Convex and discrete geometry (52-XX)

SETHEO

Software Authors:   Letz, R.; Schumann, J.; Bayerl, S.; Bibel, W.
Referenced in: 114 Publications (1990–2021)
Related Software: TPTP; OTTER; SPASS; E-SETHEO; SATCHMO; VAMPIRE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

nlmdl

Software Authors:   Gallant, A. Ronald
Referenced in: 120 Publications (1987–2022)
Related Software: Stata; SemiPar; R; Ox; SAS; OPQ; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

BEMECH

Software Authors:   Gao, Xiao-Wei; Davies, Trevor G.
Referenced 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)

cdd

Software Authors:   Komei Fukuda
Referenced in: 119 Publications (1996–2022)
Related Software: polymake; Gfan; lrs; cddplus; PORTA; gmp; …
Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

FeynRules

Software Authors:   A. Alloul, N.D. Christensen, C. Degrande, C. Duhr, B. Fuks
Referenced in: 109 Publications (2010–2022)
Related Software: FeynArts; MadGraph; CalcHEP; PYTHIA8; MadGraph5_aMC@NLO; DELPHES; …
Main Fields: Probability theory and stochastic processes (60-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

ABACUS

Software Authors:   Elf, Matthias; Gutwenger, Carsten; Jünger, Michael; Rinaldi, Giovanni
Referenced in: 117 Publications (1996–2022)
Related Software: CPLEX; MINTO; SYMPHONY; TSPLIB; PORTA; SCIP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

SCALCG

Software Authors:   Andrei, N.
Referenced in: 114 Publications (2006–2022)
Related Software: CUTEr; CUTE; CG_DESCENT; Algorithm 500; L-BFGS; minpack; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

bvarsv

Software Authors:   Fabian Krueger
Referenced in: 111 Publications (2005–2022)
Related Software: stochvol; Gensys; CODA; rSGDLM; R; Rcpp; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

VisualUTA

Software Authors:   S. Greco, V. Mousseau, R. Słowiński
Referenced in: 109 Publications (2008–2022)
Related Software: UTA Plus; M-MACBETH; ELECTRE; PRIME Decisions; PREFDIS; kappalab; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Statistics (62-XX); Computer science (68-XX)

MSLiP

Software Authors:   Gassmann, Horand I.
Referenced in: 111 Publications (1990–2022)
Related Software: GAMS; CPLEX; SLP-IOR; SUTIL; AMPL; HOPDM; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

NOMAD

Software Authors:   Sébastien Le Digabel
Referenced in: 110 Publications (2001–2022)
Related Software: OrthoMADS; EGO; MultiMin; DFL; BOBYQA; PSwarm; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Pastry

Software Authors:   Rowstron, Antony; Druschel, Peter
Referenced in: 63 Publications (2001–2022)
Related Software: Chord; SCRIBE; BATON; UNITY; Globus Toolkit; PATRICIA; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

PENNON

Software Authors:   Kočvara, Michal; Stingl, Michael
Referenced in: 108 Publications (2003–2022)
Related Software: SeDuMi; SDPT3; YALMIP; COMPleib; SDPA; SDPLR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

OSL

Software Authors:   IBM
Referenced in: 105 Publications (1992–2018)
Related Software: CPLEX; MINTO; MINOS; GAMS; LINDO; KORBX; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

COIN-OR

Software Authors:   http://www.coin-or.org/members.html
Referenced in: 105 Publications (2004–2022)
Related Software: CPLEX; SCIP; Ipopt; MIPLIB; Gurobi; BARON; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Nektar++

Software Authors:   King, James; Yakovlev, Sergey; Fu, Zhisong; Kirby, Robert M.; Sherwin, Spencer J.
Referenced in: 104 Publications (2004–2022)
Related Software: Gmsh; Nek5000; deal.ii; PETSc; PyFR; Matlab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

PPL

Software Authors:   Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
Referenced in: 99 Publications (2002–2021)
Related Software: HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

Linda

Software Authors:   Gelernter, David
Referenced in: 76 Publications (1985–2020)
Related Software: KLAIM; LIME; ReSpecT; TuCSoN; Klava; Reo; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

LTL2BA

Software Authors:   Gastin, Paul; Oddoux, Denis
Referenced in: 93 Publications (2001–2022)
Related Software: SPIN; SPOT; NuSMV; CESAR; lbtt; CUDD; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LGO

Software Authors:   Pintér, János D.
Referenced in: 99 Publications (1996–2022)
Related Software: Global Optimization Toolbox For Maple; Algorithm 829; MultiMin; DIRECT; MCS; EGO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

R-INLA

Software Authors:   Martins, Thiago G.; Rue, Håvard
Referenced in: 72 Publications (2010–2023)
Related Software: R; INLA; spBayes; GMRFLib; JAGS; FRK; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

MA57

Software Authors:   Duff, Iain S.
Referenced in: 93 Publications (2002–2022)
Related Software: HSL; Ipopt; SparseMatrix; PARDISO; CUTEr; CUTEst; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Scala

Software Authors:   Loverdos, Christos K. K.; Syropoulos, Apostolos
Referenced in: 78 Publications (2005–2022)
Related Software: Coq; z3; Haskell; Featherweight Java; Isabelle; OCaml; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

seL4

Software Authors:   Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.
Referenced in: 84 Publications (2009–2022)
Related Software: Isabelle/HOL; Coq; Isabelle; HOL; HOL Light; kepler98; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

OpenMPI

Software Authors:   http://www.open-mpi.org/about/members/
Referenced in: 66 Publications (2004–2022)
Related Software: MPI/MPICH; MPI; CUDA; FFTW; MPICH2; Boost; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Camellia

Software Authors:   Aoki, Kazumaro; Ichikawa, Tetsuya; Kanda, Masayuki; Matsui, Mitsuru; Moriai, Shiho; Nakajima, Junko; Tokita, Toshio
Referenced in: 86 Publications (2001–2022)
Related Software: CLEFIA; PRESENT; SIMON; Square; ARIA; LBlock; …
Main Fields: Number theory (11-XX); Group theory and generalizations (20-XX); Numerical analysis (65-XX)

UMAT

Software Authors:   Abaqus
Referenced in: 90 Publications (1996–2022)
Related Software: ABAQUS; ABAQUS/Standard; ABAQUS/Explicit; HYPLAS; Neper; MTEX; …
Main Fields: Differential geometry (53-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)