Michela Farenzena, Andrea Fusiello. Rigorous Computing in Computer Vision. In Emanuele Trucco, Mike Chantler, editors, 2nd International Conference on Vision, Video, and Graphics, VVG 2005, Edinburgh, UK, July 7-8, 2005. pages 101-108, Eurographics Association, 2005. [doi]
Abstract is missing.