04657nam 22008295 450 99646565080331620200705235308.03-540-36469-210.1007/3-540-36469-2(CKB)1000000000211928(SSID)ssj0000324680(PQKBManifestationID)11912691(PQKBTitleCode)TC0000324680(PQKBWorkID)10332240(PQKB)11689312(DE-He213)978-3-540-36469-6(MiAaPQ)EBC3063715(MiAaPQ)EBC6283589(PPN)155197290(EXLCZ)99100000000021192820121227d2003 u| 0engurnn|008mamaatxtccrMathematical Knowledge Management[electronic resource] Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 /edited by Andrea Asperti, Bruno Buchberger, James Harold Davenport1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (X, 230 p.) Lecture Notes in Computer Science,0302-9743 ;2594Bibliographic Level Mode of Issuance: Monograph3-540-00568-4 Includes bibliographical references and index.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.Lecture Notes in Computer Science,0302-9743 ;2594Artificial intelligenceInformation storage and retrievalMathematical logicComputer science—MathematicsDatabase managementComputer mathematicsArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Symbolic and Algebraic Manipulationhttps://scigraph.springernature.com/ontologies/product-market-codes/I17052Database Managementhttps://scigraph.springernature.com/ontologies/product-market-codes/I18024Computational Mathematics and Numerical Analysishttps://scigraph.springernature.com/ontologies/product-market-codes/M1400XArtificial intelligence.Information storage and retrieval.Mathematical logic.Computer science—Mathematics.Database management.Computer mathematics.Artificial Intelligence.Information Storage and Retrieval.Mathematical Logic and Formal Languages.Symbolic and Algebraic Manipulation.Database Management.Computational Mathematics and Numerical Analysis.510/.285Asperti Andreaedthttp://id.loc.gov/vocabulary/relators/edtBuchberger Brunoedthttp://id.loc.gov/vocabulary/relators/edtDavenport James Haroldedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Mathematical Knowledge ManagementMiAaPQMiAaPQMiAaPQBOOK996465650803316Mathematical Knowledge Management771964UNISA