05737nam 22007575 450 99646602880331620220809233625.03-540-37898-710.1007/11826095(CKB)1000000000283947(SSID)ssj0000319259(PQKBManifestationID)11256967(PQKBTitleCode)TC0000319259(PQKBWorkID)10338198(PQKB)10421868(DE-He213)978-3-540-37898-3(MiAaPQ)EBC3068230(PPN)123137683(EXLCZ)99100000000028394720101025d2006 u| 0engurnn#008mamaatxtccrOMDoc -- An Open Markup Format for Mathematical Documents [version 1.2][electronic resource] Foreword by Alan Bundy /by Michael Kohlhase1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XIX, 428 p.)Lecture Notes in Artificial Intelligence ;4180Bibliographic Level Mode of Issuance: Monograph3-540-37897-9 Includes bibliographical references and index.Setting the Stage for Open Mathematical Documents -- Setting the Stage for Open Mathematical Documents -- Document Markup for the Web -- Markup for Mathematical Knowledge -- OMDoc: Open Mathematical Documents -- An OMDoc Primer -- An OMDoc Primer -- Mathematical Textbooks and Articles -- OpenMath Content Dictionaries -- Structured and Parametrized Theories -- A Development Graph for Elementary Algebra -- Courseware and the Narrative/Content Distinction -- Communication with and Between Mathematical Software Systems -- The OMDoc Document Format -- The OMDoc Document Format -- OMDoc as a Modular Format -- Document Infrastructure (Module DOC) -- Metadata (Modules DC and CC) -- Mathematical Objects (Module MOBJ) -- Mathematical Text (Modules MTXT and RT) -- Mathematical Statements (Module ST) -- Abstract Data Types (Module ADT) -- Representing Proofs (Module PF) -- Complex Theories (Modules CTH and DG) -- Notation and Presentation (Module PRES) -- Auxiliary Elements (Module EXT) -- Exercises (Module QUIZ) -- Document Models for OMDoc -- OMDoc Applications, Tools, and Projects -- OMDoc Applications, Tools, and Projects -- OMDoc Resources -- Validating OMDoc Documents -- Transforming OMDoc by XSLT Style Sheets -- OMDoc Applications and Projects -- Changes to the Specification -- Quick-Reference Table to the OMDoc Elements -- Quick-Reference Table to the OMDoc Attributes -- The RelaxNG Schema for OMDoc -- The RelaxNG Schemata for Mathematical Objects.Computers are changing the way we think. Of course, nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I’m not referring to that. I mean that people have begun to think about what they do in computational terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians. Arithmetic computation is one of the roots of mathematics. Since Euclid’s algorithm for finding greatest common divisors, many seminal mathematical contributions have consisted of new procedures. But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Think of the explosive interest in fractals, for instance. This has been driven primarily by our new-found ability rapidly to visualize fractal shapes, such as the Mandelbrot set. Taking advantage of these new opportunities has required the learning of new skills, such as using computer algebra and graphics packages.Lecture Notes in Artificial Intelligence ;4180Artificial intelligenceComputer softwareComputersInformation storage and retrievalMathematical logicComputer science—MathematicsArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Softwarehttps://scigraph.springernature.com/ontologies/product-market-codes/M14042Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Information 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/I17052Artificial intelligence.Computer software.Computers.Information storage and retrieval.Mathematical logic.Computer science—Mathematics.Artificial Intelligence.Mathematical Software.Theory of Computation.Information Storage and Retrieval.Mathematical Logic and Formal Languages.Symbolic and Algebraic Manipulation.006.3Kohlhase Michaelauthttp://id.loc.gov/vocabulary/relators/aut508819BOOK996466028803316OMDoc – An Open Markup Format for Mathematical Documents772170UNISA