Teaching Experimental Mathematics: Digital Discovery using Maple

B. Blyth

Abstract:One of the “Recommendations (by Klaus Peters) on Jon Borwein’s LinkedIn page starts with: “Jonathan Borwein is a world-renowned research mathematician and one of the leaders in the emerging field of experimental mathematics to which he has made many original contributions. He has written several books that have helped to define the field. Examples include finding closed forms of integrals by numerically computing high precision approximations (accurate to hundreds of decimal digits) which is used to identify the answer. Knowing the correct answer facilitates the proof of its correctness. Here this experimental mathematics approach is taken with a couple of traditional “find the maximum . . . ” problems suitable for senior school or first year undergraduate students (who could even be pre-calculus students). We use the Computer Algebra System, Maple, for experimentation (and visualization) to compute high accuracy numerical approximations to the answer. Maples identify( ) command is used to identify the exact answer. Knowing the answer, we prove that it is correct without using calculus. We use small group collaborative learning in the computer laboratory, so we parameterize the problem and recommend the use of Computer Aided Assessment (such as provided by the

Mathematics