Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
MKM
2004
Springer
11 years 7 months ago
Intuitive and Formal Representations: The Case of Matrices
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
Martin Pollet, Volker Sorge, Manfred Kerber
MKM
2004
Springer
11 years 7 months ago
Extraction of Logical Structure from Articles in Mathematics
We propose a mathematical knowledge browser which helps people to read mathematical documents. By the browser printed mathematical documents can be scanned and recognized by OCR (O...
Koji Nakagawa, Akihiro Nomura, Masakazu Suzuki
MKM
2004
Springer
11 years 7 months ago
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
Lori Lorigo, Jon M. Kleinberg, Richard Eaton, Robe...
MKM
2004
Springer
11 years 7 months ago
Predicate Logic with Sequence Variables and Sequence Function Symbols
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
Temur Kutsia, Bruno Buchberger
MKM
2004
Springer
11 years 7 months ago
CPoint: Dissolving the Author's Dilemma
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
Andrea Kohlhase, Michael Kohlhase
MKM
2004
Springer
11 years 7 months ago
Flexible Encoding of Mathematics on the Computer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
Fairouz Kamareddine, Manuel Maarek, J. B. Wells
MKM
2004
Springer
11 years 7 months ago
Copyright Issues for MKM
Abstract. We present an overview of the current situation and recent and expected future developments in areas of copyright law and economics relevant to Mathematical Knowledge Man...
Andrew A. Adams, James H. Davenport
MKM
2004
Springer
11 years 7 months ago
C-CoRN, the Constructive Coq Repository at Nijmegen
We present C-CoRN, the Constructive Coq Repository at Nijmegen. It consists of a library of constructive algebra and analysis, formalized in the theorem prover Coq. In this paper w...
Luís Cruz-Filipe, Herman Geuvers, Freek Wie...
MKM
2004
Springer
11 years 7 months ago
Mathematical Service Matching Using Description Logic and OWL
Olga Caprotti, Mike Dewar, Daniele Turi
MKM
2004
Springer
11 years 7 months ago
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
Grzegorz Bancerek, Josef Urban
books