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

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

1 2 3 ... 15 16 17 next

  1. Acewicz, Marcin; Pąk, Karol: Pell’s equation (2017)
  2. Chojecki, Przemysław: Deepalgebra -- an outline of a program (2017)
  3. Coghetto, Roland: Pascal’s theorem in real projective plane (2017)
  4. Coghetto, Roland: Gauge integral (2017)
  5. Coghetto, Roland: Group of homography in real projective plane (2017)
  6. Endou, Noboru: Integral of non positive functions (2017)
  7. Färber, Michael; Kaliszyk, Cezary; Urban, Josef: Monte Carlo tableau proof search (2017)
  8. Ford, Ian: Semantic representation of general topology in the Wolfram language (2017)
  9. Futa, Yuichi; Shidama, Yasunari: Isomorphism theorem on vector spaces over a ring (2017)
  10. Futa, Yuichi; Shidama, Yasunari: Embedded lattice and properties of Gram matrix (2017)
  11. Futa, Yuichi; Shidama, Yasunari: Dual lattice of $\mathbbZ$-module lattice (2017)
  12. 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)
  13. Grabowski, Adam: Basic formal properties of triangular norms and conorms (2017)
  14. Grabowski, Adam; Korniłowicz, Artur: Introduction to Liouville numbers (2017)
  15. Kaliszyk, Cezary; Pąk, Karol: Presentation and manipulation of Mizar properties in an Isabelle object logic (2017)
  16. Koch, Sebastian: About quotient orders and ordering sequences (2017)
  17. Kohlhase, Michael; Müller, Dennis; Owre, Sam; Rabe, Florian: Making PVS accessible to generic services by interpretation in a universal format (2017)
  18. Korniłowicz, Artur: Differentiability of polynomials over reals (2017)
  19. Korniłowicz, Artur; Naumowicz, Adam; Grabowski, Adam: All Liouville numbers are transcendental (2017)
  20. Korniłowicz, Artur; Pąk, Karol: Vieta’s formula about the sum of roots of polynomials (2017)

1 2 3 ... 15 16 17 next