152 search results - page 1 / 31 » Copyright Issues for MKM |
MKM
2004
Springer
13 years 10 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...
ELPUB
2003
ACM
13 years 10 months ago
2003
ACM
MKM
2007
Springer
13 years 10 months ago
2007
Springer
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
JUCS
2007
13 years 4 months ago
2007
: The issue addressed in this paper focuses on the design and implementation of an advanced information system for Cultural Organizations, which serves as a platform for the exploi...
MKM
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...