An algorithm for isolating the real solutions of semi-algebraic systems (Q1864897)

From MaRDI portal





scientific article; zbMATH DE number 1886761
Language Label Description Also known as
default for all languages
No label defined
    English
    An algorithm for isolating the real solutions of semi-algebraic systems
    scientific article; zbMATH DE number 1886761

      Statements

      An algorithm for isolating the real solutions of semi-algebraic systems (English)
      0 references
      0 references
      0 references
      23 March 2003
      0 references
      Maple
      0 references
      realzero
      0 references
      0 references
      0 references

      Identifiers