Verified Approximation Algorithms.

Robin Emann, Tobias Nipkow, Simon Robillard

Browse the full CADE paper archive.