The following pages link to (Q2883494):
Displayed 6 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)