×

Found 54 Software Packages (Results 1–54)

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)

T-algebra

Software Authors:   Rein Prank
Cited in: 0 Publications
Related Software:
Main Fields:

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: