Certified numerical real root isolation for bivariate nonlinear systems (Q2156364)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Certified numerical real root isolation for bivariate nonlinear systems
scientific article

    Statements

    Certified numerical real root isolation for bivariate nonlinear systems (English)
    0 references
    0 references
    0 references
    0 references
    18 July 2022
    0 references
    0 references
    real root isolation
    0 references
    opposite monotone system
    0 references
    bivariate analytic function
    0 references
    uniqueness and existence
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references