Pages that link to "Item:Q2883494"
From MaRDI portal
The following pages link to Exploratory experimentation and computation (Q2883494):
Displaying 8 items.
- Automated simplification of large symbolic expressions (Q2437298) (← links)
- Exploratory Experimentation: Digitally-Assisted Discovery and Proof (Q2915841) (← links)
- Mathematics Education in the Computational Age: Challenges and Opportunities (Q3298023) (← links)
- On Experimental Mathematics and Mathematics Education (Q5163938) (← links)
- Variations on a theme – Euler and the logsine integral (Q5277999) (← links)
- Computers as a novel mathematical reality. I: A personal account (Q6095201) (← links)
- Experimental computation as an ontological game changer: the impact of modern mathematical computation tools on the ontology of mathematics (Q6599246) (← links)
- ``The end of proof''? The integration of different mathematical cultures as experimental mathematics comes of age (Q6599270) (← links)
