Computers In Mathematics door D.V. Chudnovsky & R.D. Jenks