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

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

1 2 3 ... 22 23 24 next

  1. Koch, Sebastian: Miscellaneous graph preliminaries. I (2021)
  2. Korniłowicz, Artur; Surowik, Dariusz: Elementary number theory problems. II (2021)
  3. Maletzky, Alexander: A generic and executable formalization of signature-based Gröbner basis algorithms (2021)
  4. Nakasho, Kazuhisa; Futa, Yuichi: Inverse function theorem. I (2021)
  5. Schwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka: Algebraic extensions (2021)
  6. Watase, Yasushige: Derivation of commutative rings and the Leibniz formula for power of derivation (2021)
  7. Yamazaki, Hiroshi; Miyajima, Keiichi; Shidama, Yasunari: Functional space consisted by continuous functions on topological space (2021)
  8. Brown, Chad E.; Pąk, Karol: AIM loops and the AIM conjecture (2020)
  9. Coghetto, Roland: Klein-Beltrami model. IV (2020)
  10. Coghetto, Roland: Klein-Beltrami model. III (2020)
  11. De Lon, Adrian; Koepke, Peter; Lorenzen, Anton: Interpreting mathematical texts in Naproche-SAD (2020)
  12. Endou, Noboru: Reconstruction of the one-dimensional Lebesgue measure (2020)
  13. Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari: Operations of points on elliptic curve in affine coordinates (2020)
  14. Grabowski, Adam: On fuzzy negations generated by fuzzy implications (2020)
  15. Grabowski, Adam: Formal development of rough inclusion functions (2020)
  16. Grabowski, Adam: Developing complementary rough inclusion functions (2020)
  17. Kahl, Wolfram: Calculational relation-algebraic proofs in the teaching tool \textscCalcCheck (2020)
  18. Koch, Sebastian: About graph complements (2020)
  19. Koch, Sebastian: Underlying simple graphs (2020)
  20. Koch, Sebastian: Miscellaneous graph preliminaries (2020)

1 2 3 ... 22 23 24 next