Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

DOI10.1007/978-3-319-27436-2_9zbMath1474.65479OpenAlexW2295386880MaRDI QIDQ5743590

Matthieu Martel, Alexandre Chapoutot, N. Damouche

Publication date: 5 February 2016

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27436-2_9

zbMATH Keywords

convergence accelerationprogram transformationnumerical analysisfloating-point numbersIEEE754 standard

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Numerical aspects of recurrence relations (65Q30)

Related Items (1)

Combining tools for optimization and analysis of floating-point computations

Uses Software

• SLEPc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of roundoff error propagation in finite precision calculations
• Transformation of a PID controller for numerical accuracy
• Equality Saturation: A New Approach to Optimization
• Static Analysis of Finite Precision Computations
• Handbook of Floating-Point Arithmetic
• Accurate Evaluation of Arithmetic Expressions (Invited Talk)
• Systematic design of program transformation frameworks by abstract interpretation
• Equality saturation
• Round off error analysis for Gram-Schmidt method and solution of linear least squares problems

This page was built for publication: Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods