Mizar

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 505 articles , 4 standard articles )

Showing results 21 to 40 of 505.
Sorted by year (citations)

previous 1 2 3 4 ... 24 25 26 next

  1. Watase, Yasushige: Derivation of commutative rings and the Leibniz formula for power of derivation (2021)
  2. Watase, Yasushige: On primary ideals. I (2021)
  3. Yamazaki, Hiroshi; Miyajima, Keiichi; Shidama, Yasunari: Functional space consisted by continuous functions on topological space (2021)
  4. Yamazaki, Hiroshi; Miyajima, Keiichi; Shidama, Yasunari: Ascoli-Arzelà theorem (2021)
  5. Brown, Chad E.; Pąk, Karol: AIM loops and the AIM conjecture (2020)
  6. Coghetto, Roland: Klein-Beltrami model. IV (2020)
  7. Coghetto, Roland: Klein-Beltrami model. III (2020)
  8. De Lon, Adrian; Koepke, Peter; Lorenzen, Anton: Interpreting mathematical texts in Naproche-SAD (2020)
  9. Endou, Noboru: Reconstruction of the one-dimensional Lebesgue measure (2020)
  10. Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari: Operations of points on elliptic curve in affine coordinates (2020)
  11. Grabowski, Adam: Developing complementary rough inclusion functions (2020)
  12. Grabowski, Adam: Formal development of rough inclusion functions (2020)
  13. Grabowski, Adam: On fuzzy negations generated by fuzzy implications (2020)
  14. Kahl, Wolfram: Calculational relation-algebraic proofs in the teaching tool \textscCalcCheck (2020)
  15. Koch, Sebastian: About graph complements (2020)
  16. Koch, Sebastian: About graph unions and intersections (2020)
  17. Koch, Sebastian: Underlying simple graphs (2020)
  18. Koch, Sebastian: Miscellaneous graph preliminaries (2020)
  19. Koch, Sebastian: About vertex mappings (2020)
  20. Koch, Sebastian: About graph mappings (2020)

previous 1 2 3 4 ... 24 25 26 next