Rounding error analysis of linear recurrences using generating series (Q6163326): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Rounding error bounds for the Clenshaw and Forsythe algorithms for the evaluation of orthogonal polynomial series / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the numerical evaluation of linear recurrences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Floats and Ropes: A Case Study for Formal Numerical Program Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Wave equation numerical resolution: a comprehensive mechanized proof of a C program / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trusting computations: a mechanized proof from partial differential equations to actual program / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unrestricted algorithms for elementary and special functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fast Computation of Bernoulli, Tangent and Secant Numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modern Computer Arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3271946 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5849046 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3221945 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Error analysis of an algorithm for summing certain finite series / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3549563 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On location and approximation of clusters of zeros of analytic functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: John von Neumann's Analysis of Gaussian Elimination and the Origins of Modern Numerical Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5719651 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Accuracy and Stability of Numerical Algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: A New Approach to Probabilistic Rounding Error Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4112233 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Evaluation of Chebyshev polynomials by a three-term recurrence in floating-point arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Holonomic Toolkit / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ore Polynomials in Sage / rank
 
Normal rank
Property / cites work
 
Property / cites work: Truncation bounds for differentially finite series / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective bounds for P-recursive sequences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relative error propagation in the recursive solution of linear recurrence relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Error Analysis of Miller's Recurrence Algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear differential equations as a data structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tensor Product B-Spline Mesh Generation for Accurate Surface Visualizations in the NIST Digital Library of Mathematical Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: ROUNDING-OFF ERRORS IN MATRIX PROCESSES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Numerical inverting of matrices of high order / rank
 
Normal rank
Property / cites work
 
Property / cites work: Explicit a-priori error bounds and adaptive error control for approximation of nonlinear initial value differential systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4342463 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Forward computation in second order difference equations<sup>†</sup> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3332204 / rank
 
Normal rank

Latest revision as of 07:33, 1 August 2024

scientific article; zbMATH DE number 7693749
Language Label Description Also known as
English
Rounding error analysis of linear recurrences using generating series
scientific article; zbMATH DE number 7693749

    Statements

    Rounding error analysis of linear recurrences using generating series (English)
    0 references
    0 references
    9 June 2023
    0 references
    rounding error
    0 references
    rigorous computing
    0 references
    complex variable
    0 references
    majorant series
    0 references
    Bernoulli numbers
    0 references
    vibrating string
    0 references
    differentially finite function
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references