OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy /

• Main Author: Kohlhase, Michael (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 4180
• Subjects: Computer science.; Computers.; Mathematical logic.; Computer science > Mathematics.; Information storage and retrieval.; Artificial intelligence.; Computer software.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Software.; Theory of Computation.; Information Storage and Retrieval.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.

Computers arechanging the way wethink. 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 compu- tional te...