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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

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