Lecture Notes in Computer Science - Mathematical Knowledge Management
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540314301, 9783540314318
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Assisted Proof Document Authoring

2006 ◽  
pp. 65-80 ◽  
Author(s):  
David Aspinall ◽  
Christoph Lüth ◽  
Burkhart Wolff

Explanation in Natural Language of λ̄μμ͂-Terms

2006 ◽  
pp. 234-249 ◽  
Author(s):  
Claudio Sacerdoti Coen
Keyword(s):  
Natural Language

Impasse-Driven Reasoning in Proof Planning

2006 ◽  
pp. 143-158
Author(s):  
Andreas Meier ◽  
Erica Melis
Keyword(s):  
Proof Planning

Processing Textbook-Style Matrices

2006 ◽  
pp. 111-125 ◽  
Author(s):  
Alan Sexton ◽  
Volker Sorge

Transformations of MML Database’s Elements

2006 ◽  
pp. 376-388
Author(s):  
Robert Milewski

Translating Mathematical Vernacular into Knowledge Repositories

2006 ◽  
pp. 49-64 ◽  
Author(s):  
Adam Grabowski ◽  
Christoph Schwarzweller
Keyword(s):  
Knowledge Repositories

Engineering Mathematical Knowledge

2006 ◽  
pp. 250-266
Author(s):  
Achim Mahnke ◽  
Jan Scheffczyk
Keyword(s):  
Mathematical Knowledge

Authoring Presentation for openmath

2006 ◽  
pp. 33-48 ◽  
Author(s):  
Shahid Manzoor ◽  
Paul Libbrecht ◽  
Carsten Ullrich ◽  
Erica Melis

Interactive Learning and Mathematical Calculus

2006 ◽  
pp. 330-345 ◽  
Author(s):  
Arjeh M. Cohen ◽  
Hans Cuypers ◽  
Dorina Jibetean ◽  
Mark Spanbroek
Keyword(s):  
Interactive Learning
Load More ...
Sign in / Sign up

Export Citation Format

Share Document