Preface
Preface
Preface
Producing MathML with Tralics
We describe here how Tralics can be used to convert LaTeX documents into XML or HTML. It uses an ad-hoc DTD (a simplification of the TEI), but the translation of the math formulas is conforming to the presentation MathML 2.0 recommendations. We explain how to run and parametrize the software. We give an overview of the various MathML constructs, and how they are rendered by different browsers.
Recent Development of the DML-CZ and Its Current State
The project DML-CZ: The Czech Digital Mathematics Library has been implemented since 2005 and in 2010 switched over to routine operation. This report describes progress, growth and usage of the DML-CZ, the experience from cooperation with content providers in the designed editorial workflow, some newly implemented features, adjustments of the workflow following from both the ongoing practical experience and the requirements of the advancing EuDML project, the general public acceptance and attendance...
RusDML 2008
The purpose of this extended abstract is to summarize the report on the final achievements of the RusDML project, where this acronym stands for Russian Digital Mathematical Library. The initial phases of the project have been described in [Evstigneeva, G. A., Wegner, B.: O proekte sozdanija elektronnogo archiva russkich publikatsii po matematiki. Proceedings of LIBCOM 2002, Yershovo, November 2002.] and [Evstigneeva, G. A., Zemskov, A.: RusDML — a Russian-German project for establishing a digital...
Small Scale Retrodigitization
The digitization of papers born in the print-only era is vital for the health of the mathematical record. Many large scale retrodigitization projects are underway and, at this point, probably more that half of the mathematical history has been finished. Many smaller journals and books remain to be done. This paper gives a framework within which these may also be completed. It uses the digitization of the Canadian Journal of Mathematics (53,000 pages), completed as a one-man project over a few months,...
Some Thoughts on the Near-Future Digital Mathematics Library
The mathematicians’ Digital mathematics library (DML) summarises the generous project that all mathematics ever published should end up in digital form so that it would be more easily referenced, accessed, used. This concept was formulated at the very beginning of this century, and yielded a lot of international activity that culminated around years 2002–2005. While it is estimated that a substantial part of the existing math literature is already available in some digital format, nothing looking...
Special Issue: AAMP VIII AND ISCAMI 2011
Special issue dedicated to the thirteenth “Journées Montoises d'Informatique Théorique”
Special issue dedicated to the thirteenth "Journées Montoises d'Informatique Théorique"
Special issue: Editorial [Issue dedicated to Albert Perez]
Special Issue: Editorial [Selected papers from 7th FSTA Conference, 2004]
Special issue: Guest editorial [Papers from the 2nd Annual Conference “Knowledge 2003”]
Special issue in the honor of the 14th “Journées Montoises d’Informatique Théorique”
Special issue on uncertainty processing
Special issue: WUPES’12
This special issue of the Kybernetika Journal arose from the 9th workshop on uncertainty processing, WUPES’12, held in Mariánské Lázně, Czech Republic, in September 2012. In the selection process for this special issue, we tried to capture the rich variety of the presented methodological approaches. The quality of the selected papers was judged by reviewers in accord with the usual practice of Kybernetika. After a careful selection, 7 papers were included in the special issue. There are, however,...
Stav a koncepce matematické informatiky v ČSSR
Symbol Declarations in Mathematical Writing
We present three corpus-based studies on symbol declaration in mathematical writing. We focus on simple object denoting symbols which may be part of larger expressions. We look into whether the symbols are explicitly introduced into the discourse and whether the information on once interpreted symbols can be used to interpret structurally related symbols. Our goal is to support fine-grained semantic interpretation of simple and complex mathematical expressions. The results of our analysis empirically...
Table of Contents