All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 7 of 7

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.

Modeling a fuzzy coprocessor and its programming language.

Ricardo García Rosa, Teresa de Pedro Lucio (1998)

Mathware and Soft Computing

A computational model for a fuzzy coprocessor (types and structures of data and the set of instructions) is proposed. The coprocessor will be charged only of the typical operations of fuzzy logic as calculating membership degrees, unions and intersections of fuzzy sets, fuzzy inferences, defuzzifications and so on. One main novelty is that the programming language admits fuzzy rules conditions in which there would be linguistic edges preceding the predicates and the coprocessor is designed to deal...

Currently displaying 1 – 7 of 7

Page 1