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...

Descripción completa

Detalles Bibliográficos
Autor principal: Douglas, Michael
Lenguaje:eng
Publicado: 2021
Materias:
CERN Colloquium
Acceso en línea:http://cds.cern.ch/record/2782941

Internet

http://cds.cern.ch/record/2782941

Ejemplares similares