×

Found 55 Software Packages (Results 1–55)

CPLEX

Cited in 3,039 Documents (1992–2024)
Software Authors: IBM
Related Software: Gurobi; SCIP; AMPL; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Gurobi

Cited in 1,165 Documents (2010–2024)
Software Authors: Gu, Zonghau; Rothberg, Ed; Bixby, Bob; Gurobi Optimization, Inc.
Related Software: CPLEX; SCIP; GitHub; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

nauty

Cited in 703 Documents (1988–2024)
Software Authors: McKay, Brendan; Piperno, Adolfo
Related Software: Traces; GAP; OEIS; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …

Mosek

Cited in 673 Documents (1999–2024)
Software Authors: ApS, MOSEK
Related Software: YALMIP; SeDuMi; CVX; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

SCIP

Cited in 668 Documents (2005–2024)
Software Authors: Gally, Tristan; Gamrath, Gerald; Gemander, Patrick; Gleixner, Ambros; Gottwald, Robert; Hendel, Gregor; Hojny, Christopher; Maher, Stephen J.; Miltenberger, Matthias; Müller, Benjamin; Pfetsch, Marc; Schlösser, Franziska; Serrano, Felipe; Vigerske, Stefan; Weninger, Dieter; Witzig, Jakob
Related Software: CPLEX; MIPLIB; Gurobi; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

AMPL

Cited in 658 Documents (1989–2024)
Software Authors: Fourer, R.; Gay, D.M.; Kernighan, B.W.
Related Software: CPLEX; Ipopt; GAMS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Chaff

Cited in 571 Documents (2001–2024)
Software Authors: Moskewicz, M.; Madigan, C.; Zhao, Y.; Zhang, L.; Malik, S
Related Software: MiniSat; BerkMin; SATO; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

Knapsack

Cited in 546 Documents (1995–2024)
Software Authors: Pisinger, David; Toth, Paolo
Related Software: CPLEX; MULKNAP; OR-Library; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

TETRAD

Cited in 503 Documents (1993–2024)
Software Authors: Glymour, Clark; Scheines, Richard; Spirtes, Peter; Ramsey, Joseph
Related Software: pcalg; R; bnlearn; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Statistics (62-XX); …

BARON

Cited in 429 Documents (1996–2024)
Software Authors: Sahinidis, Nikolaos V.
Related Software: CPLEX; GAMS; SCIP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

polymake

Cited in 405 Documents (2000–2024)
Software Authors: Gawrilow, Ewgenij; Joswig, Michael; the polymake team
Related Software: Macaulay2; Gfan; Normaliz; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

Concorde

Cited in 331 Documents (1997–2024)
Software Authors: Applegate, David L.; Bixby, Robert E.; Chvátal, Vašek; Cook, William J.
Related Software: TSPLIB; LKH; VRP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

gmp

Cited in 307 Documents (1995–2024)
Software Authors: Granlund
Related Software: MPFR; NTL; PARI/GP; …
Main Fields: Number theory (11-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Traces

Cited in 258 Documents (2014–2024)
Software Authors: Piperno, Adolfo
Related Software: nauty; SageMath; GAP; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Convex and discrete geometry (52-XX); …

JuMP

Cited in 210 Documents (2017–2024)
Software Authors: Dunning, I.; Huchette, J.; Lubin, M.
Related Software: Julia; Gurobi; GitHub; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

Normaliz

Cited in 213 Documents (1998–2024)
Software Authors: Bruns, Winfried; Ichim, Bogdan; Römer, Tim; Söger, Christof
Related Software: Macaulay2; 4ti2; polymake; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

GLPK

Cited in 199 Documents (2004–2024)
Software Authors: Makhorin, Andrew
Related Software: CPLEX; Gurobi; AMPL; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Algorithm 447

Cited in 192 Documents (1974–2024)
Software Authors: Hopcroft, J.; Tarjan, R.
Related Software: SCIP; R; Gurobi; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

NLopt

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

Algorithm 457

Cited in 168 Documents (1973–2024)
Software Authors: Bron, Coen; Kerbosch, Joep
Related Software: DIMACS; CPLEX; MaxCliqueDyn; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

4ti2

Cited in 156 Documents (2004–2024)
Software Authors: Hemmecke, R; Köppe, M; Malkin, P; Walter, M
Related Software: Macaulay2; Normaliz; SINGULAR; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Benchmarks for Optimization Software

Cited in 155 Documents (1999–2024)
Software Authors: Mittelmann, Hans
Related Software: SeDuMi; MIPLIB; SCIP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …

MiniZinc

Cited in 132 Documents (2008–2024)
Software Authors: Guido Tack, NICTA / Monash University (with Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Peter Stuckey, Mark Wallace)
Related Software: Gecode; CHUFFED; CPLEX; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

PORTA

Cited in 135 Documents (1996–2024)
Software Authors: Christof, T.; Reinelt, G.; Andreas Loebel
Related Software: cdd; CPLEX; LOLIB; …
Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …

ANTIGONE

Cited in 130 Documents (2014–2024)
Software Authors: Misener, Ruth; Floudas, Christodoulos A.
Related Software: SCIP; BARON; Ipopt; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX); …

cdd

Cited in 130 Documents (1996–2023)
Software Authors: Fukuda, Komei
Related Software: polymake; lrs; Gfan; …
Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …

CirclePack

Cited in 128 Documents (2005–2024)
Software Authors: Stephenson, Ken
Related Software: Schwarz-Christoffel; SC Toolbox; SageMath; …
Main Fields: Combinatorics (05-XX); Functions of a complex variable (30-XX); Convex and discrete geometry (52-XX); …

PPL

Cited in 118 Documents (2002–2024)
Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
Related Software: HyTech; Apron; PHAVer; …
Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Biq Mac

Cited in 108 Documents (2010–2024)
Software Authors: Rendl, Franz; Rinaldi, Giovanni; Wiegele, Angelika
Related Software: BiqMac; CPLEX; SCIP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Sat4j

Cited in 91 Documents (2007–2023)
Software Authors: Berre, Le; Parrain
Related Software: Chaff; QMaxSAT; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

SoPlex

Cited in 89 Documents (1996–2023)
Software Authors: Wunderling, Roland
Related Software: SCIP; CPLEX; MIPLIB; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

Couenne

Cited in 83 Documents (2009–2024)
Software Authors: Belotti, Pietro; Lee, Jon; Liberti, Leo; Margot, François; Wächter, Andreas
Related Software: BARON; CPLEX; Bonmin; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Decision tree for optimization software

Cited in 56 Documents (1999–2022)
Software Authors: Mittelmann, H.D.; Spellucci, Peter
Related Software: Benchmarks for Optimization Software; MIPLIB; CPLEX; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …

QuadProgBB

Cited in 57 Documents (2012–2024)
Software Authors: Chen, Jieqiu; Burer, Samuel
Related Software: CPLEX; BARON; Gurobi; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

lpSolve

Cited in 51 Documents (2001–2023)
Software Authors: Berkelaar, Michel; others
Related Software: lp_solve; R; Label.switching; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

CryptoMiniSat

Cited in 44 Documents (2011–2023)
Software Authors: Soos, M.
Related Software: MiniSat; Plingeling; Lingeling; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Computer science (68-XX); …

TOMP

Cited in 39 Documents (1994–2024)
Software Authors: Kraft, D.
Related Software: NLopt; DFVLR-SQP; R; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …

GeoSteiner

Cited in 29 Documents (2002–2023)
Software Authors: Warme, David; Winter, Pawel; Zachariasen, Martin
Related Software: SteinLib; CPLEX; DIMACS; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Geometry (51-XX); …

ROSE

Cited in 27 Documents (2010–2022)
Software Authors: Liberti, Leo; Cafieri, Sonia; Savourey, David
Related Software: AMPL; CPLEX; FEASPUMP; …
Main Fields: Commutative algebra (13-XX); Approximations and expansions (41-XX); Statistics (62-XX); …

Separoids

Cited in 24 Documents (2001–2022)
Software Authors: Dawid, A. P.
Related Software: TETRAD; HdBCS; glasso; …
Main Fields: Combinatorics (05-XX); Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); …

SCIP-SDP

Cited in 21 Documents (2016–2024)
Software Authors: Frederic Matter, Marc Pfetsch; Tristan Gally, Sonja Mars, Lars Schewe
Related Software: SCIP; CPLEX; Pajarito; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Help

Cited in 16 Documents (2016–2021)
Software Authors: Bächle, A.; Margolis, L.
Related Software: GAP; 4ti2; Normaliz; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX); …

cddplus

Cited in 15 Documents (2001–2023)
Software Authors: Fukuda, Komei
Related Software: cdd; polymake; bliss; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

cutgeneratingfunctionology

Cited in 14 Documents (2016–2022)
Software Authors: Köppe, Matthias; Zhou, Yuan
Related Software: infinite group relaxation; GitHub; SageMath; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …

Hdepth

Cited in 10 Documents (2014–2017)
Software Authors: Ichim, Bogdan; Zarojanu, Andrei
Related Software: SCIP; Normaliz; Simplicial complex library; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX); …

CAMPARY

Cited in 9 Documents (2016–2023)
Software Authors: Joldes, Mioara; Muller, Jean-Michel; Popescu, Valentina; Tucker, Warwick
Related Software: MPFR; Flocq; LBNL; …
Main Fields: General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

BIGNUM

Cited in 7 Documents (1993–2019)
Software Authors: Serpette, B.; Vuillemenin, J.; Hervé, J. C.
Related Software: Wombit; Why3; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Numerical analysis (65-XX); …

MADAM

Cited in 7 Documents (2021–2024)
Software Authors: Hrga, Timotej; Povh, Janez
Related Software: Biq Mac; BiqMac; BiqCrunch; …
Main Fields: Commutative algebra (13-XX); Operator theory (47-XX); Numerical analysis (65-XX); …

SIROCCO

Cited in 7 Documents (2016–2023)
Software Authors: Marco, Miguel; Rodriguez, Marcos
Related Software: SageMath; GitHub; pss5; …
Main Fields: Algebraic geometry (14-XX); Group theory and generalizations (20-XX); Manifolds and cell complexes (57-XX); …

NormalizInterface

Cited in 6 Documents (2016–2021)
Software Authors: Gutsche, S.; Horn, M.; Söger, C.
Related Software: Normaliz; GAP; GitHub; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); …

HASE

Cited in 5 Documents (2017–2024)
Software Authors: Kohl, Florian; Li, Yanxi; Rauh, Johannes; Yoshida, Ruriko
Related Software: Normaliz; Macaulay2; StdPairs; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

singular

Cited in 5 Documents (2011–2019)
Software Authors: Costantini, Marco; Graaf, Willem de
Related Software: GAP; SINGULAR; numericalsgps; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

libnormaliz

Cited in 4 Documents (2014–2018)
Software Authors: Abbott, John; Bigatti, Anna Maria; Söger, Christof
Related Software: CoCoALib; CoCoA; Normaliz; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

Sageopt

Cited in 3 Documents (2021–2023)
Software Authors: Murray, R.
Related Software: GloptiPoly; BARON; TSSOS; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Measure and integration (28-XX); …

4ti2gap

Cited in 2 Documents (2016–2019)
Software Authors: García-Sánchez, P. A.; Navarro, A. Sánchez-R.
Related Software: numericalsgps; Normaliz; 4ti2; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field