安德烈亚·阿斯佩蒂;克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西;斯特凡诺·扎奇罗利 用户与Matita校对助手的交互。 (英语) 兹比尔1132.68673 J.汽车。推理 39,第2109-139号(2007年)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}等人,J.Autom。推理39,No.2,109--139(2007;Zbl 1132.68673) 全文: 内政部
克劳斯·辛 支持数学文本的形式验证。 (英语) Zbl 1107.68104号 J.应用。日志。 4,第4期,592-621(2006)。MSC公司:68吨15 03立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{C.Zinn},J.应用。日志。4,第4号,592--621(2006;Zbl 1107.68104) 全文: 内政部