Formalization of mathematics through proof assistants: a study on the state of the art
The formalization of mathematics in practice relies heavily on proof assistants and automatic theorem provers, therefore we studied what are the state of the art proof assitants and their limitations to understand what are the main challenges in making formalized mathematics common practice among ma...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Online |
| Lenguaje: | inglés |
| Publicado: |
Universidade Estadual de Campinas
2019
|
| Materias: | |
| Acceso en línea: | https://econtents.sbu.unicamp.br/eventos/index.php/pibic/article/view/600 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
