|
Conferences in DBLP
- Andrew A. Adams, James H. Davenport
Copyright Issues for MKM. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:1-16 [Conf]
- Andrea Asperti, Matteo Selmi
Efficient Retrieval of Mathematical Statements. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:17-31 [Conf]
- Arnon Avron
Formalizing Set Theory as it Is Actually Used. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:32-43 [Conf]
- Grzegorz Bancerek, Josef Urban
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:44-57 [Conf]
- Paul A. Cairns
Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:58-72 [Conf]
- Olga Caprotti, Mike Dewar, Daniele Turi
Mathematical Service Matching Using Description Logic and OWL. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:73-87 [Conf]
- Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk
C-CoRN, the Constructive Coq Repository at Nijmegen. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:88-103 [Conf]
- Dirk Draheim, Winfried Neun, Dima Suliman
Classifying Differential Equations on the Web. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:104-115 [Conf]
- Adam Grabowski, Markus Moschner
Managing Heterogeneous Theories within a Mathematical Knowledge Repository. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:116-129 [Conf]
- Adam Grabowski, Christoph Schwarzweller
Rough Concept Analysis - Theory Development in the Mizar System. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:130-144 [Conf]
- Gueorgui I. Jojgov, Rob Nederpelt
A Path to Faithful Formalizations of Mathematics. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:145-159 [Conf]
- Fairouz Kamareddine, Manuel Maarek, J. B. Wells
Flexible Encoding of Mathematics on the Computer. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:160-174 [Conf]
- Andrea Kohlhase, Michael Kohlhase
CPoint: Dissolving the Author's Dilemma. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:175-189 [Conf]
- Zenon Kulpa
On Diagrammatic Representation of Mathematical Knowledge. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:190-204 [Conf]
- Temur Kutsia, Bruno Buchberger
Predicate Logic with Sequence Variables and Sequence Function Symbols. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:205-219 [Conf]
- Lori Lorigo, Jon M. Kleinberg, Richard Eaton, Robert L. Constable
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:220-235 [Conf]
- Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine
Theorem Proving and Proof Verification in the System SAD. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:236-250 [Conf]
- Erica Melis, Andreas Meier, Martin Pollet
Adaptive Access to a Proof Planner. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:251-264 [Conf]
Modeling Interactivity for Mathematics Learning by Demonstration. [Citation Graph (, )][DBLP]
Extraction of Logical Structure from Articles in Mathematics. [Citation Graph (, )][DBLP]
- Adam Naumowicz, Czeslaw Bylinski
Improving Mizar Texts with Properties and Requirements. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:290-301 [Conf]
- Luca Padovani, Riccardo Solmi
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:302-316 [Conf]
- Martin Pollet, Volker Sorge, Manfred Kerber
Intuitive and Formal Representations: The Case of Matrices. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:317-331 [Conf]
- Claudio Sacerdoti Coen
Mathematical Libraries as Proof Assistant Environments. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:332-346 [Conf]
- Claudio Sacerdoti Coen, Stefano Zacchiroli
Efficient Ambiguous Parsing of Mathematical Formulae. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:347-362 [Conf]
- Elena S. Smirnova, Clare M. So, Stephen M. Watt
An Architecture for Distributed Mathematical Web Services. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:363-377 [Conf]
- Andreas Strotmann
The Categorial Type of OpenMath Objects. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:378-392 [Conf]
|