posted on 2025-05-11, 07:48authored byJonathan M. Borwein, Robert M. Corless
Using mostly elementary examples, Borwein and Corless discuss the use of some recent and emerging tools for experimental mathematics. The tools discussed included so-called "inverse symbolic computation," using lattice reduction algorithms, and Sloane and Plouffe's integer sequence lookup program.