It is even more important in mathematics than in the physical sciences
that the data under investigation are completely reliable.
At first glance it may seem that the increasing reliance of mathematicians
on programs such as
Maple and Mathematica has decreased the need for verification.
Computers very rarely make arbitrary mistakes in arithmetic and
algebra. But all the systems have known and unknown bugs in their
programming. It is therefore imperative that we that we
check our results. So what efforts
did we take to verify our findings?
Annotation Form Interface