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

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

1 2 3 ... 14 15 16 next

  1. Coghetto, Roland: Pascal’s theorem in real projective plane (2017)
  2. Coghetto, Roland: Group of homography in real projective plane (2017)
  3. Färber, Michael; Kaliszyk, Cezary; Urban, Josef: Monte Carlo tableau proof search (2017)
  4. Futa, Yuichi; Shidama, Yasunari: Embedded lattice and properties of Gram matrix (2017)
  5. Futa, Yuichi; Shidama, Yasunari: Dual lattice of $\mathbbZ$-module lattice (2017)
  6. Geuvers, Herman (ed.); England, Matthew (ed.); Hasan, Osman (ed.); Rabe, Florian (ed.); Teschke, Olaf (ed.): Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17--21, 2017. Proceedings (2017)
  7. Grabowski, Adam: Basic formal properties of triangular norms and conorms (2017)
  8. Grabowski, Adam; Korniłowicz, Artur: Introduction to Liouville numbers (2017)
  9. Kaliszyk, Cezary; Pąk, Karol: Presentation and manipulation of Mizar properties in an Isabelle object logic (2017)
  10. Koch, Sebastian: About quotient orders and ordering sequences (2017)
  11. Korniłowicz, Artur: Differentiability of polynomials over reals (2017)
  12. Korniłowicz, Artur; Naumowicz, Adam; Grabowski, Adam: All Liouville numbers are transcendental (2017)
  13. Korniłowicz, Artur; Pąk, Karol: Vieta’s formula about the sum of roots of polynomials (2017)
  14. Korniłowicz, Artur; Pąk, Karol: Basel problem -- preliminaries (2017)
  15. Maletzky, Alexander; Windsteiger, Wolfgang: The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (2017)
  16. Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian: Classification of alignments between concepts of formal mathematical systems (2017)
  17. Pąk, Karol; Korniłowicz, Artur: Basel problem (2017)
  18. Schwarzweller, Christoph: Ordered rings and fields (2017)
  19. Aransay, Jesús; Divasón, Jose: Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (2016)
  20. Blanchette, Jasmin Christian; Fleury, Mathias; Weidenbach, Christoph: A verified SAT solver framework with learn, forget, restart, and incrementality (2016)

1 2 3 ... 14 15 16 next