Lecture Notes in Computer Science - Mathematical Knowledge Management
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540230298, 9783540278184

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Managing Heterogeneous Theories within a Mathematical Knowledge Repository

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/978-3-540-27818-4_9 ◽

2004 ◽

pp. 116-129 ◽

Cited By ~ 2

Author(s):

Adam Grabowski ◽

Markus Moschner

Keyword(s):

Mathematical Knowledge ◽

Knowledge Repository

Download Full-text

The Categorial Type of OpenMath Objects

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/978-3-540-27818-4_27 ◽

2004 ◽

pp. 378-392 ◽

Cited By ~ 4

Author(s):

Andreas Strotmann

Download Full-text

Intuitive and Formal Representations: The Case of Matrices

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/978-3-540-27818-4_23 ◽

2004 ◽

pp. 317-331 ◽

Cited By ~ 6

Author(s):

Martin Pollet ◽

Volker Sorge ◽

Manfred Kerber

Keyword(s):

Formal Representations

Download Full-text

Copyright Issues for MKM

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/978-3-540-27818-4_1 ◽

2004 ◽

pp. 1-16 ◽

Cited By ~ 2

Author(s):

Andrew A. Adams ◽

James H. Davenport

Download Full-text

An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/978-3-540-27818-4_22 ◽

2004 ◽

pp. 302-316 ◽

Cited By ~ 9

Author(s):

Luca Padovani ◽

Riccardo Solmi

Keyword(s):

Direct Manipulation

Download Full-text

Mathematical Libraries as Proof Assistant Environments

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/978-3-540-27818-4_24 ◽

2004 ◽

pp. 332-346 ◽

Cited By ~ 1

Author(s):

Claudio Sacerdoti Coen

Keyword(s):

Proof Assistant

Download Full-text

A Path to Faithful Formalizations of Mathematics

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/978-3-540-27818-4_11 ◽

2004 ◽

pp. 145-159 ◽

Cited By ~ 3

Author(s):

Gueorgui Jojgov ◽

Rob Nederpelt

Download Full-text

Flexible Encoding of Mathematics on the Computer

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/978-3-540-27818-4_12 ◽

2004 ◽

pp. 160-174 ◽

Cited By ~ 4

Author(s):

Fairouz Kamareddine ◽

Manuel Maarek ◽

J. B. Wells

Download Full-text

Classifying Differential Equations on the Web

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/978-3-540-27818-4_8 ◽

2004 ◽

pp. 104-115 ◽

Cited By ~ 1

Author(s):

Dirk Draheim ◽

Winfried Neun ◽

Dima Suliman

Keyword(s):

Differential Equations ◽

The Web

Download Full-text

Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/978-3-540-27818-4_5 ◽

2004 ◽

pp. 58-72 ◽

Cited By ~ 9

Author(s):

Paul Cairns

Keyword(s):

Formal Mathematics

Download Full-text

Lecture Notes in Computer Science - Mathematical Knowledge ManagementLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Managing Heterogeneous Theories within a Mathematical Knowledge Repository

The Categorial Type of OpenMath Objects

Intuitive and Formal Representations: The Case of Matrices

Copyright Issues for MKM

An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics

Mathematical Libraries as Proof Assistant Environments

A Path to Faithful Formalizations of Mathematics

Flexible Encoding of Mathematics on the Computer

Classifying Differential Equations on the Web

Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics

Lecture Notes in Computer Science - Mathematical Knowledge Management
Latest Publications