The Mizar System is the only implementation of the Mizar Language. Originally, the Mizar system was implemented on an IBM-PC x86 compatibles under MS DOS. Now we distribute releases for MS Windows, Intel-based Linux, Solaris and FreeBSD, and also Darwin/Mac OS X and Linux on PowerPC. The whole Mizar system (including verifier) is coded in Pascal using the Free Pascal compiler.

References in zbMATH (referenced in 471 articles , 4 standard articles )

Showing results 1 to 20 of 471.
Sorted by year (citations)

1 2 3 ... 22 23 24 next

  1. Brown, Chad E.; Pąk, Karol: AIM loops and the AIM conjecture (2020)
  2. Coghetto, Roland: Klein-Beltrami model. IV (2020)
  3. Coghetto, Roland: Klein-Beltrami model. III (2020)
  4. De Lon, Adrian; Koepke, Peter; Lorenzen, Anton: Interpreting mathematical texts in Naproche-SAD (2020)
  5. Endou, Noboru: Reconstruction of the one-dimensional Lebesgue measure (2020)
  6. Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari: Operations of points on elliptic curve in affine coordinates (2020)
  7. Grabowski, Adam: Formal development of rough inclusion functions (2020)
  8. Grabowski, Adam: On fuzzy negations generated by fuzzy implications (2020)
  9. Kahl, Wolfram: Calculational relation-algebraic proofs in the teaching tool \textscCalcCheck (2020)
  10. Koch, Sebastian: Underlying simple graphs (2020)
  11. Koch, Sebastian: Miscellaneous graph preliminaries (2020)
  12. Koch, Sebastian: About vertex mappings (2020)
  13. Koch, Sebastian: About graph mappings (2020)
  14. Li, Wenda; Paulson, Lawrence C.: Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL (2020)
  15. Naumowicz, Adam: Elementary number theory problems. I (2020)
  16. Naumowicz, Adam: Dataset description: formalization of elementary number theory in Mizar (2020)
  17. Schwarzweller, Christoph: On the intersection of fields (F) with (F[X]) (2020)
  18. Schwarzweller, Christoph: Field extensions and Kronecker’s construction (2020)
  19. Shi, Zhiping; Guan, Yong; Li, Ximeng: Formalization of complex analysis and matrix theory (2020)
  20. Urban, Josef; Jakubův, Jan: First neural conjecturing datasets and experiments (2020)

1 2 3 ... 22 23 24 next