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 41 to 60 of 505.
Sorted by year (citations)

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

  1. Koch, Sebastian: About graph complements (2020)
  2. Korniłowicz, Artur: Partial correctness of a Fibonacci algorithm (2020)
  3. Kulesza, Dominik; Grabowski, Adam: Formalization of quasilattices (2020)
  4. Li, Wenda; Paulson, Lawrence C.: Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL (2020)
  5. Naumowicz, Adam: Dataset description: formalization of elementary number theory in Mizar (2020)
  6. Naumowicz, Adam: Elementary number theory problems. I (2020)
  7. Pąk, Karol: Grothendieck universes (2020)
  8. Schwarzweller, Christoph: Field extensions and Kronecker’s construction (2020)
  9. Schwarzweller, Christoph: Renamings and a condition-free formalization of Kronecker’s construction (2020)
  10. Schwarzweller, Christoph: On the intersection of fields (F) with (F[X]) (2020)
  11. Shi, Zhiping; Guan, Yong; Li, Ximeng: Formalization of complex analysis and matrix theory (2020)
  12. Urban, Josef; Jakubův, Jan: First neural conjecturing datasets and experiments (2020)
  13. van Doorn, Floris; Ebner, Gabriel; Lewis, Robert Y.: Maintaining a library of formal mathematics (2020)
  14. Wasaki, Katsumi: Stability of the 7-3 compressor circuit for Wallace tree. I (2020)
  15. Watase, Yasushige: Rings of fractions and localization (2020)
  16. Brown, Chad E.; Pąk, Karol: A tale of two set theories (2019)
  17. Chan, Hing-Lun; Norrish, Michael: Classification of finite fields with applications (2019)
  18. Chvalovský, Karel; Jakubův, Jan; Suda, Martin; Urban, Josef: ENIGMA-NG: efficient neural and gradient-boosted inference guidance for (\mathrmE) (2019)
  19. Coghetto, Roland: Cross-ratio in real vector space (2019)
  20. Coghetto, Roland; Grabowski, Adam: Tarski geometry axioms. IV: Right angle (2019)

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