Text this: Scientific computing with automatic result verification /