Sold Out
Book Categories |
Digitisation, Representation, and Formalisation (Digital Libraries of Mathematics) | 1 | |
MKM from Book to Computer: A Case Study | 17 | |
From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls | 30 | |
Managing Digital Mathematical Discourse | 45 | |
NAG Library Documentation | 56 | |
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions | 66 | |
Problems and Solutions for Markup for Mathematical Examples and Exercises | 80 | |
An Annotated Corpus and a Grammar Model of Theorem Description | 93 | |
A Query Language for a Metadata Framework about Mathematical Resources | 105 | |
Information Retrieval in MML | 119 | |
An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment | 133 | |
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge | 147 | |
On the Integrity of a Repository of Formalized Mathematics | 162 | |
A Theoretical Analysis of Hierarchical Proofs | 175 | |
Comparing Mathematical Provers | 188 | |
Translating Mizar for First Order Theorem Provers | 203 | |
The Mathematical Semantic Web | 216 | |
Author Index | 225 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionMathematical Knowledge Management
X
This Item is in Your InventoryMathematical Knowledge Management
X
You must be logged in to review the productsX
X
X
Add Mathematical Knowledge Management, , Mathematical Knowledge Management to the inventory that you are selling on WonderClubX
X
Add Mathematical Knowledge Management, , Mathematical Knowledge Management to your collection on WonderClub |