ploc / validsdp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from validsdp/validsdp
A Coq tactic for proving multivariate inequalities using SDP solvers
Home Page: https://sourcesup.renater.fr/validsdp/
License: GNU Lesser General Public License v2.1