SPECTRA
From MaRDI portal
Cited in
(14)- FGb
- RAGlib
- ProxSDP
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials
- Real root finding for low rank linear matrices
- Solving rank-constrained semidefinite programs in exact arithmetic
- Solving rank-constrained semidefinite programs in exact arithmetic
- PESTO
- univsos
- Sieve-SDP
- SumsOfSquares
- Symbolic computation in hyperbolic programming
- frlib
- Solving SDP completely with an interior point oracle
This page was built for software: SPECTRA