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