尾端

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


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

显示474个结果中的1到20个。
按年份排序(引用)

1 2 ... 22 23 24 下一个

  1. Maletzky,Alexander:基于签名的Gröbner基算法的通用和可执行形式化(2021)
  2. 布朗,查德·E。;Pąk,卡罗尔:AIM循环和AIM猜想(2020)
  3. 科盖托,罗兰:克莱恩贝尔特拉米模型。四(2020年)
  4. 科盖托,罗兰:克莱恩贝尔特拉米模型。三(2020年)
  5. 德隆,阿德里安;彼得·柯普克;安东·洛伦岑:解读纳普罗什萨德的数学文本(2020)
  6. Endou,Noboru:一维Lebesgue测度的重建(2020)
  7. 福田,裕一;冈崎,广裕;Shidama,Yasunari:仿射坐标下椭圆曲线上点的运算(2020)
  8. 亚当·格拉博夫斯基:论由模糊蕴涵产生的模糊否定(2020)
  9. Grabowski,Adam:粗包含函数的形式化发展(2020)
  10. Grabowski,Adam:发展互补的粗糙包含函数(2020)
  11. Kahl,Wolfram:教学工具中的计算关系代数证明(2020)
  12. 科赫,塞巴斯蒂安:关于图形互补(2020)
  13. 科赫,塞巴斯蒂安:基本简单图(2020)
  14. 科赫,塞巴斯蒂安:杂项图表预赛(2020年)
  15. 科赫,塞巴斯蒂安:关于顶点映射(2020)
  16. 科赫,塞巴斯蒂安:关于图映射(2020)
  17. 李,文达;Paulson,Lawrence C.:通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根(2020)
  18. 亚当:基本数论问题。一(2020年)
  19. Naumowicz,Adam:数据集描述:Mizar初等数论的形式化(2020)
  20. 施瓦茨韦勒,克里斯托夫:论场(F)与(F[X])(2020)的交集

1 2 ... 22 23 24 下一个