Exploratory Experimentation: Digitally-Assisted Discovery and Proof

DOI10.1007/978-94-007-2129-6_4zbMath1259.97011MaRDI 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 discovery; digitally-assisted proof; dynamic discovery; knowledge without proof; mathematical computing packages; partial proof

Mathematics Subject Classification ID

97U70: Technological tools, calculators (aspects of mathematics education)

97E50: Reasoning and proving in the mathematics classroom

Related Items

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

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