Page 1 Next

Displaying 1 – 20 of 140

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...

Filippov Lemma for certain second order differential inclusions

Grzegorz Bartuzel, Andrzej Fryszkowski (2012)

Open Mathematics

In the paper we give an analogue of the Filippov Lemma for the second order differential inclusions with the initial conditions y(0) = 0, y′(0) = 0, where the matrix A ∈ ℝd×d and multifunction is Lipschitz continuous in y with a t-independent constant l. The main result is the following: Assume that F is measurable in t and integrably bounded. Let y 0 ∈ W 2,1 be an arbitrary function fulfilling the above initial conditions and such that where p 0 ∈ L 1[0, 1]. Then there exists a solution y ∈ W 2,1...

Filter descriptive classes of Borel functions

Gabriel Debs, Jean Saint Raymond (2009)

Fundamenta Mathematicae

We first prove that given any analytic filter ℱ on ω the set of all functions f on 2 ω which can be represented as the pointwise limit relative to ℱ of some sequence ( f ) n ω of continuous functions ( f = l i m f ), is exactly the set of all Borel functions of class ξ for some countable ordinal ξ that we call the rank of ℱ. We discuss several structural properties of this rank. For example, we prove that any free Π⁰₄ filter is of rank 1.

Fine properties of Baire one functions

Udayan Darji, Michael Evans, Chris Freiling, Richard O'Malley (1998)

Fundamenta Mathematicae

A new theorem in the theory of first return representations of Baire class one functions of a real variable is presented which has as immediate consequences several known characterizations of standard subclasses of the Baire one functions. Further, this theorem yields new insights into how finely Baire one functions can be recovered and yields a characterization of another subclass of Baire one functions.

Finite element approximations of a glaciology problem

Sum S. Chow, Graham F. Carey, Michael L. Anderson (2004)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

In this paper we study a model problem describing the movement of a glacier under Glen’s flow law and investigated by Colinge and Rappaz [Colinge and Rappaz, ESAIM: M2AN 33 (1999) 395–406]. We establish error estimates for finite element approximation using the results of Chow [Chow, SIAM J. Numer. Analysis 29 (1992) 769–780] and Liu and Barrett [Liu and Barrett, SIAM J. Numer. Analysis 33 (1996) 98–106] and give an analysis of the convergence of the successive approximations used in [Colinge and...

Finite element approximations of a glaciology problem

Sum S. Chow, Graham F. Carey, Michael L. Anderson (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

In this paper we study a model problem describing the movement of a glacier under Glen's flow law and investigated by Colinge and Rappaz [Colinge and Rappaz, ESAIM: M2AN33 (1999) 395–406]. We establish error estimates for finite element approximation using the results of Chow [Chow, SIAM J. Numer. Analysis29 (1992) 769–780] and Liu and Barrett [Liu and Barrett, SIAM J. Numer. Analysis33 (1996) 98–106] and give an analysis of the convergence of the successive approximations used in [Colinge and...

Currently displaying 1 – 20 of 140

Page 1 Next