Corrigimus, verificamus, vincimus: Ensuring algorithmic accuracy in an age of uncertainty.

Daniel S. Roche

Browse the full ISSAC paper archive.