Cargando…
How will we do mathematics in 2030?
<!--HTML--><div class="page"> <div class="layoutArea"> <div class="column"> <p><span><span><span style="color:black">We make the case that over the coming decade, computer assisted reasoning will become far more...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2782941 |