×

Found 43 Software Packages (Results 1–43)

SeDuMi

Cited in 1,407 Documents (1999–2024)
Software Authors: Sturm, J.F
Related Software: YALMIP; SDPT3; GloptiPoly; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

YALMIP

Cited in 1,297 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); …

SDPT3

Cited in 781 Documents (1986–2024)
Software Authors: Toh, K.C.; Todd, M.J.; Tütüncü, R.H.
Related Software: SeDuMi; YALMIP; CVX; …
Main Fields: Statistics (62-XX); Numerical analysis (65-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); …

GloptiPoly

Cited in 369 Documents (2003–2024)
Software Authors: Henrion, Didier; Lasserre, Jean-Bernard; Loefberg, Johan
Related Software: SeDuMi; YALMIP; Sostools; …
Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); …

Sostools

Cited in 341 Documents (2002–2024)
Software Authors: Prajna, Stephen; Papachristodoulou, Antonis; Seiler, Peter; Parrilo, Pablo A.
Related Software: SeDuMi; YALMIP; GloptiPoly; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX); …

QEPCAD

Cited in 303 Documents (1991–2024)
Software Authors: Hong, Hoon; Brown, Christopher W.
Related Software: REDLOG; Maple; DISCOVERER; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-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); …

CSDP

Cited in 212 Documents (1999–2023)
Software Authors: Borchers, Brian
Related Software: SeDuMi; SDPT3; SDPA; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SDPA

Cited in 194 Documents (1997–2024)
Software Authors: Fujisawa, Katsuki; Kojima, Masakazu; Nakata, Kazuhide
Related Software: SeDuMi; SDPT3; CSDP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX); …

REDLOG

Cited in 172 Documents (1997–2024)
Software Authors: Dolzmann, Andreas; Sturm, Thomas; Weispfenning, Volker
Related Software: QEPCAD; z3; Maple; …
Main Fields: Mathematical logic and foundations (03-XX); Commutative algebra (13-XX); Computer science (68-XX); …

QETLAB

Cited in 117 Documents (2000–2024)
Software Authors: Johnston, Nathaniel
Related Software: QubitUPBSearch; CVX; SDPT3; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Functional analysis (46-XX); Operator theory (47-XX); …

SPOTless

Cited in 84 Documents (2015–2024)
Software Authors: Megretski, Tobenkin, Permenter; Anirudha Majumdar
Related Software: Mosek; SeDuMi; YALMIP; …
Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

RSOLVER

Cited in 78 Documents (2003–2023)
Software Authors: Ratschan, Stefan
Related Software: HSolver; Benchmarks; QEPCAD; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …

DISCOVERER

Cited in 69 Documents (1999–2023)
Software Authors: Xia, B.
Related Software: QEPCAD; Maple; REDLOG; …
Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

RAGlib

Cited in 70 Documents (2003–2023)
Software Authors: Faugere, Jean-Charles; Din, Mohab Safey El
Related Software: Kronecker; FGb; ISOLATE; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

SparsePOP

Cited in 69 Documents (2008–2023)
Software Authors: Waki, Hayato; Kim, Sunyoung; Kojima, Masakazu; Muramatsu, Masakazu; Sugimoto, Hiroshi
Related Software: SeDuMi; GloptiPoly; SDPT3; …
Main Fields: Algebraic geometry (14-XX); Numerical analysis (65-XX); Computer science (68-XX); …

NCAlgebra

Cited in 58 Documents (1994–2023)
Software Authors: Helton, JW; Miller, R; Stankus, M
Related Software: Mathematica; NCSOStools; SeDuMi; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX); Operator theory (47-XX); …

PENBMI

Cited in 57 Documents (2007–2024)
Software Authors: GbR, PENOPT
Related Software: YALMIP; SeDuMi; HIFOO; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); …

TSSOS

Cited in 37 Documents (2020–2024)
Software Authors: Wang, Jie; Magron, Victor; Lasserre, Jean-Bernard
Related Software: Mosek; GloptiPoly; JuMP; …
Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Calculus of variations and optimal control; optimization (49-XX); …

MATISSE

Cited in 34 Documents (2007–2022)
Software Authors: Girard, Antoine; Pappas, George J.
Related Software: HyTech; PHAVer; SpaceEx; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); …

LFR-toolbox

Cited in 31 Documents (2004–2023)
Software Authors: Hecker, Simon; Varga, Andras; Magni, Jean-François
Related Software: YALMIP; Mosek; SeDuMi; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Approximations and expansions (41-XX); Computer science (68-XX); …

SYNRAC

Cited in 29 Documents (2003–2024)
Software Authors: Anai, Hirokazu; Yanami, Hitoshi
Related Software: QEPCAD; Maple; REDLOG; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

PENLAB

Cited in 25 Documents (2003–2023)
Software Authors: Fiala, J.; Kočvara, M.; Stingl, M.
Related Software: YALMIP; PENNON; SeDuMi; …
Main Fields: Functional analysis (46-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); …

ObservabilityTest

Cited in 25 Documents (2001–2023)
Software Authors: Sedoglavic, Alexandre
Related Software: DAISY; Kronecker; SIAN; …
Main Fields: Field theory and polynomials (12-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX); …

NCSOStools

Cited in 20 Documents (2010–2024)
Software Authors: Cafuta, Kristijan; Klep, Igor; Povh, Janez; Sabine Burgdorf.
Related Software: Matlab; NCAlgebra; GloptiPoly; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

Sparse-BSOS

Cited in 18 Documents (2018–2024)
Software Authors: Weisser, Tillmann; Lasserre, Jean B.; Toh, Kim-Chuan
Related Software: GloptiPoly; SPOTless; SeDuMi; …
Main Fields: Algebraic geometry (14-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

ParetoImageSDP

Cited in 17 Documents (2014–2024)
Software Authors: Magron, Victor
Related Software: Mosek; YALMIP; Robotics; …
Main Fields: Field theory and polynomials (12-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

Bertini_real

Cited in 15 Documents (2014–2023)
Software Authors: Brake, Daniel A.; Bates, Daniel J.; Hao, Wenrui; Hauenstein, Jonathan D.; Sommese, Andrew J.; Wampler, CharlesW.
Related Software: Bertini; Kronecker; ISOLATE; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …

alfonso

Cited in 12 Documents (2022–2024)
Software Authors: Papp, Dávid; Yıldız, Sercan
Related Software: DDS; Mosek; Hypatia.jl; …
Main Fields: Algebraic geometry (14-XX); Calculus of variations and optimal control; optimization (49-XX); Convex and discrete geometry (52-XX); …

PolyX

Cited in 12 Documents (1999–2014)
Software Authors: PolyX, Ltd.; H. Kwakernaak, M. Sebek
Related Software: Polynomial Toolbox; Matlab; Robust Control Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Real functions (26-XX); Numerical analysis (65-XX); …

RealCertify

Cited in 10 Documents (2018–2023)
Software Authors: Magron, Victor; Din, Mohab Safey El
Related Software: TSSOS; SeDuMi; Mosek; …
Main Fields: Number theory (11-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …

INVAR

Cited in 7 Documents (1996–2008)
Software Authors: G.Kemper
Related Software: Macaulay2; GAP; Groebner; …
Main Fields: Commutative algebra (13-XX); Group theory and generalizations (20-XX); Ordinary differential equations (34-XX); …

Tarski

Cited in 6 Documents (2018–2024)
Software Authors: Brown, Christopher W.
Related Software: GeoGebra Discovery; GeoGebra; QEPCAD; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Geometry (51-XX); …

ConstructibleSetTools

Cited in 5 Documents (2008–2019)
Software Authors:
Related Software: ParametricSystemTools; RegularChains; Maple; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …

FluxAnalyzer

Cited in 5 Documents (2005–2023)
Software Authors: Klamt, S.; Stelling, J.; Ginkel, M.; Gilles, E.D.
Related Software: SINGULAR; FluxModeCalculator; YANA; …
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Numerical analysis (65-XX); …

ParametricSystemTools

Cited in 5 Documents (2008–2019)
Software Authors:
Related Software: ConstructibleSetTools; RegularChains; Maple; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); …

csminwel

Cited in 3 Documents (2013–2023)
Software Authors: Sims, Christopher
Related Software: SeDuMi; Benchmarks for Optimization Software; NCAlgebra; …
Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Operator theory (47-XX); …

POEM

Cited in 3 Documents (2016–2021)
Software Authors: Seidler, Henning; de Wolff, Timo
Related Software: ECOS; GloptiPoly; CVXPY; …
Main Fields: Field theory and polynomials (12-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-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); …

symmetry

Cited in 3 Documents (2000–2006)
Software Authors: Gatermann, K.
Related Software: Macaulay2; Maple; INVAR; …
Main Fields: Commutative algebra (13-XX); Dynamical systems and ergodic theory (37-XX); Global analysis, analysis on manifolds (58-XX); …

DeepSplit

Cited in 2 Documents (2023–2024)
Software Authors: Chen, Shaoru; Wong, Eric; Kolter, J. Zico; Fazlyab, Mahyar
Related Software: Julia; Reluplex; Mosek; …
Main Fields: Algebraic geometry (14-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

toric.lib

Cited in 2 Documents (2005–2009)
Software Authors: Theis, C.
Related Software: SINGULAR; CoCoA; Mathematica; …
Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); …

Filter Results by …

all top 5

Related Software

all top 3

Main Field