Corpus ID: 30895733

ProofML - eine Annotationssprache für natürliche Beweise

@article{Koepke2003ProofMLE,
  title={ProofML - eine Annotationssprache f{\"u}r nat{\"u}rliche Beweise},
  author={P. Koepke and Bernhard Schr{\"o}der},
  journal={LDV Forum},
  year={2003},
  volume={18},
  pages={428-441}
}
Zusammenfassung: Ein Korpus natürlichsprachlich formulierter mathematischer Beweise soll auf das Verhältnis von Ausdruck und argumentativ-semantischer Struktur hin untersucht werden. Zu diesem Zweck werden die relevanten Strukturen mithilfe einer Annotationssprache ProofML in den Beweisen des Korpus annotiert. Die ProofML-Annotation soll dabei einerseits empirisch-analytischen Zwecken dienen, gleichzeitig aber auch eine geeignete Datenstruktur für eine automatische Textanreicherung darstellen… Expand
Students' language in computer-assisted tutoring of mathematical proofs
TLDR
This volume presents a part of an interdisciplinary project, set at the intersection of pedagogical science, artificial intelligence, and (computational) linguistics, which investigated issues involved in provisioning computer-based tutoring of mathematical proofs through dialogue in natural language. Expand

References

SHOWING 1-8 OF 8 REFERENCES
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
Jakina da Whiteheadek eta Russellek logika eta matematika eraiki dutela ageriko zenbait proposizio axiomatzat hartuz, eta horietatik, zehatz azaldutako inferentzia printzipioetan oinarrituz, logikakoExpand
Generalized quantifiers and natural language
In 1957, the Polish logician Andrej Mostowski pointed out that there are many mathematically interesting quantifiers that are not definable in terms of the first-order ∀, ∃ and initiated study ofExpand
Understanding Mathematical Discourse
Discourse Understanding is hard. This seems to be especiall y true for mathematical discourse, that is proofs. Restricting discourse to mathemati cal discourse allow us, however, to study the subjectExpand
Towards the Mechanical Verification of Textbook Proofs
Our goal is to implement a program for the machine verification of textbook proofs. We study the task from both the linguistics and automated reasoning perspective and give an in-depth analysis for aExpand
Dynamic predicate logic
TLDR
This dissertation aims to provide a history of web exceptionalism from 1989 to 2002, a period chosen in order to explore its roots as well as specific cases up to and including the year in which descriptions of “Web 2.0” began to circulate. Expand
An Overview of the MIZAR Project
TLDR
The Mizar project is a long-term eeort aimed at developing software to support a working mathematician in preparing papers by designing a language for writing formal mathematics based on the Tarski-Grothendieck set theory. Expand