Certification of computational results (1995)

by Gregory F Sullivan, Dwight S Wilson, Gerald M Masson
Venue:IEEE Transactions on Computers