Property-based polynomial invariant generation using sums-of-squares optimization

Assalé Adjé, Pierre-Loic Garoche, Victor Magron
January 2015
Cite
Type
Conference paper
Publication
17th British-French-German Conference on Optimization 15-17 June 2015 London, United Kingdom
"abstractonly" "own"
Assalé Adjé
Assalé Adjé
Associate Professor at Univ. of Perpignan

Related