Displaying similar documents to “Foreword”

Formally certified floating-point filters for homogeneous geometric predicates

Guillaume Melquiond, Sylvain Pion (2007)

RAIRO - Theoretical Informatics and Applications

Similarity:

Floating-point arithmetic provides a fast but inexact way of computing geometric predicates. In order for these predicates to be exact, it is important to rule out all the numerical situations where floating-point computations could lead to wrong results. Taking into account all the potential problems is a tedious work to do by hand. We study in this paper a floating-point implementation of a filter for the orientation-2 predicate, and how a formal and partially automatized verification...

Textes & documents - A new source for medieval mathematics in the iberian peninsula: the commercial arithmetic in Ms 10106 (Biblioteca Nacional, Madrid)

Javier Docampo Rey (2009)

Revue d'histoire des mathématiques

Similarity:

This paper contains a critical edition of a short commercial arithmetic written in Castilian (ca. 1400). The manuscript has certain characteristic features, like the presence of composite fractions, that distinguishes it from other known treatises of the Iberian peninsula. The document appears to improve considerably our knowledge of the origins and the transmission of vernacular commercial arithmetic in Europe.