Mathematical Knowledge Management [electronic resource] : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 /
Material type: TextSeries: Lecture Notes in Computer Science ; 2594Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003Edition: 1st ed. 2003Description: X, 230 p. online resourceContent type:- text
- computer
- online resource
- 9783540364696
- Artificial intelligence
- Information storage and retrieval systems
- Machine theory
- Computer science -- Mathematics
- Database management
- Mathematics -- Data processing
- Artificial Intelligence
- Information Storage and Retrieval
- Formal Languages and Automata Theory
- Symbolic and Algebraic Manipulation
- Database Management
- Computational Mathematics and Numerical Analysis
- 006.3 23
- Q334-342
- TA347.A78
Regular Contributions -- Digitisation, Representation, and Formalisation Digital Libraries of Mathematics -- MKM from Book to Computer: A Case Study -- From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls -- Managing Digital Mathematical Discourse -- NAG Library Documentation -- On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions -- Problems and Solutions for Markup for Mathematical Examples and Exercises -- An Annotated Corpus and a Grammar Model of Theorem Description -- A Query Language for a Metadata Framework about Mathematical Resources -- Information Retrieval in MML -- An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment -- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge -- On the Integrity of a Repository of Formalized Mathematics -- A Theoretical Analysis of Hierarchical Proofs -- Comparing Mathematical Provers -- Translating Mizar for First Order Theorem Provers -- Invited Talk -- The Mathematical Semantic Web.
There are no comments on this title.