- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Natural Language Dialog with a Tutor System for Mathematical Proofs
Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann & Magdalena Wolska
In Ruqian Lu, Jörg Siekmann & Carsten Ullrich, Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers. Springer. pp. 1-14 (2007)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
DIALOG: Natural Language-based Interaction with a Mathematics Assistance System.Pinkal Manfred, Siekmann Jörg, Benzmüller Christoph & Kruijff-Korbayova Ivana - 2004
DIALOG: Tutorial Dialog with an Assistance System for Mathematics.Pinkal Manfred, Siekmann Jörg & Benzmüller Christoph - 2004
Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs.Benzmüller Christoph, Schiller Marvin & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann, Resource-Adaptive Cognitive Processes. Springer. pp. 291-311.
DIALOG: Tutorieller Dialog mit einem Mathematik Assistenzsystem.Pinkal Manfred, Siekmann Jörg & Benzmüller Christoph - 2001
Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers.Ruqian Lu, Jörg Siekmann & Carsten Ullrich (eds.) - 2007 - Springer.
Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity.Marvin Schiller, Dominik Dietrich & Christoph Benzmüller - 2008 - Teaching Mathematics and Computer Science 6 (2):325-343.
System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs.Buckley Mark & Benzmüller Christoph - 2005
Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG Editor.Autexier Serge, Benzmüller Christoph, Fiedler Armin & Lesourd Henri - 2005
Students' language in computer-assisted tutoring of mathematical proofs.Magdalena A. Wolska - 2015 - Saarbrücken: Universaar.
PLATO: A Mediator between Text-Editors and Proof Assistance Systems.Wagner Marc, Autexier Serge & Benzmüller Christoph - 2007 - Electronic Notes in Theoretical Computer Science 174 (2):87-107.
Analytics
Added to PP
2017-12-04
Downloads
22 (#1,015,764)
6 months
5 (#702,808)
2017-12-04
Downloads
22 (#1,015,764)
6 months
5 (#702,808)
Historical graph of downloads
Author's Profile
Citations of this work
Organisation, Transformation, and Propagation of Mathematical Knowledge in Omega.Serge Autexier, Christoph Benzmüller, Dominik Dietrich & Marc Wagner - 2008 - Mathematics in Computer Science 2 (2):253-277.
Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs.Benzmüller Christoph, Schiller Marvin & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann, Resource-Adaptive Cognitive Processes. Springer. pp. 291-311.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-8567d8d854-xn8c5 dc2