International Workshop on Validated Numerics for Computer-Assisted Proofs
Overview
News and Announcements
Short Programme
Abstracts and Slides
Participants
Feedback
