|
|
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 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Tim Albee
reviewed Mathematical Knowledge Management on July 02, 2016
Mathematical Knowledge Management
An absolutely essential book for representation theory. Well translated etc, the only thing I would say is a fair few of the proofs are needlessly complicated. For instance, I remember early on a proof where we have to prove something for all finite dimensional vector spaces, which one would naturally do by induction starting from a line and working upwards. However, Serre insists on this very obtuse proof in strong induction, starting from the 0 vector space? Very weird.
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 List
X
This item is in your Collection
Mathematical Knowledge Management
X
This Item is in Your Inventory
Mathematical 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 |
