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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

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