LMI toolbox Software Authors: MathWorks; Gahinet, P.; Nemirovskii, A.; Laub, A.J.; Chilali, M. Cited in: 1,459 Publications (1995–2023) 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)
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)
SDPT3 Software Authors: Toh, K.C.; Todd, M.J.; Tütüncü, R.H. Cited in: 701 Publications (1986–2022) Related Software: SeDuMi; YALMIP; CVX; SDPA; CSDP; Mosek; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Normaliz Software Authors: Winfried Bruns, Bogdan Ichim, Tim Römer, Christof Söger Cited in: 181 Publications (1998–2023) Related Software: Macaulay2; 4ti2; polymake; SINGULAR; SageMath; CoCoA; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-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)
PORTA Software Authors: Christof, T.; Reinelt, G.; Andreas Loebel Cited in: 127 Publications (1996–2022) Related Software: LOLIB; cdd; CPLEX; polymake; TSPLIB; ABACUS; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
cdd Software Authors: Komei Fukuda Cited in: 119 Publications (1996–2022) Related Software: polymake; Gfan; PORTA; lrs; cddplus; gmp; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
Biq Mac Software Authors: Rendl, Franz; Rinaldi, Giovanni; Wiegele, Angelika Cited in: 93 Publications (2010–2022) Related Software: BiqMac; CPLEX; SDPT3; SCIP; SeDuMi; CSDP; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
Omega Software Authors: Andrews, George E.; Paule, Peter; Riese, Axel Cited in: 55 Publications (2001–2022) Related Software: OEIS; LattE; Mathematica; CliffOC; CliffSymNil; CliffMath; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-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)
Modulef Software Authors: Bernadou, M.; Hassim, A.; Laug, P.; Steer, D.; Vidrascu, M.; Saltel, E. Cited in: 39 Publications (1985–2018) Related Software: petsc4py; COFFEE; TSFC; Firedrake; Algorithm 884; UFL; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
MR and LTV Synthesis Tools Software Authors: Pirie, Carol; Dullerud, Geir E. Cited in: 35 Publications (1999–2021) Related Software: YALMIP; SeDuMi; LMI toolbox; Sostools; Matlab; Mosek; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Operations research, mathematical programming (90-XX)
DIP Software Authors: Ralphs, T.K., Galati, M.V. Cited in: 21 Publications (2005–2022) Related Software: SCIP; GCG; CPLEX; MIPLIB2003; BaPCod; MIPLIB; … Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
ROLMIP Software Authors: Agulhari, C. M.; Oliveira, R. C. L.F.; Peres, P. L. D. Cited in: 20 Publications (2016–2022) Related Software: YALMIP; Mosek; SeDuMi; Sostools; SeDuMi Interface; SOSOPT; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
tmg Software Authors: Ari Pakman, Liam Paninski Cited in: 20 Publications (2014–2022) Related Software: QSIMVN; Orthants; DiceOptim; DiceKriging; R; BayesDA; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
FULPAL Software Authors: H. Rommelfanger Cited in: 19 Publications (1990–2017) Related Software: PSPLIB; Genocop; RanGen; INFORM Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Operations research, mathematical programming (90-XX)
SQOPT Software Authors: P.E. Gill, W. Murray, M.A. Saunders Cited in: 18 Publications (2003–2020) Related Software: SNOPT; CUTEst; qpOASES; QPA; PDCO; ZQPCVX; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
Help Software Authors: Bächle, A.; Margolis, L. Cited in: 16 Publications (2016–2021) Related Software: GAP; 4ti2; Normaliz; CTblLib; GAP Character Table Library; AtlasRep; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)
QPOPT Software Authors: P.E. Gill; W. Murray; M.A. Saunders Cited in: 17 Publications (1998–2019) Related Software: qpOASES; QPSchur; LOQO; MA57; Ipopt; SNOPT; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
cddplus Software Authors: Komei Fukuda Cited in: 13 Publications (2001–2021) Related Software: cdd; polymake; Qhull; PPL; SageMath; Mathematica; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
MVE Software Authors: Zhang, Yin; Gao, Liyan Cited in: 13 Publications (2002–2018) Related Software: PSwarm; SDPT3; fast_mpc; qpOASES; MPT; Mosek; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Siconos Software Authors: Siconos development team Cited in: 13 Publications (2010–2022) Related Software: PATH Solver; pvlib; CasADi; Ipopt; ZQPCVX; Meschach; … Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)
Verasco Software Authors: Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie Cited in: 12 Publications (2016–2021) Related Software: Coq; z3; ASTREE; Toolchain; LLVM; HACL*; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Convex and discrete geometry (52-XX)
SparseCoLO Software Authors: K. Fujisawa, S. Kim, M. Kojima, Y. Okamoto, M. Yamashita Cited in: 12 Publications (2010–2021) Related Software: SeDuMi; SDPT3; SDPLIB; SparsePOP; SFSDP; SCS; … Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)
Cassowary Software Authors: Greg J. Badros, Alan Borning, Peter J. Stuckey Cited in: 9 Publications (2005–2018) Related Software: QOCA; HiRise; Skyblue; Matlab; linprog; MiniSat; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
SPECTRA Software Authors: Didier Henrion, Simone Naldi, Mohab Safey El Din Cited in: 7 Publications (2016–2021) Related Software: FGb; Maple; Kronecker; ISOLATE; RAGlib; SDPT3; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX)
MINQ8 Software Authors: Huyer, Waltraud; Neumaier, Arnold Cited in: 7 Publications (2018–2022) Related Software: MINQ; CUTEr; LBFGS-B; GPDT; CONV_QP; SPG; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
STRUPL Software Authors: Cohn, M.Z.; Franchi, A. Cited in: 7 Publications (1979–1999) Related Software: – Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
COLIN Software Authors: Coles, A. J.; Coles, A. I.; Fox, M.; Long, D. Cited in: 5 Publications (2012–2022) Related Software: PDDL; UPMurphi; ANML; FALCON.m; Ipopt; SCIPPlan; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
DeterminantalRepresentations Software Authors: Chen, Justin; Dey, Papri Cited in: 5 Publications (2020–2021) Related Software: Macaulay2 Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX)
FLAGTOOL Software Authors: Kalai, Gil; Kleinschmidt, Peter; Meisinger, Günter Cited in: 5 Publications (2000–2020) Related Software: polymake Main Fields: Geometry (51-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)
rcdd Software Authors: Charles J. Geyer; Glen D. Meeden Cited in: 5 Publications (2009–2021) Related Software: R; cdd; glmdr; GitHub; ergm; shiny; … Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)
FFCA Software Authors: David, L.; Marashi, S. A.; Larhlimi, A.; Mieth, B.; Bockmayr, A. Cited in: 4 Publications (2012–2019) Related Software: F2c2; efmtool; Metatool; fastGapFill; YANA; tFCA; … Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX)
GenPSAT Software Authors: Caleiro, Carlos; Casal, Filipe; Mordido, Andreia Cited in: 4 Publications (2017–2020) Related Software: Gurobi; BRECCIA; BLOG; LIRA Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)
AGES Software Authors: Gutiérrez, Raúl; Lucas, Salvador Cited in: 3 Publications (2019–2020) Related Software: Mace4; Maude; Prover9; Conditional Confluence; MTT; AProVE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
IngMath Software Authors: Helmut Bausch Cited in: 2 Publications (1994–2004) Related Software: Matlab Main Fields: General and overarching topics; collections (00-XX); Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX)
Monopoly Software Authors: Moazzez, Babak; Soltani, Hossein Cited in: 3 Publications (2018–2021) Related Software: CLP; PORTA; Cbc; NetworkX; Gurobi Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)
GpoSolver Software Authors: Heller, Jan; Pajdla, Tomas Cited in: 2 Publications (2016–2019) Related Software: GloptiPoly; Sparse-BSOS; SPOTless; SPOT; SOSOPT; Chebfun; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
HUHFA Software Authors: Heismann O, Hildenbrandt A, Silvestri F, Reinelt G, Borndörfer R. Cited in: 2 Publications (2015–2019) Related Software: PORTA; LOLIB; PANDA; polymake Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
polyhedra Software Authors: Braun, V., Hampton, M. Cited in: 2 Publications (2013–2016) Related Software: SageMath; VortexCalculations; VolEsti; lattice_polytope; PPL; Gfan; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
QSCMVN Software Authors: Alan Genz Cited in: 2 Publications (1972–1976) Related Software: MVNEXG Main Fields: Number theory (11-XX); Numerical analysis (65-XX)
VertexEnumeration Software Authors: Fukuda, K.; Mizukoshi, I. Cited in: 2 Publications (1994–1996) Related Software: PWTri; Mathematica Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
DDMCuts Software Authors: Semenov, S. O.; Zolotykh, N. Yu. Cited in: 1 Publication (2022) Related Software: VisualStudio.NET; LattE; Normaliz Main Fields: Operations research, mathematical programming (90-XX)
GALINI Software Authors: Francesco Ceccon, Ruth Misener Cited in: 0 Publications Related Software: AIMMS; JuMP; YALMIP; AMPL; GAMS; Python; … Main Fields: –
GenOmega Software Authors: Manuela Wiesinger Cited in: 1 Publication (2003) Related Software: Omega; Mathematica; Maple Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)
interval toolbox Software Authors: Houizot, P.; Acsysteme Cited in: 1 Publication (2009) Related Software: ADOL-C Main Fields: Operations research, mathematical programming (90-XX)
lineq2 Software Authors: Sharaya, I.A. Cited in: 1 Publication (2015) Related Software: AEsolset.ps; IntLinInc3D; INTLAB; Scilab; Matlab; intpakX Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)
PathAVI Software Authors: Kim, Youngdae; Huber, Olivier; Ferris, Michael C. Cited in: 1 Publication (2018) Related Software: LMGC90; Siconos; FCLIB; PATH Solver; UMFPACK Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
PolyhedralSets Software Authors: maplesoft Cited in: 1 Publication (2022) Related Software: Normaliz; Maple Main Fields: Computer science (68-XX)
STRATIFY Software Authors: Bayer, Thomas Cited in: 1 Publication (2006) Related Software: – Main Fields: Commutative algebra (13-XX); Topological groups, Lie groups (22-XX)
STRUL Software Authors: Falkeborn, Rikard; Löfberg, Johan; Hansson, Anders Cited in: 1 Publication (2011) Related Software: LMI toolbox; COMPleib; YALMIP; DSDP5; SDPT3; SeDuMi Main Fields: Operations research, mathematical programming (90-XX)
Vass Software Authors: Sakaguchi, K. Cited in: 1 Publication (2019) Related Software: GitHub; z3; Coq Main Fields: Convex and discrete geometry (52-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PyPolyhedron Software Authors: Pearu Peterson Cited in: 0 Publications Related Software: – Main Fields: –