尾端

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


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

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

1 2 ... 24 25 26 下一个

  1. Coghetto,Roland:实射影平面上的Pappus六边形定理(2021)
  2. 邓恩,先生;韦尔斯,J.B。;Kamareddine,Fairouz:用非集结构对象生成定制集理论(2021)
  3. 藤原浩史;阿达奇,龙田;Yamamoto,Hiroaki:装箱问题的NextFit算法(2021)
  4. Grabowski,Adam:一些广义粗糙近似的自动比较研究(2021)
  5. 科赫,塞巴斯蒂安:杂图预赛。一(2021年)
  6. 科哈塞,迈克尔;拉贝,弗洛里安:出口主要证据助理图书馆的经验(2021年)
  7. 科尼奥维茨,阿图尔;苏罗维克,达里乌兹:初等数论问题。二(2021年)
  8. Maletzky,Alexander:基于签名的Gröbner基算法的通用和可执行形式化(2021)
  9. Mitsuishi,Takashi:由三角形函数和分段线性函数组成的隶属函数的一些性质(2021)
  10. 中尾草,和须贺;Futa,Yuichi:反函数定理。一(2021年)
  11. 中尾草,和须贺;冈崎,广裕;Shidama,Yasunari:实向量空间及相关概念(2021)
  12. 普罗罗科维奇,Krsto;旺德,迈克尔;施密杜伯,Jürgen:用变压器改进有状态前提选择(2021)
  13. 拉贝,弗洛里安:一种类型依赖相等的语言(2021)
  14. 罗斯冈,科林;科尼奥维茨,阿图尔;拉贝,弗洛里安:米扎尔数学图书馆的新出口(2021)
  15. 萨维基,达米安;Grabowski,Adam:关于弱结合格和近格(2021)
  16. 施瓦茨韦勒,克里斯托夫:分裂的领域(2021年)
  17. 施瓦茨韦勒,克里斯托夫;Rowinska Schwarzweller,Agnieska:代数扩张(2021)
  18. 西格,威尔弗里德;Derakhshan,Farzaneh:以人为中心的自动证据搜索(2021)
  19. 苏达,马丁:吸血鬼有大脑是一个很好的ITP锤子(2021)
  20. 王庆祥;Kaliszyk,Cezary:JEFL:形式证明库的联合嵌入(2021)

1 2 ... 24 25 26 下一个