Export Citations
1 Results for: Book/Issue: CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,774,373 records)|Limit your search to The ACM Full-Text Collection (761,085 records)
Showing 1 - 1of1 Results
- research-articleJanuary 2017
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations
CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and ProofsPages 90–99https://doi.org/10.1145/3018610.3018622Polynomial positivity over the real field is known to be decidable but even the best algorithms remain costly. An incomplete but often efficient alternative consists in looking for positivity witnesses as sum of squares decompositions. Such ...