Lecture Notes in Computer Science - Mathematical Knowledge Management
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540371045, 9783540371069
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From Untyped to Polymorphically Typed Objects in Mathematical Web Services

2006 ◽  
pp. 222-236 ◽  
Author(s):  
William Naylor ◽  
Julian Padget
Keyword(s):  
Web Services

Communities of Practice in MKM: An Extensional Model

2006 ◽  
pp. 179-193 ◽  
Author(s):  
Andrea Kohlhase ◽  
Michael Kohlhase
Keyword(s):  
Communities Of Practice ◽  
Extensional Model

Towards a Parser for Mathematical Formula Recognition

2006 ◽  
pp. 139-151 ◽  
Author(s):  
Amar Raja ◽  
Matthew Rayner ◽  
Alan Sexton ◽  
Volker Sorge
Keyword(s):  
Mathematical Formula ◽  
Mathematical Formula Recognition ◽  
Formula Recognition

Proof Transformation by CERES

2006 ◽  
pp. 82-93 ◽  
Author(s):  
Matthias Baaz ◽  
Stefan Hetzl ◽  
Alexander Leitsch ◽  
Clemens Richter ◽  
Hendrik Spohr

scholarly journals Structured Induction Proofs in Isabelle/Isar

2006 ◽  
pp. 17-30 ◽  
Author(s):  
Makarius Wenzel
Keyword(s):  
Induction Proofs

Information Retrieval and Rendering with MML Query

2006 ◽  
pp. 266-279 ◽  
Author(s):  
Grzegorz Bancerek
Keyword(s):  
Information Retrieval

Authoring LeActiveMath Calculus Content

2006 ◽  
pp. 251-265 ◽  
Author(s):  
Paul Libbrecht ◽  
Christian Gross
Load More ...
Sign in / Sign up

Export Citation Format

Share Document