Their present proof rests in part on 1,200 hours of computer calculation during which about ten billion logical decisions had to be made.

In his mathematical research he frequently uses extensive computer calculation.

The two computer calculations match, suggesting that the two seemingly disparate worlds could be two representations of the same thing.

When computer calculations of permanent multipole moments of any order became possible, the matter of the convergence of the multipole series became urgent.

Hand calculations might only be required at a few points, but computer calculations allow a better estimate of the uniformity and lighting level.