|
|
Conferences in DBLP
- Kamal Aboul-Hosn, Terese Andersen
A Proof-Theoretic Approach to Hierarchical Math Library Organization. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:1-16 [Conf]
- Andrea Kohlhase, Michael Kohlhase
An Exploration in the Space of Mathematical Knowledge. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:17-32 [Conf]
- Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis
Authoring Presentation for OpenMath. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:33-48 [Conf]
- Adam Grabowski, Christoph Schwarzweller
Translating Mathematical Vernacular into Knowledge Repositories. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:49-64 [Conf]
- David Aspinall, Christoph Lüth, Burkhart Wolff
Assisted Proof Document Authoring. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:65-80 [Conf]
- Manfred Kerber, Martin Pollet
A Tough Nut for Mathematical Knowledge Management. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:81-95 [Conf]
- Serge Autexier, Armin Fiedler
Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:96-110 [Conf]
- Alan P. Sexton, Volker Sorge
Processing Textbook-Style Matrices. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:111-125 [Conf]
- Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:126-142 [Conf]
- Andreas Meier, Erica Melis
Impasse-Driven Reasoning in Proof Planning. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:143-158 [Conf]
- Paul A. Cairns, Jeremy Gow
Literate Proving: Presenting and Documenting Formal Proofs. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:159-173 [Conf]
- William Naylor, Julian A. Padget
Semantic Matching for Mathematical Services. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:174-189 [Conf]
- Koji Nakagawa, Masakazu Suzuki
Mathematical Knowledge Browser with Automatic Hyperlink Detection. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:190-202 [Conf]
- Alan P. Sexton, Volker Sorge
A Database of Glyphs for OCR of Mathematical Documents. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:203-216 [Conf]
- Fairouz Kamareddine, Manuel Maarek, J. B. Wells
Toward an Object-Oriented Structure for Mathematical Text. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:217-233 [Conf]
- Claudio Sacerdoti Coen
Explanation in Natural Language of lamda-µµ-Terms. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:234-249 [Conf]
- Achim Mahnke, Jan Scheffczyk
Engineering Mathematical Knowledge. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:250-266 [Conf]
- Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
Computational Origami of a Morley's Triangle. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:267-282 [Conf]
- Zenon Kulpa
Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Study. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:283-298 [Conf]
- Christoph Schwarzweller
Gröbner Bases - Theory Refinement in the Mizar System. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:299-314 [Conf]
- Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen
An Interactive Algebra Course with Formalised Proofs and Definitions. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:315-329 [Conf]
- Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek
Interactive Learning and Mathematical Calculus. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:330-345 [Conf]
- Josef Urban
XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:346-360 [Conf]
- Clare M. So, Stephen M. Watt
Determining Empirical Characteristics of Mathematical Expression Use. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:361-375 [Conf]
- Robert Milewski
Transformations of MML Database's Elements. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:376-388 [Conf]
- Gueorgui I. Jojgov
Translating a Fragment of Weak Type Theory into Type Theory with Open Terms. [Citation Graph (0, 0)][DBLP]
MKM, 2005, pp:389-403 [Conf]
|
