Concept

Numerical error

In software engineering and mathematics, numerical error is the error in the numerical computations. It can be the combined effect of two kinds of error in a calculation. the first is caused by the finite precision of computations involving floating-point or integer values the second usually called truncation error is the difference between the exact mathematical solution and the approximate solution obtained when simplifications are made to the mathematical equations to make them more amenable to calculation. The term truncation comes from the fact that either these simplifications usually involve the truncation of an infinite series expansion so as to make the computation possible and practical, or because the least significant bits of an arithmetic operation are thrown away. Floating-point numerical error is often measured in ULP (unit in the last place).

Official source

https://en.wikipedia.org/wiki/Numerical_error

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (1)

MATH-611: Scientific programming for Engineers

The students will acquire a solid knowledge on the processes necessary to design, write and use scientific software. Software design techniques will be used to program a multi-usage particles code, aiming at providing the link between algorithmic/complexit ...

Related lectures (3)

Floating Point Numbers: LU Decomposition and Errors

Explores floating point numbers, LU decomposition, errors in numerical computations, and the impact of round-off errors.

Non-smoothness and Compressive Sensing

Explores non-smooth minimization, compressive sensing, sparse signal recovery, and simple representations using atomic sets and atoms.

Floating Point Numbers: Representation and Errors Log in to Mediaspace to watch this video

Introduces floating point number representation, round-off errors, and their impact on numerical computations.

Related publications (3)

On Numerical Error Propagation with Sensitivity

An emerging area of research is to automatically compute reasonably accurate upper bounds on numerical errors, including roundoffs due to the use of a finite-precision representation for real numbers such as floating point or fixed-point arithmetic. Previous approaches for this task are limited in their accuracy and scalability, especially in the presence of nonlinear arithmetic. Our main idea is to decouple the computation of newly introduced roundoff errors from the amplification of existing errors. To ch

2014

Domain decomposition methods for the coupling of surface and groundwater flows

The purpose of this thesis is to investigate, from both the mathematical and numerical viewpoint, the coupling of surface and porous media flows, with particular concern on environmental applications. Domain decomposition methods are applied to set up effective iterative algorithms for the numerical solution of the global problem. To this aim, we reformulate the coupled problem in terms of an interface (Steklov-Poincaré) equation and we investigate the properties of the Steklov-Poincaré operators in order t

EPFL2004

Acceleration of a fixed point algorithm for fluid-structure interaction using transpiration conditions

Simone Deparis, Luca Formaggia

In this work, we address the numerical solution of fluid-structure interaction problems. This issue is particularly difficulty to tackle when the fluid and the solid densities are of the same order, for instance as it happens in hemodynamic applications, since fully implicit coupling schemes are required to ensure stability of the resulting method. Thus, at each time step, we have to solve a highly nonlinear coupled system, since the fluid domain depends on the unknown displacement of the structure. Standar

2003

Graph Chat

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.

Official source

https://en.wikipedia.org/wiki/Numerical_error

About this result

Related courses (1)

MATH-611: Scientific programming for Engineers

Related lectures (3)

Floating Point Numbers: LU Decomposition and Errors

Explores floating point numbers, LU decomposition, errors in numerical computations, and the impact of round-off errors.

Non-smoothness and Compressive Sensing

Explores non-smooth minimization, compressive sensing, sparse signal recovery, and simple representations using atomic sets and atoms.

Floating Point Numbers: Representation and Errors Log in to Mediaspace to watch this video

Introduces floating point number representation, round-off errors, and their impact on numerical computations.

Related publications (3)

On Numerical Error Propagation with Sensitivity

2014

Domain decomposition methods for the coupling of surface and groundwater flows

EPFL2004

Acceleration of a fixed point algorithm for fluid-structure interaction using transpiration conditions

Simone Deparis, Luca Formaggia

2003

Related people (3)

Mohammadhossein Gorji

Viktor Kuncak

Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.

Volkan Cevher

Volkan Cevher received the B.Sc. (valedictorian) in electrical engineering from Bilkent University in Ankara, Turkey, in 1999 and the Ph.D. in electrical and computer engineering from the Georgia Institute of Technology in Atlanta, GA in 2005. He was a Research Scientist with the University of Maryland, College Park from 2006-2007 and also with Rice University in Houston, TX, from 2008-2009. Currently, he is an Associate Professor at the Swiss Federal Institute of Technology Lausanne and a Faculty Fellow in the Electrical and Computer Engineering Department at Rice University. His research interests include machine learning, signal processing theory, optimization theory and methods, and information theory. Dr. Cevher is an ELLIS fellow and was the recipient of the Google Faculty Research award in 2018, the IEEE Signal Processing Society Best Paper Award in 2016, a Best Paper Award at CAMSAP in 2015, a Best Paper Award at SPARS in 2009, and an ERC CG in 2016 as well as an ERC StG in 2011.

Related people (3)

Mohammadhossein Gorji

Viktor Kuncak

Volkan Cevher