Exploratory experimentation and computation
From MaRDI portal
``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.
Recommendations
- Exploratory designs for computational experiments
- scientific article; zbMATH DE number 1209388
- scientific article; zbMATH DE number 5593378
- Exploratory experimentation: digitally-assisted discovery and proof
- scientific article; zbMATH DE number 2039272
- Experiments with mixed computations
- Computer experiments: a review
- Interactions and computer experiments
- scientific article; zbMATH DE number 2065614
Cited in
(13)- Computerized deconstruction.
- Automated simplification of large symbolic expressions
- Exploratory experimentation: digitally-assisted discovery and proof
- Mathematics education in the computational age: challenges and opportunities
- Computer-assisted discovery and proof
- scientific article; zbMATH DE number 2078143 (Why is no real title available?)
- On experimental mathematics and mathematics education
- Variations on a theme – Euler and the logsine integral
- Mathematics and Modern Technology
- Computers as a novel mathematical reality. I: A personal account
- Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics
- ``The end of proof? The integration of different mathematical cultures as experimental mathematics comes of age
- Pi on earth, or mathematics in the real world
This page was built for publication: Exploratory experimentation and computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883494)
