Experimental mathematics, computers and the a priori.
In recent decades, experimental mathematics has emerged as a new branch of mathematics. This new branch is defined less by its subject matter, and more by its use of computer assisted reasoning. Experimental mathematics uses a variety of computer assisted approaches to verify or prove mathematical h...
| Published in: | Synthese Vol. 190; no. 3; pp. 397 - 413 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Springer Nature
Feb2013
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |