2 search results - page 1 / 1 » On the complexity of Putinar's Positivstellensatz |
172
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...