米扎尔

MIZAR系统是MiZar语言的唯一实现。最初,MIZAR系统是在MS DOS下在IBM—PC X86兼容机上实现的。现在我们发布了MS Windows、基于英特尔的Linux、Solaris和FreeBSD以及达尔文/Mac OS X和PowerPC上的Linux版本。整个MIZAR系统(包括验证器)在Pascal中使用免费的PASCAL编译器进行编码。


ZBMaX中的参考文献(451篇)4篇标准文章

显示结果1至20的451。
按年份排序(引文
  1. 布朗,Chad E.;P k,Karol:AIM环与目标猜想(2020)
  2. Futa,Yuichi;Okazaki,Hiroyuki;Shidama,Yasunari:仿射坐标下椭圆曲线上点的运算(2020)
  3. 格拉鲍夫斯基,亚当:粗糙包含函数的形式化发展(2020)
  4. 科赫,塞巴斯蒂安:底层简单图(2020)
  5. 科赫,塞巴斯蒂安:关于顶点映射(2020)
  6. 科赫,塞巴斯蒂安:关于图映射(2020)
  7. 李,Wenda;保尔森,Lawrence C.:用柯西指数评价缠绕数和复根数(2020)
  8. Schwarzweller、克里斯托夫:场延与Kronecker建构(2020)
  9. Schwarzweller,克里斯托夫:场(f)与(f[x])(2020)的相交
  10. 布朗,Chad E.;P·K,Karol:两套理论的故事(2019)
  11. Chan,Hing Lun;诺里希,米迦勒:有限域的分类及应用(2019)
  12. 查瓦洛夫斯克,卡雷尔;Jauub v,J.;Suda,马丁;城市,约瑟夫:NeigMA-NG:(MaTrMe)的有效神经和梯度增强推理指导(2019)
  13. Coghetto,罗兰:实向量空间中的交比(2019)
  14. Coghetto,罗兰;格拉鲍夫斯基,亚当:塔斯基几何公理。IV:直角(2019)
  15. Endou,Noboru:富比尼定理(2019)
  16. 高蒂尔,TiBault,Kalasyyk,CeZaLe:在证明辅助图书馆上排列概念(2019)
  17. Jaszczak,阿德里安:幂算法的部分正确性(2019)
  18. Jaszczak,阿德里安;KONNI OWICZ,阿图尔:阶乘算法的部分正确性(2019)
  19. Karol,伊莎贝尔的对象逻辑(2019)
  20. 科赫,塞巴斯蒂安:关于超图。III(2019)