Access the full text.
Sign up today, get DeepDyve free for 14 days.
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
Math.Comput.Sci. (2010) 3:225–226 DOI 10.1007/s11786-010-0028-3 Mathematics in Computer Science Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge Serge Autexier · Petr Sojka · Masakazu Suzuki Received: 12 January 2010 / Revised: 12 January 2010 / Accepted: 12 January 2010 / Published online: 10 March 2010 © Birkhäuser Verlag Basel/Switzerland 2010 A huge amount of mathematical knowledge has been produced over the last millennia and still is produced every day. Mathematics has been a major factor for the prosperous development of modern societies and mathematical knowledge is part of the cultural heritage of humanity. The digital age offers new forms of doing mathematics and authoring mathematical knowledge, new technologies to preserve and manage the mathematical knowledge, as well as new methods to democratize its uptake and usage. The “Seventh International Conference on Mathematical Knowledge Management (MKM)” took place in Birmingham, UK, in 2008. As part of the Conferences on Intelligent Computer Mathematics, it was co-located with other conferences and workshops, among others the Workshop “DML: Towards a Digital Mathematics Library”. This special issue arose from MKM and DML and is devoted to the authoring, digitalization and management of mathematical knowledge. All in all 24 papers
Mathematics in Computer Science – Springer Journals
Published: Mar 10, 2010
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.