Mizar的维基百科：动机、考虑因素和初步原型
摘要：使用协作工具（如维基和分布式版本控制系统）的思想，形式化数学尚未充分利用。我们认为该领域可以从这些工具中受益，同时服务于新手和专家。我们描述了一个基于Git分布式版本控制系统的初步系统，该系统主要针对Mizar系统及其形式化数学库。
作者：Josef Urban, Jesse Alama, Piotr Rudnicki, and Herman Geuvers
论文ID：1005.4552
分类：Digital Libraries
分类简称：cs.DL
提交时间：2011-07-27