×

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

SeDuMi

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

Genocop

Software Authors:   Z. Michalewicz; G. Nazhiyath
Cited in: 943 Publications (1992–2022)
Related Software: Tabu search; UCI-ml; C4.5; Matlab; CEC 05; SPEA2; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Tabu search

Software Authors:   Glover, Fred; Taillard, Eric; de Werra, Dominique
Cited 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)

YALMIP

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

AUTO

Software Authors:   Doedel, Eusebius, Alan Champneys, Fabio Dercole, Thomas Fairgrieve, Yuri Kuznetsov, Bart Oldeman, Randy Paffenroth, Bjorn Sandstede, Xianjun Wang, and Chenghai Zhang
Cited in: 959 Publications (1981–2023)
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)

Ipopt

Software Authors:   Andreas Waechter, Carl Laird
Cited in: 818 Publications (2005–2023)
Related Software: AMPL; SNOPT; CPLEX; Bonmin; SCIP; KNITRO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ANSYS

Software Authors:   John Swanson, Ansys Inc.
Cited in: 716 Publications (1978–2023)
Related Software: ABAQUS; Matlab; FLUENT; ANSYS-CFX; NASTRAN; APDL; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

KELLEY

Software Authors:   Kelley, C.T.
Cited in: 649 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)

SNOPT

Software Authors:   Gill, Philip E.; Murray, Walter; Saunders, Michael A.
Cited in: 554 Publications (1997–2023)
Related Software: Ipopt; AMPL; KNITRO; LANCELOT; MINOS; CUTEr; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

MINOS

Software Authors:   B. A. Murtagh; M. A. Saunders
Cited in: 456 Publications (1980–2022)
Related Software: GAMS; SNOPT; AMPL; LANCELOT; CONOPT; CPLEX; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

EGO

Software Authors:   TOMLAB; D. R. Jones, Matthias Schonlau, William J. Welch
Cited in: 401 Publications (1998–2022)
Related Software: DACE; DiceOptim; DiceKriging; MLMSRBF; SPACE; ParEGO; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MIPLIB

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

Optimization Toolbox

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

INTOPT_90

Software Authors:   Kearfott, R.Baker
Cited in: 304 Publications (1996–2021)
Related Software: INTLAB; PROFIL/BIAS; C-XSC; C-XSC 2.0; BARON; Numerica; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

VAMPIRE

Software Authors:   Riazanov, Alexandre; Voronkov, Andrei
Cited in: 281 Publications (1985–2023)
Related Software: TPTP; E Theorem Prover; SPASS; z3; Isabelle/HOL; OTTER; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

PSPLIB

Software Authors:   Kolisch, Rainer; Sprecher, Arno
Cited in: 270 Publications (1997–2023)
Related Software: RanGen; LSSPER; CPLEX; Scatter Search; BL data set; CHIP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AUTO-86

Software Authors:   Alan Champneys, Fabio Dercole, Thomas Fairgrieve, Yuri Kuznetsov, Bart Oldeman, Randy Paffenroth, Bjorn Sandstede, Xianjun Wang, and Chenghai Zhang
Cited in: 278 Publications (1987–2021)
Related Software: AUTO; PITCON; DSTool; HomCont; MATCONT; Mathematica; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

MPT

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

Smodels

Software Authors:   Niemelä, Ilkka; Simons, P; Syrjänen, Tommi
Cited 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)

AdaGrad

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

Expokit

Software Authors:   Sidje, Roger B.
Cited in: 202 Publications (1998–2023)
Related Software: phipm; Algorithm 919; MATLAB expm; mftoolbox; Matlab; Expint; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX)

KNITRO

Software Authors:   Artelys; Ziena Optimization, R. Byrd, J. Nocedal, R. Waltz
Cited in: 201 Publications (2003–2023)
Related Software: Ipopt; SNOPT; AMPL; CUTEr; MINOS; GAMS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

SQPlab

Software Authors:   J.F. Bonnans, J.Ch. Gilbert, C. Lemaréchal, C.A. Sagastizábal
Cited in: 192 Publications (2000–2023)
Related Software: PLCP; GradSamp; Ipopt; Matlab; SNOPT; LBFGS-B; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

TetGen

Software Authors:   Hang Si
Cited in: 181 Publications (2006–2022)
Related Software: Triangle; Gmsh; Netgen; CGAL; PETSc; Matlab; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

CONOPT

Software Authors:   Drud, Arne Stolbjerg
Cited in: 176 Publications (1985–2023)
Related Software: GAMS; MINOS; SNOPT; BARON; Ipopt; KNITRO; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

ALGENCAN

Software Authors:   Birgin, E.G.; Martínez, J.M.
Cited in: 162 Publications (2007–2023)
Related Software: LANCELOT; Ipopt; SNOPT; CUTEst; SPG; TANGO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SOCS

Software Authors:   Boeing; Betts, J.T.; Huffman, W.P
Cited in: 159 Publications (1999–2023)
Related Software: Ipopt; SNOPT; GPOPS; 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)

Global Optimization Toolbox For Maple

Software Authors:   Janos Pinter; Maplesoft
Cited in: 151 Publications (1997–2022)
Related Software: LGO; Algorithm 829; Genocop; INTOPT_90; Matlab; MCS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

NPSOL

Software Authors:   P. E. Gill, W. Murray, M. A. Saunders, M. H. Wright
Cited in: 144 Publications (1984–2019)
Related Software: SNOPT; AMPL; OTIS; MINOS; Matlab; LANCELOT; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

Manopt

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

NESTA

Software Authors:   Becker, Stephen; Bobin, Jerome; Candes, Emmanuel J.
Cited in: 139 Publications (2010–2023)
Related Software: PDCO; TFOCS; SPGL1; TwIST; RecPF; glmnet; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

MINTO

Software Authors:   G.L. Nemhauser, M.W.P. Savelsbergh, G.S. Sigismondi
Cited in: 137 Publications (1993–2022)
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)

NLopt

Software Authors:   Johnson, S.G.
Cited in: 109 Publications (2012–2022)
Related Software: R; GitHub; BOBYQA; Ipopt; nloptr; SciPy; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

RCV1

Software Authors:   David D. Lewis; Yiming Yang; Tony G. Rose; Fan Li
Cited in: 101 Publications (2005–2023)
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)

MOOD

Software Authors:   Clain, S.; Diot, S.; Loubère, R.
Cited in: 119 Publications (2011–2022)
Related Software: HE-E1GODF; HLLE; ReALE; RIEMANN; Gmsh; Peano; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

PHAVer

Software Authors:   Frehse, Goran
Cited in: 115 Publications (2005–2022)
Related Software: HyTech; SpaceEx; Uppaal; RSOLVER; HSolver; d/dt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Oz

Software Authors:   Henz, M., Smolka, G., and Würtz, J.
Cited in: 109 Publications (1994–2022)
Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

NOMAD

Software Authors:   Sébastien Le Digabel
Cited in: 112 Publications (2001–2022)
Related Software: OrthoMADS; EGO; MultiMin; DFL; BOBYQA; PSwarm; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

PENNON

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

PPL

Software Authors:   Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
Cited in: 106 Publications (2002–2023)
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)

Surface Evolver

Software Authors:   Ken Brakke
Cited in: 109 Publications (1991–2022)
Related Software: Matlab; ABAQUS; PETSc; FLUENT; FEMorph; FEniCS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Differential geometry (53-XX); Numerical analysis (65-XX)

ELAN

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

CSPLib

Software Authors:   Ian P. Gent,Toby Walsh, Ian Miguel
Cited in: 89 Publications (2000–2022)
Related Software: MiniZinc; Gecode; CPLEX; COMET; MINION; Choco; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ESOFRAME

Software Authors:   Xie, Y. M.; Steven, G. P.
Cited in: 87 Publications (1997–2022)
Related Software: top.m; top88.m; Matlab; CartGen; FEMLAB; HyperWorks; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Pyomo

Software Authors:   Hart, William E.; Laird, Carl; Watson, Jean-Paul; Woodruff, David L.
Cited in: 82 Publications (2012–2022)
Related Software: Gurobi; Ipopt; CPLEX; Python; GAMS; PySP; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Gecode

Software Authors:   Christian Schulte, KTH Royal Institute of Technology
Cited in: 81 Publications (2007–2023)
Related Software: MiniZinc; CPLEX; Choco; COMET; SCIP; CSPLib; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MacMPEC

Software Authors:   Sven Leyffer
Cited in: 87 Publications (2004–2022)
Related Software: AMPL; SNOPT; Ipopt; KNITRO; OPECgen; MINOS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

ILOG SCHEDULE

Software Authors:   Le Pape, C
Cited in: 79 Publications (1996–2022)
Related Software: CPLEX; CHIP; JOBSHOP; CP Optimizer; PSPLIB; Tabu search; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OTIS

Software Authors:   Paris, S.W.; Hargraves, C.R; NASA Glenn Research Center
Cited in: 85 Publications (1987–2020)
Related Software: SOCS; SNOPT; NPSOL; Ipopt; GPOPS; Matlab; …
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
Cited in: 84 Publications (1990–2022)
Related Software: Matlab; Visual MISER; NLPQLP; 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)

Healpix

Software Authors:   K. M. Górski; E. Hivon; A. J. Banday; B. D. Wandelt; F. K. Hansen; M. Reinecke; M. Bartelmann
Cited in: 76 Publications (2007–2022)
Related Software: healpy; Python; DLMF; SciPy; CAMB; Matplotlib; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

BOBYQA

Software Authors:   M.J.D. Powell
Cited in: 80 Publications (2011–2023)
Related Software: NEWUOA; DFO; MultiMin; UOBYQA; NLopt; NOMAD; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SOFTSUSY

Software Authors:   B.C. Allanach
Cited in: 78 Publications (2001–2022)
Related Software: Spheno; SuSpect; micrOMEGAs; NMHDECAY; MicrOMEGAs 2.0; FeynHiggs; …
Main Fields: Statistics (62-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

COMET

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

PNEW

Software Authors:   Lukv san, Ladislav; Vlv cek, Jan
Cited in: 80 Publications (1996–2022)
Related Software: DGM; NDA; LDGB; GradSamp; QSM; SolvOpt; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

RSOLVER

Software Authors:   Stefan Ratschan
Cited in: 72 Publications (2003–2021)
Related Software: HSolver; Benchmarks; QEPCAD; HyTech; PHAVer; REDLOG; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Prolog

Software Authors:   Daniel Diaz
Cited in: 57 Publications (1984–2020)
Related Software: SICStus; CHIP; Twelf; SWI-Prolog; XSB; wamcc; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

PSwarm

Software Authors:   Vaz, A.I.F.; Vicente, L.N.
Cited in: 69 Publications (2007–2022)
Related Software: MultiMin; NOMAD; MCS; EGO; OrthoMADS; Matlab; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

SDPNAL+

Software Authors:   Yang, Liuqin; Sun, Defeng; Toh, Kim-Chuan
Cited in: 72 Publications (2014–2022)
Related Software: SDPT3; SeDuMi; QSDPNAL; QAPLIB; Mosek; DIMACS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX)

PROGRES

Software Authors:   Münch, Manfred; Schürr, Andy; Winter, Andreas J.
Cited in: 50 Publications (1994–2020)
Related Software: AGG; VIATRA2; DIEGO; Graph transformation benchmarks; Fujaba; SPIN; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

ECOS

Software Authors:   Alexander Domahidi, Eric Chu, Santiago Akle, Han Wang
Cited in: 64 Publications (2014–2023)
Related Software: CVXPY; Mosek; SCS; GitHub; CVX; SeDuMi; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

levmar

Software Authors:   M Lourakis
Cited in: 67 Publications (2004–2022)
Related Software: STRSCNE; MCPLIB; KELLEY; TRESNEI; CUTEr; SPGL1; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

CUTE

Software Authors:   Koushik Sen; Darko Marinov; Gul Agha
Cited in: 51 Publications (2003–2021)
Related Software: DART; z3; KLEE; Pex; STP; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

Racer

Software Authors:   Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel
Cited in: 52 Publications (2001–2021)
Related Software: FaCT++; Pellet; KL-ONE; Protege; RacerPro; HermiT; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

NIMBUS

Software Authors:   Miettinen K.; Mäkelä M.M.
Cited in: 63 Publications (1993–2022)
Related Software: IND-NIMBUS; Pareto navigator; NAG; PAINT; NBI; GAMS-NIMBUS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

CFSQP

Software Authors:   Lawrence, C.; J. Zhou; A. Tits
Cited in: 57 Publications (1996–2020)
Related Software: SNOPT; CONOPT; Tabu search; Genocop; PROFIL/BIAS; INTOPT_90; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Octagon

Software Authors:   Miné, A.
Cited in: 59 Publications (2002–2014)
Related Software: ASTREE; Apron; PPL; ESC/Java; Caduceus; Why3; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

emplik

Software Authors:   Mai Zhou; Art Owen
Cited in: 59 Publications (2005–2021)
Related Software: R; bootstrap; glmnet; el.convex; SAS/STAT; SAS; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

iProver

Software Authors:   Korovin, Konstantin
Cited in: 56 Publications (2008–2022)
Related Software: TPTP; VAMPIRE; E Theorem Prover; SPASS; z3; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TOY

Software Authors:   F. J. López Fraguas, J. Sánchez Hernández
Cited in: 56 Publications (2001–2022)
Related Software: BABEL; PAKCS; Haskell; Curry; Kernel-LEAF; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Serpent

Software Authors:   Ross Anderson, Eli Biham, Lars Knudsen
Cited in: 54 Publications (1998–2022)
Related Software: PRESENT; Camellia; ICEBERG; Square; NOEKEON; Keccak; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX); Group theory and generalizations (20-XX)

IR Tools

Software Authors:   Silvia Gazzola, Per Christian Hansen, James G. Nagy
Cited in: 52 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)

AUTO2000

Software Authors:   Eusebius Doedel, with contribution from: Alan Champneys, Fabio Dercole, Thomas Fairgrieve, Yuri Kuznetsov, Bart Oldeman, Randy Paffenroth, Bjorn Sandstede, Xianjun Wang, and Chenghai Zhang
Cited in: 52 Publications (2003–2021)
Related Software: HomCont; AUTO; MATCONT; Matlab; CL_MATCONT; XPPAUT; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

RealPaver

Software Authors:   Laurent Granvilliers
Cited in: 51 Publications (2003–2017)
Related Software: Numerica; INTOPT_90; gaol; ICOS; CPLEX; dReal; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

SolvOpt

Software Authors:   Alexei Kuntsevich; Franz Kappel
Cited in: 50 Publications (1997–2022)
Related Software: PNEW; MPBNGC; PBNCGC; QSM; GradSamp; LDGB; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

alphaBB

Software Authors:   I.P. Androulakis , C.D. Maranas , C.A. FLOUDAS
Cited in: 49 Publications (1999–2016)
Related Software: CPLEX; SNOPT; BARON; INTOPT_90; GAMS; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

CONLIN

Software Authors:   C. Fleury
Cited in: 50 Publications (1988–2020)
Related Software: top.m; SCPIP; Matlab; SNOPT; top88.m; PENNON; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

PENBMI

Software Authors:   PENOPT GbR
Cited in: 50 Publications (2007–2021)
Related Software: YALMIP; HIFOO; PENNON; SeDuMi; COMPleib; Sostools; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

IMFIL

Software Authors:   Kelley, C. T.
Cited in: 48 Publications (1998–2022)
Related Software: KELLEY; DFO; NOMAD; NEWUOA; OrthoMADS; MultiMin; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

BIOCHAM

Software Authors:   Chabrier, N., Fages, F., Soliman, S.
Cited in: 45 Publications (2005–2022)
Related Software: Bio-PEPA; PRISM; PEPA; BioNetGen; LBS; GNA; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Numerica

Software Authors:   van Hentenryck, P., Deville, Y., Michel, L.
Cited in: 47 Publications (1998–2022)
Related Software: INTOPT_90; RealPaver; BARON; GlobSol; COCONUT; PROFIL/BIAS; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

TRIC

Software Authors:   Argyris, John; Tenek, Lazarus; Olofsson, Lars
Cited in: 47 Publications (1997–2019)
Related Software: Maple; FEAPpv; ABAQUS; HYPLAS; MUL2; COMSOL; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

TRICE

Software Authors:   Dennis, J.E.; Heinkenschloss, Matthias; Vicente, Lu'{i}s N.
Cited 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)

COBYLA2

Software Authors:   M.J.D. Powell
Cited in: 44 Publications (1994–2022)
Related Software: DFO; NEWUOA; UOBYQA; BOBYQA; EGO; WEDGE; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

BLOG

Software Authors:   Milch, B.; Marthi, B.; Russell, S.; Sontag, D.; Ong, D.L.; Kolobov, A.
Cited in: 39 Publications (2006–2020)
Related Software: Church; ProbLog; IBAL; PRISM; BUGS; PREGO; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

DeMat

Software Authors:   Storn R, Price K, Neumaier A, Zandt JV
Cited in: 27 Publications (2008–2022)
Related Software: JADE; CEC 05; ElemStatLearn; Genocop; R; jMetal; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

BB

Software Authors:   Varadhan R, Gilbert P
Cited in: 30 Publications (2010–2022)
Related Software: R; optimx; nleqslv; survival; alabama; mlt; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

TNPACK

Software Authors:   Tamar Schlick, Aaron Fogelson
Cited in: 42 Publications (1992–2018)
Related Software: L-BFGS; tn; LANCELOT; L-BFGS-B; CHARMM; minpack; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

DFL

Software Authors:   Liuzzi, G.; Lucidi, S.; Rinaldi, F.
Cited in: 41 Publications (2012–2022)
Related Software: DFN; NOMAD; DFLBOX; DFBOX_IMPR; SDBOX; OrthoMADS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

NLPQLP

Software Authors:   K Schittkowski
Cited in: 41 Publications (2000–2023)
Related Software: NLPQL; QL; MISER3; CUTEr; SNOPT; NBI; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

SeDuMi Interface

Software Authors:   Peaucelle, D., Henrion, D., Labit, Y., Taitz, K.
Cited in: 41 Publications (2003–2022)
Related Software: YALMIP; SeDuMi; LMI toolbox; SDPT3; Robotics; UNLocBoX; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

APOGEE

Software Authors:   Ruth Misener, Jeffrey P. Thompson, Christodoulos A. Floudas
Cited in: 40 Publications (2012–2022)
Related Software: BARON; GloMIQO; SCIP; CPLEX; MINLPLib; GAMS; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

Clingcon

Software Authors:   Martin Gebser; Max Ostrowski; Torsten Schaub
Cited in: 39 Publications (2009–2022)
Related Software: Clingo; clasp; Gringo; WASP; ezcsp; 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)

2D triangulations

Software Authors:   –
Cited in: 39 Publications (2002–2022)
Related Software: CGAL; Edgebreaker; Qhull; 2D Arrangement; Triangle; Traits; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX)

GLOB

Software Authors:   M. Drazić, V. Kovacevic-Vujcić, M. Cangalović, N. Mladenović
Cited in: 39 Publications (2003–2022)
Related Software: TSPLIB; Tabu search; J-MEANS; AutoGraphiX; CMA-ES; fminsearch; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

OOQP

Software Authors:   Mike Gertz; Steve Wright
Cited in: 38 Publications (2003–2022)
Related Software: qpOASES; Ipopt; HSL; LAPACK; KNITRO; HOPDM; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)

SATIRE

Software Authors:   Whittemore J, Kim J, Sakallah K
Cited in: 36 Publications (2003–2021)
Related Software: Chaff; MiniSat; BerkMin; SATO; SATORI; PicoSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SGTlight

Software Authors:   Joachims T
Cited in: 32 Publications (2006–2023)
Related Software: UCI-ml; MNIST; LIBSVM; ElemStatLearn; DeepWalk; PRMLT; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

PCBDDC

Software Authors:   S. Zampini
Cited in: 38 Publications (2016–2022)
Related Software: PETSc; METIS; MUMPS; hypre; BoomerAMG; BDDCML; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

QSDPNAL

Software Authors:   Li, X.D., Sun, D.F., Toh. K.-C.
Cited in: 37 Publications (2016–2023)
Related Software: SDPNAL+; QSDP; Matlab; QAPLIB; Gurobi; CPLEX; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)