GitHub Cited in 5,806 Documents (2010–2024) Software Authors: github Related Software: R; Adam; Matlab; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CPLEX Cited in 3,061 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); …
Python Cited in 1,647 Documents (1991–2025) Software Authors: Rossum, Guido van Related Software: SciPy; NumPy; Matplotlib; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
YALMIP Cited in 1,322 Documents (2004–2024) Software Authors: Löfberg, Johan Related Software: SeDuMi; Mosek; SDPT3; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
VRP Cited in 1,262 Documents (1981–2024) Software Authors: NEO: Networking and Emerging Optimization Related Software: CVRPSP; CPLEX; Tabu search; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Gurobi Cited in 1,216 Documents (2010–2025) 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); …
Scikit Cited in 811 Documents (2011–2025) Software Authors: Pedregosa, Fabian; Varoquaux, Gaël; Gramfort, Alexandre; Michel, Vincent; Thirion, Bertrand; Grisel, Olivier; Blondel, Mathieu; Prettenhofer, Peter; Weiss, Ron; Dubourg, Vincent; Vanderplas, Jake; Passos, Alexandre; Cournapeau, David; Brucher, Matthieu; Perrot, Matthieu; Duchesnay, Édouard Related Software: Python; SciPy; TensorFlow; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CVX Cited in 1,045 Documents (2006–2024) Software Authors: Grant, Michael; Boyd, Stephen Related Software: SDPT3; SeDuMi; Mosek; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Julia Cited in 762 Documents (2014–2024) Software Authors: Bezanson, J.; Karpinski, S.; Shah, V. B.; Edelman, A. Related Software: GitHub; JuMP; DifferentialEquations.jl; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Mosek Cited in 694 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 672 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); …
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); …
BARON Cited in 431 Documents (1996–2024) Software Authors: Sahinidis, Nikolaos V. Related Software: CPLEX; SCIP; GAMS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-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); …
Eigen Cited in 275 Documents (2012–2024) Software Authors: Jacob, Benoît; Guennebaud, Gaël Related Software: GitHub; R; PETSc; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
PLCP Cited in 264 Documents (1997–2024) Software Authors: BONNANS, Frederic; HADDOU, Mounir Related Software: SQPlab; L-BFGS; Ipopt; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
NetworkX Cited in 212 Documents (2008–2024) Software Authors: Hagberg, Aric; Schult, Dan; Swart, Pieter Related Software: Python; SciPy; NumPy; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
JuMP Cited in 218 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); …
Robotics Cited in 216 Documents (2000–2024) Software Authors: Corke, Peter Related Software: YALMIP; Mosek; SeDuMi; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …
GLPK Cited in 200 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); …
SQPlab Cited in 204 Documents (2000–2024) Software Authors: Bonnans, J. F.; Gilbert, J. Ch.; Lemaréchal, C.; Sagastizábal, C. A. Related Software: PLCP; Ipopt; L-BFGS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …
Algorithm 447 Cited in 196 Documents (1974–2024) Software Authors: Hopcroft, J.; Tarjan, R. Related Software: SCIP; Algorithm 457; R; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
SIMON Cited in 197 Documents (2014–2024) Software Authors: Beaulieu, R.; Shors, D.; Smith, J.; Treatman-Clark, S.; Weeks, B.; Wingers, L. Related Software: SPECK; SIMECK; PRESENT; … Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …
Algorithm 457 Cited in 169 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 158 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); …
CVXPY Cited in 133 Documents (2016–2024) Software Authors: Diamond, Steven; Boyd, Stephen Related Software: CVX; ECOS; Mosek; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
LattE Cited in 138 Documents (2003–2024) Software Authors: De Loera, J.A., Hemmecke, R., Tauzer, J., Yoshida, R; M. Köppe Related Software: Normaliz; polymake; 4ti2; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Convex and discrete geometry (52-XX); …
MiniZinc Cited in 131 Documents (2008–2024) Software Authors: Tack, Guido; Brand, Sebastian; Brown, Mark; Feydy, Thibaut; Fischer, Julien; Garcia de la Banda, Maria; Stuckey, Peter; Wallace, Mark Related Software: Gecode; CPLEX; CHUFFED; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
PORTA Cited in 136 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); …
CirclePack Cited in 131 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); …
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); Numerical analysis (65-XX); Computer science (68-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); …
MATPOWER Cited in 111 Documents (2012–2024) Software Authors: Zimmerman, R.D.; Murillo-Sanchez, C.E.; Thomas, R.J. Related Software: Ipopt; Matlab; YALMIP; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …
Grain Cited in 110 Documents (2009–2024) Software Authors: Hell, M.; Johansson, T.; Meier, W. Related Software: Trivium; eSTREAM; MICKEY; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX); …
Biq Mac Cited in 110 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); …
SKINNY Cited in 105 Documents (2016–2024) Software Authors: Beierle, Christof; Jean, Jérémy; Kölbl, Stefan; Leander, Gregor; Moradi, Amir; Peyrin, Thomas; Sasaki, Yu; Sasdrich, Pascal; Sim, Siang Meng Related Software: PRESENT; SIMON; Midori; … Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …
Trivium Cited in 103 Documents (2006–2023) Software Authors: Khazaei, Shahram; Hassanzadeh, Mehdi; Canniere, Christophe De; Preneel, Bart Related Software: Grain; eSTREAM; KTANTAN; … Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Computer science (68-XX); …
Pajek datasets Cited in 96 Documents (2002–2024) Software Authors: Batagelj, Vladimir; Mrvar, Andrej Related Software: Pajek; SparseMatrix; SNAP; … 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); …
SPOTless Cited in 91 Documents (2015–2024) Software Authors: Megretski, Tobenkin, Permenter; Anirudha Majumdar Related Software: Mosek; YALMIP; SeDuMi; … Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
lp_solve Cited in 79 Documents (1996–2023) Software Authors: Berkelaar, M.; Eikland, K.; Notebaert, P. Related Software: lpSolve; R; CPLEX; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …
SCS Cited in 88 Documents (2016–2024) Software Authors: O'Donoghue, B.; Chu, E.; Parikh, N.; Boyd, S. Related Software: Mosek; GitHub; CVXPY; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
ECOS Cited in 79 Documents (2014–2024) Software Authors: Domahidi, Alexander; Chu, Eric; Akle, Santiago; Wang, Han Related Software: CVXPY; Mosek; SCS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Reluplex Cited in 82 Documents (2017–2024) Software Authors: Katz, Guy; Barrett, Clark; Dill, David; Julian, Kyle; Kochenderfer, Mykel Related Software: AI2; Marabou; NNV; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Cliquer Cited in 82 Documents (2004–2023) Software Authors: Niskanen, Sampo; Östergård, Patric R. J. Related Software: nauty; Magma; Traces; … Main Fields: Combinatorics (05-XX); Geometry (51-XX); Computer science (68-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); …
Eigentaste Cited in 55 Documents (2001–2024) Software Authors: Goldberg, Ken; Roeder, Theresa; Gupta, Dhruv; Perkins, Chris Related Software: MovieLens; SDPT3; PROPACK; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GTEngine Cited in 59 Documents (2006–2024) Software Authors: Eberly, D. Related Software: VOFTools; p4est; KRAKEN; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …
Glucose Cited in 61 Documents (2012–2023) Software Authors: Audemard, Gilles; Simon, Laurent Related Software: MiniSat; Chaff; Lingeling; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
LBlock Cited in 60 Documents (2011–2024) Software Authors: Wu, Wenling; Zhang, Lei Related Software: PRESENT; TWINE; SIMON; … Main Fields: Number theory (11-XX); Computer science (68-XX); Quantum theory (81-XX); …
lpSolve Cited in 53 Documents (2001–2024) Software Authors: Berkelaar, Michel; others Related Software: lp_solve; R; Gurobi; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
QuadProgBB Cited in 58 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); …
CVXGEN Cited in 49 Documents (2010–2024) Software Authors: Mattingley, J.; Boyd, S. Related Software: qpOASES; ECOS; fast_mpc; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
PESTO Cited in 54 Documents (2016–2024) Software Authors: Taylor, Adrien B.; Hendrickx, Julien M.; Glineur, F. Related Software: YALMIP; UNLocBoX; SeDuMi; … Main Fields: Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
Orthogonal Array Cited in 52 Documents (2010–2024) Software Authors: Eendebak, P.T.; Schoen, E.D. Related Software: nauty; Traces; DoE.base; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …
TWINE Cited in 50 Documents (2012–2024) Software Authors: Suzaki, T.; Minematsu, K.; Morioka, S.; Kobayashi, E. Related Software: PRESENT; LBlock; Piccolo; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …
Miniball Cited in 48 Documents (2001–2024) Software Authors: Fischer, Kaspar; Gärtner, Bernd; Aditya Gupta; Alexandros Konstantinakis-Karmis Related Software: SDPT3; SeDuMi; CGAL; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-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); …
QSDPNAL Cited in 44 Documents (2016–2024) Software Authors: Li, X. D.; Sun, D. F.; Toh, K.-C. Related Software: SDPNAL+; SDPT3; QSDP; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SNOW Cited in 40 Documents (2003–2024) Software Authors: Ekdahl, Patrik; Johansson, Thomas Related Software: eSTREAM; SOSEMANUK; Grain; … Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); …
ZRAM Cited in 41 Documents (1997–2020) Software Authors: Brüngger, Adrian; Marzetta, Ambros; Fukuda, Komei; Nievergelt, Jurg Related Software: QAPLIB; cdd; polymake; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …
AI2 Cited in 36 Documents (2019–2024) Software Authors: Gehr, T.; Mirman, M.; Drachsler-Cohen, D.; Tsankov, P.; Chaudhuri, S.; Vechev, M.T. Related Software: Reluplex; Marabou; NNV; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …
frlib Cited in 35 Documents (2015–2024) Software Authors: Permenter, F.; Parrilo, P. A. Related Software: SPOTless; Mosek; Sieve-SDP; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); …
FinInG Cited in 30 Documents (2015–2024) Software Authors: Bamberg, J.; Betten, A.; Cara, P.; De Beule, J.; Lavrauw, M.; Neunhoeffer, M. Related Software: GAP; GRAPE; DESIGN; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Group theory and generalizations (20-XX); …
GeoSteiner Cited in 30 Documents (2002–2024) 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); …
CRAFT Cited in 28 Documents (2019–2024) Software Authors: Beierle, C.; Leander, G.; Moradi, A.; Rasoolzadeh, S. Related Software: SKINNY; PRESENT; SIMON; … Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …
BoolNet Cited in 23 Documents (2012–2024) Software Authors: Müssel, Christoph; Hopfensitz, Martin; Zhou, Dao; Kestler, Hans Related Software: Ginsim; PyBoolNet; R; … Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX); …
ROSE Cited in 27 Documents (2010–2022) Software Authors: Liberti, Leo; Cafieri, Sonia; Savourey, David Related Software: AMPL; CPLEX; FEASPUMP; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
BiqCrunch Cited in 22 Documents (2017–2024) Software Authors: Krislock, Nathan; Malick, Jérôme; Roupin, Frédéric Related Software: Biq Mac; CPLEX; Gurobi; … Main Fields: Commutative algebra (13-XX); Operator theory (47-XX); Numerical analysis (65-XX); …
InsEnc Cited in 22 Documents (2006–2023) Software Authors: Vatter, Vincent Related Software: OEIS; HERB; WILF; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Algebraic geometry (14-XX); …
SCIP-SDP Cited in 22 Documents (2016–2024) Software Authors: Frederic Matter, Marc Pfetsch; Tristan Gally, Sonja Mars, Lars Schewe Related Software: SCIP; CPLEX; Gurobi; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Sparse-BSOS Cited in 18 Documents (2018–2024) Software Authors: Weisser, Tillmann; Lasserre, Jean B.; Toh, Kim-Chuan Related Software: SPOTless; GloptiPoly; Mosek; … Main Fields: Algebraic geometry (14-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …
NESTA Cited in 16 Documents (2016–2024) Software Authors: Coffrin, C.; Gordon, D.; Scott, P. Related Software: MATPOWER; Gurobi; Mosek; … Main Fields: Algebraic geometry (14-XX); Measure and integration (28-XX); Numerical analysis (65-XX); …
KAAPI Cited in 8 Documents (2007–2021) Software Authors: Gautier, Thierry; Besseron, Xavier; Pigeon, Laurent Related Software: LinBox; Cilk; StarPU; … Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …
ConformalBlocks Cited in 12 Documents (2012–2023) Software Authors: Alexeev, Valery; Gibney, Angela; Swinarski, David; Fakhruddin Related Software: Macaulay2; GitHub; endomorphisms; … Main Fields: Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX); …
CNFgen Cited in 8 Documents (2018–2022) Software Authors: Lauria, Massimo; Elffers, Jan; Nordström, Jakob; Vinyals, Marc Related Software: Chaff; Sat4j; Lingeling; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); …
mplrs Cited in 7 Documents (2017–2023) Software Authors: Avis, David; Jordan, Charles Related Software: polymake; lrs; Matlab; … Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Computer science (68-XX); …
MADAM Cited in 7 Documents (2021–2024) Software Authors: Hrga, Timotej; Povh, Janez Related Software: Biq Mac; BiqCrunch; BiqMac; … Main Fields: Commutative algebra (13-XX); Operator theory (47-XX); Numerical analysis (65-XX); …
PoCaB Cited in 7 Documents (2012–2015) Software Authors: Samal, Satya Swarup; Errami, Hassan; Weber, Andreas Related Software: BioModels; polymake; z3; … Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …
SPOT Cited in 4 Documents (2019–2021) Software Authors: Megretski, Alexandre Related Software: SeDuMi; GloptiPoly; SPOTless; … Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …