Proving tight bounds on univariate expressions with elementary functions in Coq (Q331615)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proving tight bounds on univariate expressions with elementary functions in Coq
scientific article

    Statements

    Proving tight bounds on univariate expressions with elementary functions in Coq (English)
    0 references
    0 references
    0 references
    27 October 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    interval arithmetic
    0 references
    formal proof
    0 references
    decision procedure
    0 references
    Coq proof assistant
    0 references
    floating-point arithmetic
    0 references
    nonlinear arithmetic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references