default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd MKM 2004: Bialowieza, Poland
- Andrea Asperti
, Grzegorz Bancerek, Andrzej Trybulec:
Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings. Lecture Notes in Computer Science 3119, Springer 2004, ISBN 3-540-23029-7 - Andrew A. Adams, James H. Davenport:
Copyright Issues for MKM. 1-16 - Andrea Asperti, Matteo Selmi:
Efficient Retrieval of Mathematical Statements. 17-31 - Arnon Avron:
Formalizing Set Theory as it Is Actually Used. 32-43 - Grzegorz Bancerek, Josef Urban:
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. 44-57 - Paul A. Cairns:
Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics. 58-72 - Olga Caprotti, Mike Dewar, Daniele Turi:
Mathematical Service Matching Using Description Logic and OWL. 73-87 - Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk:
C-CoRN, the Constructive Coq Repository at Nijmegen. 88-103 - Dirk Draheim, Winfried Neun, Dima Suliman:
Classifying Differential Equations on the Web. 104-115 - Adam Grabowski, Markus Moschner:
Managing Heterogeneous Theories within a Mathematical Knowledge Repository. 116-129 - Adam Grabowski, Christoph Schwarzweller:
Rough Concept Analysis - Theory Development in the Mizar System. 130-144 - Gueorgui I. Jojgov, Rob Nederpelt:
A Path to Faithful Formalizations of Mathematics. 145-159 - Fairouz Kamareddine, Manuel Maarek, J. B. Wells:
Flexible Encoding of Mathematics on the Computer. 160-174 - Andrea Kohlhase, Michael Kohlhase:
CPoint: Dissolving the Author's Dilemma. 175-189 - Zenon Kulpa:
On Diagrammatic Representation of Mathematical Knowledge. 190-204 - Temur Kutsia, Bruno Buchberger:
Predicate Logic with Sequence Variables and Sequence Function Symbols. 205-219 - 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. 220-235 - Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine:
Theorem Proving and Proof Verification in the System SAD. 236-250 - Erica Melis, Andreas Meier, Martin Pollet:
Adaptive Access to a Proof Planner. 251-264 - Miguel Angel Mora, Roberto Moriyón, Francisco Saiz:
Modeling Interactivity for Mathematics Learning by Demonstration. 265-275 - Koji Nakagawa, Akihiro Nomura, Masakazu Suzuki:
Extraction of Logical Structure from Articles in Mathematics. 276-289 - Adam Naumowicz, Czeslaw Bylinski:
Improving Mizar Texts with Properties and Requirements. 290-301 - Luca Padovani, Riccardo Solmi:
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics. 302-316 - Martin Pollet, Volker Sorge, Manfred Kerber:
Intuitive and Formal Representations: The Case of Matrices. 317-331 - Claudio Sacerdoti Coen:
Mathematical Libraries as Proof Assistant Environments. 332-346 - Claudio Sacerdoti Coen, Stefano Zacchiroli:
Efficient Ambiguous Parsing of Mathematical Formulae. 347-362 - Elena S. Smirnova, Clare M. So, Stephen M. Watt:
An Architecture for Distributed Mathematical Web Services. 363-377 - Andreas Strotmann:
The Categorial Type of OpenMath Objects. 378-392
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-18 23:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
