Mathematical Knowledge Management

DOI10.1007/11618027MaRDI QIDQ5898518zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

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

Describes a project that uses

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)