A certificate-based approach to formally verified approximations (Q5875414)

From MaRDI portal
scientific article; zbMATH DE number 7649957
Language Label Description Also known as
English
A certificate-based approach to formally verified approximations
scientific article; zbMATH DE number 7649957

    Statements

    0 references
    0 references
    0 references
    3 February 2023
    0 references
    approximation theory
    0 references
    Chebyshev polynomials
    0 references
    Banach fixed-point theorem
    0 references
    interval arithmetic
    0 references
    Coq
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    A certificate-based approach to formally verified approximations (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers