×

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

Matlab

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

GitHub

Software Authors:   github
Referenced in: 3,024 Publications (2010–2022)
Related Software: R; Matlab; Python; Adam; TensorFlow; SageMath; …
Main Fields: Statistics (62-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)

YALMIP

Software Authors:   Johan Löfberg
Referenced in: 1,059 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)

FEniCS

Software Authors:   Simula Research Laboratory, University of Cambridge, University of Chicago, Texas Tech University and KTH Royal Institute of Technology
Referenced in: 843 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)

Uppaal

Software Authors:   Uppsala University, Sweden; Aalborg University in Denmark
Referenced in: 540 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)

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)

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)

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

glasso

Software Authors:   Mazumder, Rahul; Hastie, Trevor; J. Friedman, T.; R. Tibshirani
Referenced in: 524 Publications (2008–2022)
Related Software: R; glmnet; huge; ElemStatLearn; HdBCS; MIM; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

UMDES

Software Authors:   Christos G. Cassandras; Stéphane Lafortune
Referenced in: 400 Publications (1996–2022)
Related Software: Supremica; libFAUDES; SPIN; GLPK; TCT; Matlab; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-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)

ANFIS

Software Authors:   Jang, J.-S.R.
Referenced 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)

MPT

Software Authors:   M. Kvasnica; P. Grieder; M. Baoti; ETH Zürich; Borrelli, Francesco
Referenced in: 229 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)

PLTMG

Software Authors:   Randolph E. Bank; University of California
Referenced in: 213 Publications (1990–2022)
Related Software: UG; deal.ii; PETSc; Kaskade7; Matlab; ALBERTA; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

MINITAB

Software Authors:   Minitab, Inc.
Referenced in: 197 Publications (1978–2022)
Related Software: SAS; R; SPSS; JMP; Excel; S-PLUS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

AdaGrad

Software Authors:   Duchi, John; Hazan, Elad; Singer, Yoram
Referenced in: 186 Publications (2011–2022)
Related Software: Adam; RMSprop; ADADELTA; ImageNet; Saga; AlexNet; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Scilab

Software Authors:   Scilab Enterprises; Ricardo Fabbri
Referenced 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)

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)

ALBERTA

Software Authors:   Alfred Schmidt, Kunibert G. Siebert, Claus-Justus Heine, Daniel Köster, Oliver Kriessl
Referenced 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.
Referenced 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.
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)

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)

Robust Control Toolbox

Software Authors:   MathWorks; Balas G, Chiang R, Packard A, Safonov M
Referenced in: 152 Publications (1989–2022)
Related Software: Matlab; Control System Toolbox; Mu Analysis and Synthesis Toolbox; LMI toolbox; YALMIP; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Control System Toolbox

Software Authors:   The MathWorks, Inc; Grace, A.; Laub, A. J.; Little, J. N.; Thompson, C. M.
Referenced in: 147 Publications (1995–2022)
Related Software: Matlab; LMI toolbox; Robust Control Toolbox; YALMIP; SeDuMi; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX)

SOCS

Software Authors:   Boeing; Betts, J.T.; Huffman, W.P
Referenced in: 150 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)

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)

JADE

Software Authors:   Zhang J, Sanderson AC
Referenced in: 105 Publications (2010–2022)
Related Software: CEC 05; ABC; CEC 13; GSA; CMA-ES; WOA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ESC/Java

Software Authors:   Greg Nelson
Referenced in: 118 Publications (2001–2021)
Related Software: Spec#; SIMPLIFY; JML; Boogie; KRAKATOA; Eiffel; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

MINTO

Software Authors:   G.L. Nemhauser, M.W.P. Savelsbergh, G.S. Sigismondi
Referenced in: 135 Publications (1993–2021)
Related Software: CPLEX; ABACUS; MIPLIB; SCIP; OSL; AMPL; …
Main Fields: History and biography (01-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

ROME

Software Authors:   Goh, Joel; Sim, Melvyn
Referenced in: 131 Publications (2010–2022)
Related Software: YALMIP; CVX; CPLEX; SeDuMi; AIMMS; Mosek; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

Modelica

Software Authors:   Yebra, L.J.; Berenguel, M.; Dormido, S.; Zarza, E.
Referenced in: 114 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)

RCV1

Software Authors:   David D. Lewis; Yiming Yang; Tony G. Rose; Fan Li
Referenced in: 98 Publications (2005–2022)
Related Software: LIBSVM; UCI-ml; BoosTexter; L-BFGS; SGD-QN; LIBLINEAR; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

DiffSharp

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

simannf90

Software Authors:   Corana, A.; Marchesi, M.; Martini, C.; Ridella, S.
Referenced in: 117 Publications (1987–2019)
Related Software: ASA; Global Optimization Toolbox For Maple; Matlab; Genocop; Algorithm 829; minpack; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ASTREE

Software Authors:   Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival
Referenced in: 108 Publications (2002–2021)
Related Software: Apron; PPL; z3; Coq; Octagon; BLAST; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Numerical analysis (65-XX)

Mu Analysis and Synthesis Toolbox

Software Authors:   MathWorks; Gary J. Balas, John C. Doyle, Keith Glover, Andy Packard, Roy Smith
Referenced in: 109 Publications (1993–2021)
Related Software: Robust Control Toolbox; LMI toolbox; Matlab; Control System Toolbox; Skew; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Mechanics of deformable solids (74-XX)

PDDL

Software Authors:   Fox, M.; Long, D.; Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.
Referenced in: 91 Publications (2000–2022)
Related Software: Graphplan; Walksat; SAPA; UCPOP; LPG; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

QDES

Software Authors:   Boyd, Stephen P.; Barratt, Craig H.
Referenced in: 106 Publications (1991–2022)
Related Software: LMI toolbox; SeDuMi; YALMIP; Robust Control Toolbox; Matlab; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Clingo

Software Authors:   Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub
Referenced in: 105 Publications (2009–2022)
Related Software: Gringo; clasp; WASP; Potassco; iClingo; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

UNCMND

Software Authors:   S. Nash
Referenced in: 108 Publications (1989–2022)
Related Software: pchip; Matlab; QUADPACK; MATLAB ODE suite; ode23s; ode113; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Statistics (62-XX)

ELAN

Software Authors:   Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Referenced in: 105 Publications (1996–2020)
Related Software: Maude; CafeOBJ; OBJ3; Stratego; Haskell; ATERM; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

CLASS

Software Authors:   Julien Lesgourgues
Referenced in: 105 Publications (2012–2022)
Related Software: Monte Python; CAMB; MontePython 3; CLASSgal; GADGET; GetDist; …
Main Fields: Partial differential equations (35-XX); Fluid mechanics (76-XX); Optics, electromagnetic theory (78-XX)

GPOPS

Software Authors:   Rao AV, Benson DA, Huntington GT, Francolin C, Darby CL, Patterson MA
Referenced in: 91 Publications (2010–2022)
Related Software: Matlab; SOCS; SNOPT; Ipopt; OTIS; ACADO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

TAF

Software Authors:   Ralf Giering; Thomas Kaminski; FastOpt GmbH
Referenced in: 87 Publications (1998–2022)
Related Software: TAMC; ADIFOR; TAPENADE; ADOL-C; L-BFGS; revolve; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

OTIS

Software Authors:   Paris, S.W.; Hargraves, C.R; NASA Glenn Research Center
Referenced in: 85 Publications (1987–2020)
Related Software: SOCS; SNOPT; NPSOL; Ipopt; DIDO; GPOPS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

MISER3

Software Authors:   L S Jennings, M E Fisher, K L Teo, C J Goh
Referenced in: 83 Publications (1990–2022)
Related Software: Visual MISER; NLPQLP; Matlab; NLPQL; SNOPT; FFSQP(f77); …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

SLICOT

Software Authors:   Benner, Peter; Mehrmann, Volker; Sima, Vasile; Van Huffel, Sabine; Varga, Andras
Referenced in: 84 Publications (1999–2022)
Related Software: LAPACK; Matlab; mctoolbox; ScaLAPACK; ARPACK; BLAS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ALBERT

Software Authors:   Schmidt, A.; Siebert, K.G.
Referenced in: 82 Publications (1997–2021)
Related Software: ALBERTA; FreeFem++; Netgen; PETSc; Triangle; TetGen; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

COMET

Software Authors:   Michel, Laurent; See, Andrew; van Hentenryck, Pascal
Referenced in: 75 Publications (2004–2021)
Related Software: CPLEX; Localizer; Gecode; SALSA; CSPLib; SCIP; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

PostgreSQL

Software Authors:   –
Referenced in: 52 Publications (2000–2022)
Related Software: Oracle; MySQL; Python; MS SQL Server; DB2; R; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

qpOASES

Software Authors:   H. J. Ferreau, C. Kirches, A. Potschka, H. G. Bock, M. Diehl
Referenced in: 77 Publications (2008–2022)
Related Software: Ipopt; fast_mpc; ACADO; CVXGEN; qpDUNES; OSQP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

GAToolBox

Software Authors:   C. Houck, J. Joines, M. Kay, A. Chipperfield, P. Flemming, H. Pohlheim, C. Fonseca
Referenced in: 68 Publications (1999–2021)
Related Software: Matlab; Genocop; Genetic Algorithm and Direct Search Toolbox; XFOIL; EGO; DFO; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

knitr

Software Authors:   Yihui Xie et. al.
Referenced in: 39 Publications (2012–2022)
Related Software: R; ggplot2; shiny; rmarkdown; Rcpp; Sweave; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

ACADO

Software Authors:   Houska, Boris; Ferreau, Hans Joachim; Diehl, Moritz
Referenced in: 70 Publications (2010–2022)
Related Software: Ipopt; qpOASES; CasADi; SOCS; qpDUNES; Matlab; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Bebop

Software Authors:   Thomas Ball, Sriram K. Rajamani
Referenced in: 70 Publications (2000–2022)
Related Software: SPIN; Bandera; SLAM; SatAbs; Java PathFinder; CBMC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SODAS

Software Authors:   Morineau, Alain
Referenced in: 67 Publications (1999–2022)
Related Software: WordNet; Algorithm 39; FactoMineR; bootstrap; UCI-ml; C4.5; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

CasADi

Software Authors:   Andersson, Joel; Åkesson, Johan; Diehl, Moritz
Referenced in: 66 Publications (2012–2022)
Related Software: Ipopt; ACADO; Matlab; qpOASES; SUNDIALS; ADOL-C; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

KLAIM

Software Authors:   De Nicola, R.; Ferrari, G.L.; Pugliese, R.
Referenced in: 62 Publications (2000–2021)
Related Software: Linda; Klava; LIME; SCEL; Maude; SLMC; …
Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)

TAMC

Software Authors:   Giering, Ralf; Kaminski, Thomas
Referenced in: 72 Publications (1998–2021)
Related Software: TAF; ADIFOR; ADOL-C; ADIC; Odyssee; L-BFGS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

LYAPACK

Software Authors:   Thilo Penzl
Referenced in: 67 Publications (1998–2022)
Related Software: Algorithm 432; Matlab; benchmodred; SparseMatrix; SLICOT; mctoolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

SDPLIB

Software Authors:   Brian Borchers
Referenced in: 66 Publications (1999–2022)
Related Software: SDPT3; SeDuMi; CSDP; SDPA; PENNON; SDPLR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

AntNet

Software Authors:   Di Caro, G.; Dorigo, M.
Referenced in: 48 Publications (1998–2015)
Related Software: AntHocNet; MACS-VRPTW; HAS-SOP; Tabu search; HAS-QAP; ns-2; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

RICPAC

Software Authors:   W. F. Arnold; Alan J. Laub
Referenced in: 64 Publications (1987–2021)
Related Software: Algorithm 432; Matlab; LYAPACK; mctoolbox; LAPACK; Control System Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX)

HIFOO

Software Authors:   D. Arzelier, G. Deaconu, S. Gumussoy, D. Henrion, M. Millstone, M.L. Overton
Referenced in: 63 Publications (2007–2022)
Related Software: COMPleib; PENBMI; SeDuMi; Matlab; YALMIP; GradSamp; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

AS 307

Software Authors:   Rousseeuw, Peter J.; Ruts, Ida
Referenced in: 61 Publications (1996–2022)
Related Software: depth; robustbase; fda (R); ABCDepth; ddalpha; R; …
Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Numerical analysis (65-XX)

HPL

Software Authors:   D. Maître
Referenced in: 61 Publications (2006–2021)
Related Software: FORM; GiNaC; FIRE; LiteRed; FIRE5; Hypexp; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Computer science (68-XX)

limma

Software Authors:   Ritchie ME, Phipson B, Wu D, Hu Y, Law CW, Shi W, Smyth GK
Referenced in: 49 Publications (2005–2022)
Related Software: Bioconductor; gcrma; R; edgeR; Voom; DEseq; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

fast_mpc

Software Authors:   Yang Wang; Stephen Boyd
Referenced in: 61 Publications (2009–2022)
Related Software: qpOASES; CVXGEN; MPT; CVX; YALMIP; Ipopt; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

YAWL

Software Authors:   van der Aalst, Wil M.P.
Referenced in: 26 Publications (2004–2021)
Related Software: Taverna; Woflan; WSAT; PNML; Oracle; BPEL2PN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

COMPleib

Software Authors:   F. Leibfritz; W. Lipinski
Referenced in: 58 Publications (2005–2022)
Related Software: complib; PENNON; YALMIP; HIFOO; PENBMI; SDPT3; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

LabVIEW

Software Authors:   National Instruments Corporation
Referenced in: 52 Publications (1999–2021)
Related Software: Matlab; Simulink; BabelFish; CasADi; Modelica; PhysioToolkit; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

RanGen

Software Authors:   Erik Demeulemeester, Mario Vanhoucke, Willy Herroelen
Referenced in: 59 Publications (2003–2022)
Related Software: PSPLIB; DAGEN; Scatter Search; Gurobi; MPSPLib; ILOG SCHEDULE; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Arb

Software Authors:   Fredrik Johansson
Referenced in: 53 Publications (2015–2022)
Related Software: DLMF; SageMath; PARI/GP; Mathematica; Julia; MPFR; …
Main Fields: Number theory (11-XX); Special functions (33-XX); Partial differential equations (35-XX)

FUN3D

Software Authors:   Biedron, R.T.; Carlson, J.-R.; Derlaga, J.M.; Gnoffo, P.A.; Hammond, D.P.; Jones, W.T.; Kleb, B.; Lee-Rausch, E.M.; Nielsen, E.J.; Park, M.A.; Rumsey, C.L.; Thomas, J.L.; Wood, W.A.
Referenced in: 53 Publications (2009–2022)
Related Software: Spalart-Allmaras; USM3D; NSU3D; EDGE; OpenFOAM; TAU; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ToolboxLS

Software Authors:   Ian Mitchell
Referenced in: 52 Publications (2005–2022)
Related Software: top.m; Ellipsoidal Toolbox; Multivac; helperOC; ROC-HJ; MPT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Adams

Software Authors:   MSC Software
Referenced in: 51 Publications (2005–2022)
Related Software: Matlab; ANSYS; NASTRAN; SIMPACK; ABAQUS; Meschach; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

IMPS

Software Authors:   Farmer, William M.; Guttman, Joshua D.; Thayer, F.Javier
Referenced in: 51 Publications (1990–2021)
Related Software: Isabelle; Nuprl; Coq; HOL; PVS; ETPS; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

IR Tools

Software Authors:   Silvia Gazzola, Per Christian Hansen, James G. Nagy
Referenced in: 51 Publications (2018–2022)
Related Software: Regularization tools; AIR tools; LSQR; RestoreTools; UTV; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Lolli

Software Authors:   Josh Hodas; Dale Miller
Referenced in: 50 Publications (1993–2021)
Related Software: Twelf; Elf; ML; Abella; Coq; Bedwyr; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

BNDSCO

Software Authors:   H. Oberle; W. Grimm
Referenced in: 51 Publications (1991–2021)
Related Software: SOCS; Matlab; GPOPS; OTIS; COLNEW; DIRCOL; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Bocop

Software Authors:   Bonnans, F.J., Martinon, P., Grélard, V.
Referenced in: 51 Publications (2013–2022)
Related Software: Ipopt; SOCS; minpack; HamPath; GloptiPoly; GitHub; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

mfem

Software Authors:   Carstensen, C; Bahriawati, C
Referenced in: 51 Publications (2005–2022)
Related Software: Matlab; na14; iFEM; p1afem; AGMG; DistMesh; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

pde2path

Software Authors:   H. Uecker, D. Wetzel, J. Rademacher
Referenced in: 51 Publications (2014–2022)
Related Software: AUTO; MATCONT; Matlab; AUTO-07P; COCO; HomCont; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

SDPpack

Software Authors:   Nayakakuppam M V, Overton M L, Schemita S.
Referenced in: 50 Publications (1998–2015)
Related Software: SDPT3; CSDP; SeDuMi; SDPA; SDPHA; Matlab; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Nimrod/G

Software Authors:   Buyya, R. ;Abramson, D.; Giddy, J.
Referenced in: 26 Publications (2001–2019)
Related Software: Globus Toolkit; NetSolve; GRID Infoware; GridSim; Condor-G; Ninf-G/MPI; …
Main Fields: Computer science (68-XX); Optics, electromagnetic theory (78-XX); Operations research, mathematical programming (90-XX)

ACRITH-XSC

Software Authors:   Walter, Wolfgang V.
Referenced in: 48 Publications (1985–2019)
Related Software: C-XSC; C-XSC 2.0; PASCAL-XSC; INTLIB; INTLAB; FORTRAN-SC; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

ConGolog

Software Authors:   De Giacomo; Lespérance, Y.; Levesque, H.J.
Referenced in: 40 Publications (1999–2022)
Related Software: GOLOG; AgentSpeak; METATEM; Jason; Graphplan; 3APL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Referenced in: 47 Publications (2008–2022)
Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

Amazon EC2

Software Authors:   Amazon
Referenced in: 27 Publications (2010–2021)
Related Software: Eucalyptus; OpenNebula; MapReduce; Azure; Hadoop; AWS Elastic Beanstalk; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

CADNA

Software Authors:   Fabienne Jézéquel, Jean-Marie Chesneaux
Referenced in: 46 Publications (1993–2022)
Related Software: mctoolbox; INTLAB; MPFR; SAM; filib++; TELEMAC; …
Main Fields: Ordinary differential equations (34-XX); Approximations and expansions (41-XX); Integral equations (45-XX)

CiaoPP

Software Authors:   Hermenegildo M. V., Bueno F., Puebla G., Lopez P.
Referenced in: 47 Publications (1999–2022)
Related Software: Ciao; SICStus; Mercury; z3; RAHFT; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

K Prover

Software Authors:   Roşu, Grigore et.al
Referenced in: 46 Publications (2007–2022)
Related Software: Maude; K tool; z3; JavaFAN; MMT; PLT Redex; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

StateFlow

Software Authors:   The MathWorks, Inc.
Referenced in: 41 Publications (1989–2022)
Related Software: Simulink; Matlab; Ptolemy; Esterel; S-TaLiRo; Circus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TRICE

Software Authors:   Dennis, J.E.; Heinkenschloss, Matthias; Vicente, Lu'{i}s N.
Referenced in: 46 Publications (1997–2021)
Related Software: LANCELOT; Ipopt; SNOPT; CUTEr; TRON; NPSOL; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

XM2VTSDB

Software Authors:   Messer, K., Mastas, J., Kittler, J., Luettin, J., Maitre, G.
Referenced in: 22 Publications (2000–2017)
Related Software: FERET; AR face; CMU PIE; LFW; BioID Face Database; Multi-PIE; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

PcGets

Software Authors:   Perez-Amaral, Teodosio; Gallo, Giampiero M.; White, Halbert
Referenced in: 45 Publications (2000–2021)
Related Software: PcGive; Ox; ElemStatLearn; AIM@SHAPE; R; Stata; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

Handel-C

Software Authors:   –
Referenced in: 28 Publications (2001–2020)
Related Software: Circus; Haskell; Xilinx; Z; Isabelle/UTP; Isabelle/Circus; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

RTRMC

Software Authors:   Boumal, N., Absil, P.A.
Referenced in: 45 Publications (2013–2022)
Related Software: Manopt; LMaFit; ADMiRA; PROPACK; Jellyfish; softImpute; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)