Certification of computational results (1995)

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