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

previous 1 2 3 ... 20 21 22 23 24 25 26 next

  1. Kamareddine, Fairouz; Maarek, Manuel; Wells, J. B.: Toward an object-oriented structure for mathematical text (2006)
  2. Kohlhase, Michael (ed.): Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers. (2006)
  3. Lyaletski, Alexander; Paskevich, Andrey; Verchinine, Konstantin: SAD as a mathematical assistant -- how should we go from here to there? (2006)
  4. Naumowicz, Adam: An example of formalizing recent mathematical results in MIZAR (2006)
  5. Schwarzweller, Christoph: Gröbner bases -- theory refinement in the Mizar system (2006)
  6. Urban, Josef: XML-izing Mizar: Making semantic processing and presentation of MML easy (2006)
  7. Urban, Josef: MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (2006)
  8. Urban, Josef: MPTP 0.2: Design, implementation, and initial experiments (2006)
  9. Zinn, Claus: Supporting the formal verification of mathematical texts (2006)
  10. Aransay, Jesús; Ballarin, Clemens; Rubio, Julio: Extracting computer algebra programs from statements (2005)
  11. Benzmüller, Christoph; Meier, Andreas; Sorge, Volker: Bridging theorem proving and mathematical knowledge retrieval (2005)
  12. Contejean, Evelyne; Marché, Claude; Tomás, Ana Paula; Urbain, Xavier: Mechanically proving termination using polynomial interpretations (2005)
  13. Grabowski, Adam: On the computer-assisted reasoning about rough sets (2005)
  14. Manolios, Panagiotis; Vroon, Daron: Ordinal arithmetic: Algorithms and mechanization (2005)
  15. Wiedijk, Freek (ed.): The seventeen provers of the world. Foreword by Dana S. Scott.. (2005)
  16. Asperti, Andrea (ed.); Bancerek, Grzegorz (ed.); Trybulec, Andrzej (ed.): Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19--21, 2004. Proceedings. (2004)
  17. Bancerek, Grzegorz; Urban, Josef: Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles (2004)
  18. Cairns, Paul: Informalising formal mathematics: Searching the Mizar library with latent semantics (2004)
  19. Cairns, Paul; Gow, Jeremy: Using and parsing the Mizar language (2004)
  20. El Bachir Menaï, Mohamed: An evolutionary local search method for incremental satisfiability (2004)

previous 1 2 3 ... 20 21 22 23 24 25 26 next