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

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_18 ◽

2006 ◽

pp. 222-236 ◽

Author(s):

William Naylor ◽

Julian Padget

Keyword(s):

Download Full-text

Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_22 ◽

2006 ◽

pp. 280-294 ◽

Author(s):

Pedro Quaresma ◽

Predrag Janičić

Keyword(s):

Dynamic Geometry ◽

Dynamic Geometry Software

Download Full-text

Communities of Practice in MKM: An Extensional Model

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_15 ◽

2006 ◽

pp. 179-193 ◽

Author(s):

Andrea Kohlhase ◽

Michael Kohlhase

Keyword(s):

Communities Of Practice ◽

Extensional Model

Download Full-text

A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_7 ◽

2006 ◽

pp. 67-81 ◽

Author(s):

Serge Autexier ◽

Claudio Sacerdoti-Coen

Download Full-text

Structured Induction Proofs in Isabelle/Isar

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_3 ◽

2006 ◽

pp. 17-30 ◽

Author(s):

Makarius Wenzel

Keyword(s):

Induction Proofs

Download Full-text

Towards a Parser for Mathematical Formula Recognition

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_12 ◽

2006 ◽

pp. 139-151 ◽

Author(s):

Amar Raja ◽

Matthew Rayner ◽

Alan Sexton ◽

Volker Sorge

Keyword(s):

Mathematical Formula ◽

Mathematical Formula Recognition ◽

Formula Recognition

Download Full-text

Proof Transformation by CERES

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_8 ◽

2006 ◽

pp. 82-93 ◽

Author(s):

Matthias Baaz ◽

Stefan Hetzl ◽

Alexander Leitsch ◽

Clemens Richter ◽

Hendrik Spohr

Download Full-text

Interpretation of Locales in Isabelle: Theories and Proof Contexts

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_4 ◽

2006 ◽

pp. 31-43 ◽

Author(s):

Clemens Ballarin

Download Full-text

Information Retrieval and Rendering with MML Query

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_21 ◽

2006 ◽

pp. 266-279 ◽

Author(s):

Grzegorz Bancerek

Keyword(s):

Information Retrieval

Download Full-text

Authoring LeActiveMath Calculus Content

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11812289_20 ◽

2006 ◽

pp. 251-265 ◽

Author(s):

Paul Libbrecht ◽

Christian Gross

Download Full-text