13 search results - page 1 / 3 » mkm 2004 |
MKM
2004
Springer
13 years 9 months ago
2004
Springer
MKM
2004
Springer
13 years 9 months ago
2004
Springer
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...
MKM
2004
Springer
13 years 9 months ago
2004
Springer
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 ...
MKM
2004
Springer
13 years 9 months ago
2004
Springer
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...
MKM
2004
Springer
13 years 9 months ago
2004
Springer
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...