Text this: Scientific computation with automatic result verification /