A Computational Framework For Understanding Mathematical Discoursexy

DOI10.1093/JIGPAL/11.4.457MaRDI QIDQ4454094zbMATH OpenOpenAlexFDO

Authors Claus Zinn

Publication date 7 March 2004

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/11.4.457

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Recommendations

• A science of reasoning: Extended abstract
• scientific article; zbMATH DE number 5607884
• Plans and planning in mathematical proofs
• Publication:4941944
• On the EA-style integrated processing of self-contained mathematical texts

Cited in

(4)

• scientific article; zbMATH DE number 5607884 (Why is no real title available?)
• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
• A science of reasoning: Extended abstract
• Premise selection for mathematics by corpus analysis and kernel methods

This page was built for publication: A Computational Framework For Understanding Mathematical Discoursexy

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