Illustrates how numerical computation leads to conjectures which can then be proved by mathematical reasoning.