Formal adjoints of linear DAE operators and their role in optimal control.
Formally certified floating-point filters for homogeneous geometric predicates
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 of this...
Formation of Singularities in Fluid Interfaces
Forme confluente de l'e-algorithme topologique.
Former super-irrécductibles des systèmes différentiels linéaires.
Formulas for Best Extrapolation.
Formulas for sums of powers of integers by functional equations.
Formulation mixte d'un problème de jonctions de poutres adaptée à la résolution d'un problème d'optimisation
Formulations mixtes augmentées et applications
Formulations Mixtes Augmentées et Applications
We propose and analyse a abstract framework for augmented mixed formulations. We give a priori error estimate in the general case: conforming and nonconforming approximations with or without numerical integration. Finally, a posteriori error estimator is given. An example of stabilized formulation for Stokes problem is analysed.
Forty necessary and sufficient conditions for regularity of interval matrices: A survey.
Forward Error Analysis of Gaussian Elimination. Part I: Error and Residual Estimates.
Forward Error Analysis of Gaussian Elimination. Part II: Stability Theorems.
Fourier Analysis of 2-Point Hermite Interpolatory Subdivision Schemes.
Fourier analysis of iterative aggregation-disaggregation methods for nearly circulant stochastic matrices
We introduce a new way of the analysis of iterative aggregation-disaggregation methods for computing stationary probability distribution vectors of stochastic matrices. This new approach is based on the Fourier transform of the error propagation matrix. Exact formula for its spectrum can be obtained if the stochastic matrix is circulant. Some examples are presented.
Fourier approximation for integral equations on the real line.
Fourier method for Laplace transform inversion.
Fourier Reconstruction in Tomography.
Fourier transforms with respect to monomial representations.
Fourier-Chebyshev pseudospectral method for two-dimensional vorticity equation.