Reproductions of Nahua Manuscripts

Faithful Reproductions of the Automath Landau Formalization

In the 1970s van Benthem Jutting translated Landau’s book Grundlagen der Analysis into Automath. The type theory of Automath differs from modern type theories in significant ways. The most important difference is that Automath is λ-typed while most modern type theories are Π-typed. In this paper we define the notion of a faithful reproduction of an Automath signature. We describe how one can ob...

REPRODUCIBLE REPRODUCTIONS Color , light , and digital images

We believe that our perception of an object reveals its true nature. However, the image is the result of particular lighting conditions, and the physiology of the eye. In this paper we investigate how to characterize an object independent of its environment. Such that two independent measurements yield the same answer, independent of the lighting and the camera. At the most basic level this pro...

Of abstracts and manuscripts.

Genealogy of Illustrated Manuscripts

1. Introduction. Illustrated manuscripts may be analysed in terms of both their texts and their illustrations. While statistical techniques have long been applied to the textual analysis of manuscripts, e.g., Lebart and Salem (1994), no corresponding pictorial analysis can be found in the art history literature. The purpose of this paper is to suggest that the field can benefit from statistical...

Automatic Analysis of Historical Manuscripts

In this paper a document analysis tool for historical manuscripts is proposed. The goal is to automatically segment layout components of the page, that is text, pictures and decorations. We specifically focused on the pictures, proposing a set of visual features able to identify significant pictures and separating them from all the floral and abstract decorations. The analysis is performed by b...