swMATH17619MaRDI QIDQ29476FDOQ29476
Author name not available (Why is that?)
Official website: http://homepages.laas.fr/henrion/software/spectra/
Cited In (14)
- Symbolic computation in hyperbolic programming
- Solving rank-constrained semidefinite programs in exact arithmetic
- Solving rank-constrained semidefinite programs in exact arithmetic
- FGb
- RAGlib
- PESTO
- univsos
- Sieve-SDP
- SumsOfSquares
- frlib
- ProxSDP
- Solving SDP completely with an interior point oracle
- Real root finding for low rank linear matrices
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials
This page was built for software: SPECTRA
