Page 1

Displaying 1 – 11 of 11

Showing per page

A verified method for solving piecewise smooth initial value problems

Ekaterina Auer, Stefan Kiel, Andreas Rauh (2013)

International Journal of Applied Mathematics and Computer Science

In many applications, there is a need to choose mathematical models that depend on non-smooth functions. The task of simulation becomes especially difficult if such functions appear on the right-hand side of an initial value problem. Moreover, solution processes from usual numerics are sensitive to roundoff errors so that verified analysis might be more useful if a guarantee of correctness is required or if the system model is influenced by uncertainty. In this paper, we provide a short overview...

Formally certified floating-point filters for homogeneous geometric predicates

Guillaume Melquiond, Sylvain Pion (2007)

RAIRO - Theoretical Informatics and Applications

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

Object oriented design philosophy for scientific computing

Philippe R. B. Devloo, Gustavo C. Longhin (2002)

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

This contribution gives an overview of current research in applying object oriented programming to scientific computing at the computational mechanics laboratory (LABMEC) at the school of civil engineering – UNICAMP. The main goal of applying object oriented programming to scientific computing is to implement increasingly complex algorithms in a structured manner and to hide the complexity behind a simple user interface. The following areas are current topics of research and documented within the...

Object oriented design philosophy for scientific computing

Philippe R.B. Devloo, Gustavo C. Longhin (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

This contribution gives an overview of current research in applying object oriented programming to scientific computing at the computational mechanics laboratory (LABMEC) at the school of civil engineering – UNICAMP. The main goal of applying object oriented programming to scientific computing is to implement increasingly complex algorithms in a structured manner and to hide the complexity behind a simple user interface. The following areas are current topics of research and documented within the...

Rigorous numerics for symmetric homoclinic orbits in reversible dynamical systems

Yasuaki Hiraoka (2007)

Kybernetika

We propose a new rigorous numerical technique to prove the existence of symmetric homoclinic orbits in reversible dynamical systems. The essential idea is to calculate Melnikov functions by the exponential dichotomy and the rigorous numerics. The algorithm of our method is explained in detail by dividing into four steps. An application to a two dimensional reversible system is also treated and the existence of a symmetric homoclinic orbit is rigorously verified as an example.

Two-sided a posteriori error estimates for linear elliptic problems with mixed boundary conditions

Sergey Korotov (2007)

Applications of Mathematics

The paper is devoted to verification of accuracy of approximate solutions obtained in computer simulations. This problem is strongly related to a posteriori error estimates, giving computable bounds for computational errors and detecting zones in the solution domain where such errors are too large and certain mesh refinements should be performed. A mathematical model consisting of a linear elliptic (reaction-diffusion) equation with a mixed Dirichlet/Neumann/Robin boundary condition is considered...

Verified numerical computations for large-scale linear systems

Katsuhisa Ozaki, Takeshi Terao, Takeshi Ogita, Takahiro Katagiri (2021)

Applications of Mathematics

This paper concerns accuracy-guaranteed numerical computations for linear systems. Due to the rapid progress of supercomputers, the treatable problem size is getting larger. The larger the problem size, the more rounding errors in floating-point arithmetic can accumulate in general, and the more inaccurate numerical solutions are obtained. Therefore, it is important to verify the accuracy of numerical solutions. Verified numerical computations are used to produce error bounds on numerical solutions....

Currently displaying 1 – 11 of 11

Page 1