Page 1

Displaying 1 – 5 of 5

Showing per page

Mathematical Communication and Representation in a Virtual Learning Environment

Córcoles, César, Huertas, Antonia (2010)

Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010

Abstract. At an exclusively online university such as the UOC the necessity for communicating mathematics in the web is pressing. In an environment that does not allow for face to face communication, things implicitly communicated when using a blackboard, such as the canonical verbalization or handwriting of formulae, are lost and become a big obstacle. Also, the editorial process for the creation of learning/teaching resources is suited for a generalist approach and, consequently, needs such as...

Mathematical Formulae Recognition and Logical Structure Analysis of Mathematical Papers

Suzuki, Masakazu (2010)

Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010

In most cases the current on-line journals in mathematics are supplied in the form of PDF with print images of papers in the front and OCR’ed hidden texts behind to provide with search facilily using key words. The embedded hidden texts usually does not include good information about mathematical formulae in the papers. We can say that, for the future development of DML, it is desirable to include, in the digitised journals, more structured information of the content of mathematical papers, e.g....

Metadata Editing and Validation for a Digital Mathematics Library

Filej, Miha, Růžička, Michal, Šárfy, Martin, Sojka, Petr (2010)

Towards a Digital Mathematics Library. Paris, France, July 7-8th, 2010

For preparing and validating metadata for the Digital Mathematics Library DML-CZ, a new tool, the Metadata Editor, has been developed. This paper outlines the procedures for Linguistic and geographical localizations its components. Also mentioned are such aspects as dynamic generation of form editing based on the XML Schema, the validation procedures as well as support for semiautomatic procedures regarding quality assurance.

Currently displaying 1 – 5 of 5

Page 1