A Computational Framework For Understanding Mathematical Discoursexy

DOI10.1093/JIGPAL/11.4.457zbMATH Open1061.68144OpenAlexW2016994540MaRDI QIDQ4454094FDOQ4454094

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• 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)