Granularity analysis for tutoring mathematical proofs

MaRDI QIDQ2883194zbMATH OpenFDO

Authors Marvin R. G. Schiller

Publication date 11 May 2012

Published in DISKI. Dissertationen zur Künstlichen Intelligenz (Search for Journal in Brave)

zbMATH Keywords

granularity analysistutoring mathematical proofs

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematics teaching methods and classroom techniques (97D40) Reasoning and proving in the mathematics classroom (97E50)

Recommendations

• Mathematical Knowledge Management
• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 1497860
• scientific article; zbMATH DE number 4164180
• Mechanizing Mathematical Reasoning

This page was built for publication: Granularity analysis for tutoring mathematical proofs

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