zbMATH参考文献(13篇文章引用)

显示结果1到13,共13个。
按年份排序(引用)

  1. van der Hoeven,Joris;Lecerf,Grégoire;Raux,Denis:编辑数学公式时保持语法正确性(2017)
  2. Roe,Kenneth;Smith,Scott:Coqpie:旨在提高证据开发效率的IDE。(毛坯钻石)(2016)
  3. 范德霍文,乔里斯:走向语义数学编辑(2015)
  4. Gast,Holger:《校准仪接口工程》(2012年)ioport公司
  5. 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂;克劳迪奥·萨尔多蒂·科恩;塔西,恩里科:《Matita交互式定理证明者》(2011)
  6. SacerdotiCoen,Claudio:一个允许模糊公式的数学系统的用户界面(2009)
  7. 安德烈亚·阿斯佩蒂;克劳迪奥·萨尔多蒂·科恩;塔西,恩里科;扎奇罗利,斯特凡诺:制作校对助理(2007)
  8. Asperti,Andrea;Sacerdoti Coen,Claudio;Tassi,Enrico;Zacchiroli,Stefano:与Matita proof assistant的用户交互(2007)
  9. 科恩(Claudio Sacerdoti)科恩(Claudio Sacerdoti);塔西(Tassi),恩里科(Enrico);扎奇罗利(Zacchiroli),斯特凡诺(Stefano):小编:循序渐进的战术(2007)
  10. Anne Mulhern;Charles Fischer;Liblit,Ben:验证工程的工具支持(2007)
  11. Capretta,Venanzio:用Coq证明快速傅里叶变换(2001)
  12. Oostdijk,Martijn Diedrik:形式数学文档的生成和表示(2001)
  13. 贝托特,珍妮特;贝托特,伊夫:CtCoq:系统介绍(1996)