Mathematical Knowledge Management

DOI10.1007/11618027zbMATH Open1151.03319OpenAlexW2480281325MaRDI QIDQ5898533FDOQ5898533

Author name not available (Why is that?)

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

• Faithfully reflecting the structure of informal mathematical proofs into formal type theories
• Mathematical Knowledge Management
• Supporting the formal verification of mathematical texts
• scientific article; zbMATH DE number 2085176
• Foreword to the special focus on formal proofs for mathematics and computer science

Mathematics Subject Classification ID

Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Title not available (Why is that?)
• MathLang Translation to Isabelle Syntax
• Mathematical Knowledge Management

Uses Software

• Coq
• Isabelle/HOL
• Mizar
• GF

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 Q5898533)