Scientific computing with automatic result verification door Anouche Adams, Matthew Adams & 'Adams'