Thesis abstract: "Design and development of a tool based on Coq to write and format mathematical proofs"

Théo Zimmermann; Hugo Herbelin

Thesis abstract: "Design and development of a tool based on Coq to write and format mathematical proofs"

Théo Zimmermann
, Hugo Herbelin

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

langue originale	Anglais
Pages (de - à)	104-105
Nombre de pages	2
journal	CEUR Workshop Proceedings
Volume	1785
état	Publié - 1 janv. 2017
Evénement	2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016 - Bialystok, Pologne Durée: 25 juil. 2016 → 29 juil. 2016

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{752861d23e01430d99b2de0000d2f1af,

title = "Thesis abstract: {"}Design and development of a tool based on Coq to write and format mathematical proofs{"}",

author = "Th{\'e}o Zimmermann and Hugo Herbelin",

year = "2017",

month = jan,

day = "1",

language = "English",

volume = "1785",

pages = "104--105",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

note = "2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016 ; Conference date: 25-07-2016 Through 29-07-2016",

}

TY - JOUR

T1 - Thesis abstract

T2 - 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016

AU - Zimmermann, Théo

AU - Herbelin, Hugo

PY - 2017/1/1

Y1 - 2017/1/1

UR - https://www.scopus.com/pages/publications/85018969337

M3 - Conference article

AN - SCOPUS:85018969337

SN - 1613-0073

VL - 1785

SP - 104

EP - 105

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

Y2 - 25 July 2016 through 29 July 2016

ER -