Exploratory experimentation and computation (Q2883494)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Exploratory experimentation and computation |
scientific article; zbMATH DE number 6032524
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Exploratory experimentation and computation |
scientific article; zbMATH DE number 6032524 |
Statements
10 May 2012
0 references
experimental mathematics
0 references
polylogarithm
0 references
partitions
0 references
infinite series
0 references
Giuga's conjecture
0 references
0.9260374
0 references
0.8822364
0 references
0 references
0 references
0 references
Exploratory experimentation and computation (English)
0 references
``The computer offers scaffolding both to enhance mathematical reasoning [\dots] and to restrain mathematical error.'' This sentence is the essence of the article under review. The authors give a number of supporting examples: evaluation of polylogarithms, partitions, rapidly-converging series and algorithms for \(\pi\), Giuga's conjecture, and Hales' proof of Kepler's conjecture. They also address the limits and pitfalls of the experimental approach.
0 references
