Displaying 1321 – 1340 of 4562

Showing per page

Fast and correctly rounded logarithms in double-precision

Florent de Dinechin, Christoph Lauter, Jean-Michel Muller (2007)

RAIRO - Theoretical Informatics and Applications

This article is a case study in the implementation of a portable, proven and efficient correctly rounded elementary function in double-precision. We describe the methodology used to achieve these goals in the crlibm library. There are two novel aspects to this approach. The first is the proof framework, and in general the techniques used to balance performance and provability. The second is the introduction of processor-specific optimization to get performance equivalent to the best current...

Fermat’s method of quadrature

Jaume Paradís, Josep Pla, Pelegrí Viader (2008)

Revue d'histoire des mathématiques

The Treatise on Quadratureof Fermat (c. 1659), besides containing the first known proof of the computation of the area under a higher parabola, x + m / n d x , or under a higher hyperbola, x - m / n d x —with the appropriate limits of integration in each case—has a second part which was mostly unnoticed by Fermat’s contemporaries. This second part of theTreatise is obscure and difficult to read. In it Fermat reduced the quadrature of a great number of algebraic curves in implicit form to the quadrature of known curves: the...

Currently displaying 1321 – 1340 of 4562