Certification of computational results (1995)

by D S Wilson, G F Sullivan, G M Masson
Venue:IEEE Transactions on Computers