The following pages link to (Q3059444):
Displaying 5 items.
- Experimental mathematics, computers and the a priori (Q2441736) (← links)
- Exploratory Experimentation: Digitally-Assisted Discovery and Proof (Q2915841) (← links)
- Computers as a Source of A Posteriori Knowledge in Mathematics (Q5006632) (← 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)