LEADER 03492nam  2200613 a 450 
001 9910767522903321
005 20200520144314.0
010   $a3-540-37898-7
024 7 $a10.1007/11826095
035   $a(CKB)1000000000283947
035   $a(SSID)ssj0000319259
035   $a(PQKBManifestationID)11256967
035   $a(PQKBTitleCode)TC0000319259
035   $a(PQKBWorkID)10338198
035   $a(PQKB)10421868
035   $a(DE-He213)978-3-540-37898-3
035   $a(MiAaPQ)EBC3068230
035   $a(PPN)123137683
035   $a(EXLCZ)991000000000283947
100   $a20060919d2006      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aOMDoc-- an open markup format for mathematical documents $e(version 1.2) /$fMichael Kohlhase ; foreword by Alan Bundy
205   $a1st ed. 2006.
210   $aBerlin ;$aNew York $cSpringer$dc2006
215   $a1 online resource (XIX, 428 p.)
225 1 $aLecture notes in computer science. Lecture notes in artificial intelligence ;$v4180
225 1 $aLNCS sublibrary. SL 7, Artificial intelligence
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-37897-9 
320   $aIncludes bibliographical references and index.
327   $apt. 1. Setting the stage for open mathematical documents -- pt. 2. An OMDoc primer -- pt. 3. The OMDoc document format -- pt. 4. OMDoc applications, tools, and projects -- pt. 5. Appendix.
330   $aComputers 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.
410  0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v4180.
410  0$aLNCS sublibrary.$nSL 7,$pArtificial intelligence.
517 3 $aOMDoc
606   $aMathematics$xData processing
606   $aInformation storage and retrieval systems$xMathematics
606   $aOMDoc (Document markup language)
615  0$aMathematics$xData processing.
615  0$aInformation storage and retrieval systems$xMathematics.
615  0$aOMDoc (Document markup language)
676   $a006.3
700   $aKohlhase$b Michael$f1964-$0508819
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910767522903321
996   $aOMDoc – An Open Markup Format for Mathematical Documents$9772170
997   $aUNINA