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

by Guillaume Melquiond
Venue:Proceedings of the 4th International Joint Conference on Automated Reasoning, volume 5195 of Lectures Notes in Artificial Intelligence