EuDML | Browse

Page 1

Displaying 1 – 4 of 4

A Language Engineering Architecture for Processing Informal Mathematical Discourse

Wolska, Magdalena (2008)

Towards Digital Mathematics Library. Birmingham, United Kingdom, July 27th, 2008

We present a modular architecture for processing informal mathematical language as found in textbooks and mathematical publications. We point at its properties relevant in addressing three aspects of informal mathematical discourse: (i) the interleaved symbolic and natural language, (ii) the linguistic, domain, and notational context, and (iii) the imprecision of the informal language. The objective in the modular approach is to enable parameterisation of the system with respect to the natural language...

An international symposium honouring professor Karel Rektorys' eightieth. Foreword

Ivo Marek (2003)

Applications of Mathematics

An Update on bdim the Italian Digital Mathematical Library

Zelati, Vittorio Coti (2011)

Towards a Digital Mathematics Library. Bertinoro, Italy, July 20-21st, 2011

bdim has been in operation since the fall of 2010 and has been slowly growing in the last year. I will report here: 1) on what is new in bdim with respect to the first presentation in DML 2010; 2) on some of the technical aspects of our implementation; 3) on the projects for the near future; 4) on some of the issues related to possible integration of bdim with EuDML.

Automated Processing of TeX-Typeset Articles for a Digital Library

Růžička, Michal (2008)