- Semidefinite programming and arithmetic circuit evaluation Sergey P. Tarasov Mikhail N. Vyalyi Thu 21 January 2021
- Computing rational solutions of linear matrix inequalities Qingdong Guo Mohab Safey El Din Lihong Zhi Wed 18 June 2014
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
