11-16Business & MoneyI love Maths Can computers be used to check mathematical proofs? Kepler and the fruit stacking problem