Bounding boxes for compact sets inE 2 (1997)

by Czesław Byliński, Piotr Rudnicki
Venue:Journal of Formalized Mathematics