尾端

Mizar系统是Mizar语言的唯一实现。最初,Mizar系统是在MS-DOS下在IBM-pcx86兼容机上实现的。现在我们发布了微软Windows、基于Intel的Linux、Solaris和FreeBSD的版本,以及PowerPC上的Darwin/Mac OS X和Linux。整个Mizar系统(包括验证器)都是用Pascal语言编写的。


zbMATH中的参考文献(参考 453篇文章 参考,4标准条款)

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

1 2 ... 21 22 23 下一个

  1. Brown,Chad E.;Pąk,Karol:AIM循环和AIM猜想(2020)
  2. Futa,Yuichi;Okazaki,Hiroyuki;Shidama,Yasunari:仿射坐标下椭圆曲线上点的运算(2020)
  3. Grabowski函数的粗略包含(2020)
  4. 科赫,塞巴斯蒂安:关于图映射(2020)
  5. 科赫,塞巴斯蒂安:基本简单图(2020)
  6. 科赫,塞巴斯蒂安:关于顶点映射(2020)
  7. Li,Wenda;Paulson,Lawrence C.:通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根(2020)
  8. 施瓦茨韦勒,克里斯托夫:论场(F)与(F[X])(2020)的交集
  9. 施瓦茨韦勒,克里斯托夫:油田扩建和克罗内克的建设(2020年)
  10. Brown,Chad E.;Pąk,卡罗尔:两套理论的故事(2019)
  11. 陈兴伦;诺里斯,迈克尔:有限域的分类及其应用(2019)
  12. Chvalovský,Karel;Jakubův,Jan;Suda,Martin;Urban,Josef:ENIGMA-NG:高效神经和梯度增强推理指导(\mathrmE)(2019)
  13. Coghetto,Roland:实向量空间中的交叉比(2019)
  14. 考格托,罗兰;格拉博夫斯基,亚当:塔斯基几何公理。四: 直角(2019)
  15. 恩杜,诺博鲁:福比尼定理(2019)
  16. Gauthier,Thibault;Kaliszyk,Cezary:跨校对助手库调整概念(2019)
  17. 贾斯扎克,阿德里安:幂算法的部分正确性(2019)
  18. Jaszczak,Adrian;Korniłowicz,Artur:阶乘算法的部分正确性(2019)
  19. Kaliszyk,Cezary;Pąk,Karol:Mizar作为Isabelle对象逻辑的语义(2019)
  20. 科赫,塞巴斯蒂安:关于超图。三(2019年)

1 2 ... 21 22 23 下一个