Displaying 21 – 40 of 90

Showing per page

bdim: the Italian Digital Mathematical Library

Coti Zelati, Vittorio (2010)

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

We present bdim (Bibliteca Digitale Italiana di Matematica) the Italian project of math digitization. The project has been started by SIMAI (Società Italiana di Matematica Applicata e Industriale) and UMI (Unione Matematica Italiana) with initial support from the Biblioteca Digitale Italiana and the Italian Ministry of Beni and Attività Culturali and with the help of Numdam. At the moment bdim consists of approximately 1,300 articles, 11,000 pages (articles from Bollettino Unione Matematica Italiana,...

Computer identification of plane regions

Jozef Zámožík (1982)

Aplikace matematiky

This paper gives a simple algorithm for the identification of the insidedness and the autsidedness of a plane bounded region. The region can be the union, intersection or difference of an arbitrary number of k -tuple connected regions.

Computing with words and life data

Przemysław Grzegorzewski, Olgierd Hryniewicz (2002)

International Journal of Applied Mathematics and Computer Science

The problem of statistical inference on the mean lifetime in the presence of vague data is considered. Situations with fuzzy lifetimes and an imprecise number of failures are discussed.

Data Enhancements in a Digital Mathematical Library

Růžička, Michal, Sojka, Petr (2010)

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

The quality of digital mathematical library depends on the formats and quality of data it offers. We show several enhancements of (meta)data of the Czech Digital Mathematics Library DML-CZ. We discuss possible minimalist modification of regular LaTeX documents that would simplify generating basic metadata that describes the article in an XML/MathML format. We also show a proof of concept of a method that enables us to include LaTeX source code of mathematical expressions into pdfTeX-generated PDFs...

Designing a Semantic Ground Truth for Mathematical Formulae

Sexton, Alan, Sorge, Volker, Suzuki, Masakazu (2010)

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

We report on a new project to design a semantic ground truth set for mathematical document analysis. The ground truth set will be generated by annotating recognised mathematical symbols with respect to both their global meaning in the context of the considered documents and their local function within the particular mathematical formula they occur. The aim of our work is to have a reliable database available for semantic classification during the formula recognition process with the aim of enabling...

Developing a Metadata Exchange Format for Mathematical Literature

Ruddy, David (2010)

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

This paper describes an effort to develop a metadata element set for the exchange of descriptive metadata about mathematical literature. The approach taken uses the Dublin Core Application Profile (DCAP) framework, based on the DC Abstract Model. A fully developed DCAP for mathematical literature would be valuable, as both a guide and constraint in the creation of metadata records suitable for harvesting via OAI or sharing through other means. Adhering to the DCAP model would also enhance global...

EuDML—Towards the European Digital Mathematics Library

Sylwestrzak, Wojtek, Borbinha, José, Bouche, Thierry, Nowiński, Aleksander, Sojka, Petr (2010)

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

The paper describes the background, the expected functionalities, and the architecture design goals of the European Digital Mathematics Library (Eu-DML), an infrastructure system aimed to integrate the mathematical contents available online throughout Europe, allowing for both extensive and specialized mathematics resource discovery. The three years long project to build the EuDML, partially funded by the European Commission, started in February 2010.

Currently displaying 21 – 40 of 90