Automated mathematics and the reconfiguration of proof and labor.
| Autor: | Ochigame, Rodrigo1 (AUTHOR) |
|---|---|
| Zdroj: | Bulletin (New Series) of the American Mathematical Society. Jul2024, Vol. 61 Issue 3, p423-437. 15p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|