Mathematical Knowledge Management

DOI10.1007/11618027zbMATH Open1151.68629OpenAlexW2480281325MaRDI QIDQ5898518FDOQ5898518

Authors: Paul Cairns, Jeremy Gow 

Publication date: 12 February 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11618027

Recommendations

• Presenting and explaining Mizar
• An approach to literate and structured formal developments
• scientific article; zbMATH DE number 1024410
• MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
• scientific article; zbMATH DE number 2154392

Mathematics Subject Classification ID

Knowledge representation (68T30)

Uses Software

• Mizar
• C-CoRN
• LaTeX

This page was built for publication: Mathematical Knowledge Management

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898518)