Laurent Théry(编辑);弗里克·维迪克(编辑) 特别关注数学和计算机科学的形式证明的前言。 (英语) Zbl 1308.00050号 数学。计算。科学。 9,第1期,第1-3期(2015年).MSC公司:00B15号机组 68吨15 68-06 PDF格式BibTeX公司 XML格式引用 \textit{L.Théry}(编辑)和\textit{F.Wiedijk}(主编),数学。计算。科学。9,编号1,1--3(2015;兹bl 1308.00050) 全文: DOI程序
弗里克·威迪杰克 Pollack一致性。 (英语) Zbl 1294.68130号 Aspinall,David(编辑)等人,第九届定理证明器用户界面国际研讨会论文集(UITP10),英国爱丁堡,2010年7月15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记285,85-100(2012)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Wiedijk},电子。理论注释。计算。科学。28585-100(2012年;Zbl 1294.68130) 全文: DOI程序
弗里克·威迪杰克 交互式定理证明的过程式和声明式的综合。 (英语) Zbl 1238.68147号 日志。方法计算。科学。 8,第1号,第30号论文,26页(2012年).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Wiedijk},日志。方法计算。科学。8,第1号,第30号论文,第26页(2012年;Zbl 1238.68147) 全文: DOI程序 arXiv公司