Proving bounds on real-valued functions with computations (2008)

Cached

Download Links

by Guillaume Melquiond
Venue:4th International Joint Conference on Automated Reasoning. Volume 5195 of Lecture Notes in Artificial Intelligence
Citations:11 - 2 self