Mechanizing Mathematical Reasoning

DOI10.1007/B106663zbMath1098.97500OpenAlexW2484955858MaRDI QIDQ5717451

Bernd Krieg-Brückner

Publication date: 10 January 2006

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

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

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Problem books, competitions, examinations (aspects of mathematics education) (97U40) Technological tools, calculators (aspects of mathematics education) (97U70)

Uses Software

• MAYA
• OMDoc
• Unnamed Item
• Unnamed Item

Cites Work

• MAYA

This page was built for publication: Mechanizing Mathematical Reasoning