↓ Skip to main content

Numerical Software Verification

Overview of attention for book
Attention for Chapter 2: Proving Properties on PWA Systems Using Copositive and Semidefinite Programming
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Proving Properties on PWA Systems Using Copositive and Semidefinite Programming
Chapter number 2
Book title
Numerical Software Verification
Published by
Springer, Cham, July 2016
DOI 10.1007/978-3-319-54292-8_2
Book ISBNs
978-3-31-954291-1, 978-3-31-954292-8
Authors

Assalé Adjé