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...
| Publicado en: | Synthese Vol. 190; no. 3; pp. 397 - 413 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Feb2013
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |