Formal Mathematics for Mathematicians

Autor: Artur Korniłowicz, Andrzej Trybulec, Adam Naumowicz, Krystyna Kuperberg
Rok vydání: 2012
Předmět:
Zdroj: Journal of Automated Reasoning. 50:119-121
ISSN: 1573-0670
0168-7433
DOI: 10.1007/s10817-012-9268-z
Popis: The collection of works for this special issue was inspired by the presentations given at the 2011 AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics. The issue features a collection of articles by practitioners of formalizing proofs who share a deep interest in making computerized mathematics widely available.
Databáze: OpenAIRE
Externí odkaz: