米扎尔

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


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

显示结果1至20的427。
按年份排序(引文
  1. Coghetto,罗兰:实向量空间中的交比(2019)
  2. Coghetto,罗兰;格拉鲍夫斯基,亚当:塔斯基几何公理。IV:直角(2019)
  3. Endou,Noboru:富比尼定理(2019)
  4. 高蒂尔,TiBault,Kalasyyk,CeZaLe:在证明辅助图书馆上排列概念(2019)
  5. Jaszczak,阿德里安:幂算法的部分正确性(2019)
  6. Jaszczak,阿德里安;KONNI OWICZ,阿图尔:阶乘算法的部分正确性(2019)
  7. Karol,伊莎贝尔的对象逻辑(2019)
  8. 科赫,塞巴斯蒂安:序数的自然加法(2019)
  9. 科赫,塞巴斯蒂安:关于超图。第三部分(2019)
  10. Kun-ar,On.EJ;波佩斯库,安德列:从高阶逻辑中的局部类型定义到类型集(2019)
  11. 波佩斯库,安德列:伊莎贝尔/HOL的一致基础(2019)
  12. 李,李明;石,支平;关,Yong;张,钱莹;李,李:HOLL光中几何代数的形式化(2019)
  13. Nakasho,KuuHutha:赋范线性空间上的双线性算子(2019)
  14. Nakasho,KasuHija:多元线性算子空间的同构(2019)
  15. Nakasho,KasuHija:巴拿赫空间上的可逆算子(2019)
  16. Nakasho,Kasusia;Shidama,Yasunari:赋范线性空间上多线性算子的连续性(2019)
  17. Nakasho,Kasusia;Shidama,Yasunari:隐函数定理。第二部分(2019)
  18. Narboux,朱利安;Jai-i ii,Prdult;Fuluriot,贾可:合成几何中的计算机辅助定理证明(2019)
  19. Okazaki,Hiroyuki;长尾,Koh ichi;Futa,Yuichi:模幂运算和Euclidean算法的最大步数(2019)
  20. Otsuki,Sora;川本,Pauline N.;山崎,Hiroshi:线性偏微分方程的一个简单例子及其分离变量法的解(2019)