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

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

1 2 3 ... 22 23 24 next

  1. Maletzky, Alexander: A generic and executable formalization of signature-based Gröbner basis algorithms (2021)
  2. Brown, Chad E.; Pąk, Karol: AIM loops and the AIM conjecture (2020)
  3. Coghetto, Roland: Klein-Beltrami model. IV (2020)
  4. Coghetto, Roland: Klein-Beltrami model. III (2020)
  5. De Lon, Adrian; Koepke, Peter; Lorenzen, Anton: Interpreting mathematical texts in Naproche-SAD (2020)
  6. Endou, Noboru: Reconstruction of the one-dimensional Lebesgue measure (2020)
  7. Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari: Operations of points on elliptic curve in affine coordinates (2020)
  8. Grabowski, Adam: On fuzzy negations generated by fuzzy implications (2020)
  9. Grabowski, Adam: Formal development of rough inclusion functions (2020)
  10. Grabowski, Adam: Developing complementary rough inclusion functions (2020)
  11. Kahl, Wolfram: Calculational relation-algebraic proofs in the teaching tool \textscCalcCheck (2020)
  12. Koch, Sebastian: About graph complements (2020)
  13. Koch, Sebastian: Underlying simple graphs (2020)
  14. Koch, Sebastian: Miscellaneous graph preliminaries (2020)
  15. Koch, Sebastian: About vertex mappings (2020)
  16. Koch, Sebastian: About graph mappings (2020)
  17. Li, Wenda; Paulson, Lawrence C.: Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL (2020)
  18. Naumowicz, Adam: Elementary number theory problems. I (2020)
  19. Naumowicz, Adam: Dataset description: formalization of elementary number theory in Mizar (2020)
  20. Schwarzweller, Christoph: On the intersection of fields (F) with (F[X]) (2020)

1 2 3 ... 22 23 24 next