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

1 2 3 ... 24 25 26 next

  1. Coghetto, Roland: Pappus’s hexagon theorem in real projective plane (2021)
  2. Dunne, Ciarán; Wells, J. B.; Kamareddine, Fairouz: Generating custom set theories with non-set structured objects (2021)
  3. Fujiwara, Hiroshi; Adachi, Ryota; Yamamoto, Hiroaki: Algorithm NextFit for the bin packing problem (2021)
  4. Grabowski, Adam: Automated comparative study of some generalized rough approximations (2021)
  5. Koch, Sebastian: Miscellaneous graph preliminaries. I (2021)
  6. Kohlhase, Michael; Rabe, Florian: Experiences from exporting major proof assistant libraries (2021)
  7. Korniłowicz, Artur; Surowik, Dariusz: Elementary number theory problems. II (2021)
  8. Maletzky, Alexander: A generic and executable formalization of signature-based Gröbner basis algorithms (2021)
  9. Mitsuishi, Takashi: Some properties of membership functions composed of triangle functions and piecewise linear functions (2021)
  10. Nakasho, Kazuhisa; Futa, Yuichi: Inverse function theorem. I (2021)
  11. Nakasho, Kazuhisa; Okazaki, Hiroyuki; Shidama, Yasunari: Real vector space and related notions (2021)
  12. Proroković, Krsto; Wand, Michael; Schmidhuber, Jürgen: Improving stateful premise selection with transformers (2021)
  13. Rabe, Florian: A language with type-dependent equality (2021)
  14. Rothgang, Colin; Korniłowicz, Artur; Rabe, Florian: A new export of the Mizar mathematical library (2021)
  15. Sawicki, Damian; Grabowski, Adam: On weakly associative lattices and near lattices (2021)
  16. Schwarzweller, Christoph: Splitting fields (2021)
  17. Schwarzweller, Christoph; Rowińska-Schwarzweller, Agnieszka: Algebraic extensions (2021)
  18. Sieg, Wilfried; Derakhshan, Farzaneh: Human-centered automated proof search (2021)
  19. Suda, Martin: Vampire with a brain is a good ITP hammer (2021)
  20. Wang, Qingxiang; Kaliszyk, Cezary: JEFL: joint embedding of formal proof libraries (2021)

1 2 3 ... 24 25 26 next