尾端

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


zbMATH中的参考文献(引用于 456篇文章,4标准条款)

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

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,Adam:粗包含函数的形式化发展(2020)
  4. Kahl,Wolfram:教学工具中的计算关系代数证明(2020)
  5. 关于顶点映射(Sebastian 2020)
  6. 科赫,塞巴斯蒂安:基本简单图(2020)
  7. 科赫,塞巴斯蒂安:关于图映射(2020)
  8. Li,Wenda;Paulson,Lawrence C.:通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根(2020)
  9. 施瓦茨韦勒,克里斯托夫:论场(F)与(F[X])(2020)的交集
  10. 克里斯托弗和施瓦内克建筑公司(Christoph Wellzfield,2020)
  11. 形式化理论(石永平,矩阵分析;石志平,2020)
  12. Brown,Chad E.;Pąk,卡罗尔:两套理论的故事(2019)
  13. 有限域的分类(MichaelLun,2019;有限域分类)
  14. Chvalovský,Karel;Jakubův,Jan;Suda,Martin;Urban,Josef:ENIGMA-NG:高效神经和梯度增强推理指导(\mathrmE)(2019)
  15. Coghetto,Roland:实向量空间中的交叉比(2019)
  16. 考格托,罗兰;格拉博夫斯基,亚当:塔斯基几何公理。四: 直角(2019)
  17. 恩杜,诺博鲁:福比尼定理(2019)
  18. Gauthier,Thibault;Kaliszyk,Cezary:跨校对助手库调整概念(2019)
  19. 贾斯扎克,阿德里安:幂算法的部分正确性(2019)
  20. Jaszczak,Adrian;Korniłowicz,Artur:阶乘算法的部分正确性(2019)

1 2 ... 21 22 23 下一个