External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Machine-Actionable Modules of a Digital Mathematics Library - The Example of DML-CZ

Michal Ruzicka, Petr Sojka, Vlastimil Krejcír. Towards Machine-Actionable Modules of a Digital Mathematics Library - The Example of DML-CZ. In Jacques Carette, David Aspinall, Christoph Lange 0002, Petr Sojka, Wolfgang Windsteiger, editors, Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Volume 7961 of Lecture Notes in Computer Science, pages 263-277, Springer, 2013. [doi]

Authors

Michal Ruzicka

This author has not been identified. Look up 'Michal Ruzicka' in Google

Petr Sojka

This author has not been identified. Look up 'Petr Sojka' in Google

Vlastimil Krejcír

This author has not been identified. Look up 'Vlastimil Krejcír' in Google
runs on