Formal Mathematics for Mathematicians |
| |
| Authors: | Andrzej Trybulec Artur Kornilowicz Adam Naumowicz Krystyna Kuperberg |
| |
| Affiliation: | 1. Department of Mathematics and Informatics, University of Bialystok, Bialystok, Poland
2. Department of Mathematics and Statistics, Auburn University, Auburn, AL, USA
|
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
