On the Automatic Computation of Error Bounds for Solutions of Nonlinear Equations
Related publications (67)
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
Modern programming languages have adopted the floating point type as a way to describe computations with real numbers. Thanks to the hardware support, such computations are efficient on modern architectures. However, rigorous reasoning about the resulting ...
The numerical analysis of a dynamic constrained optimization problem is presented. It consists of a global minimization problem that is coupled with a system of ordinary differential equations. The activation and the deactivation of inequality constraints ...
The modeling of a system composed by a gas phase and organic aerosol particles, and its numerical resolution are studied. The gas-aerosol system is modeled by ordinary differential equations coupled with a mixed-constrained optimization problem. This coupl ...
High precision measurements of the Cosmic Microwave Background (CMB) anisotropies, as can be expected from the PLANCK satellite, will require high-accuracy theoretical predictions as well. One possible source of theoretical uncertainty is the numerical err ...
Bessel-Gauss beams are known as non-diffracting beams. They can be obtained by focusing an annularly shaped collimated laser beam. Here, we report for the first time on the direct measurement of the phase evolution of such beams by relying on longitudinal- ...
A general continuum theory for particle size segregation and diffusive remixing in polydisperse granular avalanches is formulated using mixture theory. Comparisons are drawn to existing segregation theories for bi-disperse mixtures and the case of a ternar ...
A classical way to represent vehicle interactions at merges at the microscopic scale is to combine a gap-acceptance model with a car-following algorithm. However, in congested conditions (when a queue spills back on the major road), outputs of such a combi ...
This work presents a numerical model able to simulate the effect of biomass growth on the hydraulic properties of saturated porous media, i.e., bioclogging. A new module for an existing coupled flow and reactive-transport code -- PHWAT -- was implemented. ...
We numerically calculate the first few eigenvalues of the perturbations of self-similar solutions of the spherically symmetric co-rotational SU(2) sigma-model on Minkowski space. ...
Dam-break floods on steep slopes occur in diverse settings. They may result from failure of either natural or man-made dams, and they have been responsible for the loss of thousands of lives [Costa, 1988]. Recent disasters resulting from dam-break floods o ...