OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

by Michael Kohlhase

★★★★★
4.8 (559)

US$27.50

15% OFF CODE: SAVE15

Description

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 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 c- putation is one of the roots o