Exploratory Experimentation: Digitally-Assisted Discovery and Proof

DOI10.1007/978-94-007-2129-6_4zbMath1259.97011OpenAlexW47711953MaRDI QIDQ2915841

Jonathan M. Borwein

Publication date: 19 September 2012

Published in: New ICMI Study Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-2129-6_4

zbMATH Keywords

digitally-assisted discoverydigitally-assisted proofdynamic discoveryknowledge without proofmathematical computing packagespartial proof

Mathematics Subject Classification ID

Technological tools, calculators (aspects of mathematics education) (97U70) Reasoning and proving in the mathematics classroom (97E50)

Related Items (2)

Forms of Proof and Proving in the Classroom ⋮ In the shadow of Euler's greatness: adventures in the rediscovery of an intriguing sum

Cites Work

• On the persuasiveness of visual arguments in mathematics
• What Makes a Great Mathematics Teacher? The Case of Augustus De Morgan
• “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics
• Elliptic integral evaluations of Bessel moments and applications
• Surprising Sinc Sums and Integrals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Exploratory Experimentation: Digitally-Assisted Discovery and Proof