@article{GRIGOREV198837,
    Abstract = {Let the polynomials f1,..., fk∈ ℤ[X1,..., Xn] have degrees deg (fi) < d and absolute value of any coetficient off less than or equal to 2M for all 1 ⩽ i ⩽ k. We describe an algorithm which recognises the existence of a real solution of the system of inequalities f1 ⩾ 0,..., fk ⩾ 0. In the case of a positive answer the algorithm constructs a certain finite set of solutions (which is, in fact, a representative set for the family of components of connectivity of the set of all real solutions of the system). The algorithm runs in time polynomial in M(kd) n2. The previously known upper time bound for this problem was Sh=(A1+A2log⁡Re⁡)Re⁡n.Sc1/3.},
    Author = {Grigor'ev, D. Yu. and Vorobjov, N.N.},
    File = {Solving systems of polynomial inequalities in subexponential time - 1-s2.0-S0747717188800051-main - a.pdf},
    ISSN = {0747-7171},
    Journal = {Journal of Symbolic Computation},
    Number = {1},
    Pages = {37-64},
    Title = {Solving systems of polynomial inequalities in subexponential time},
    URL = {https://www.sciencedirect.com/science/article/pii/S0747717188800051},
    Volume = {5},
    Year = {1988},
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0747717188800051},
    bdsk-url-2 = {https://doi.org/10.1016/S0747-7171(88)80005-1},
    date-added = {2022-11-26 08:29:49 +0100},
    date-modified = {2022-11-26 08:29:49 +0100},
    doi = {10.1016/S0747-7171(88)80005-1}
}

@article{GRIGOREV198837, Abstract = {Let the polynomials f1,..., fk∈ ℤ[X1,..., Xn] have degrees deg (fi) < d and absolute value of any coetficient off less than or equal to 2M for all 1 ⩽ i ⩽ k. We describe an algorithm which recognises the existence of a real solution of the system of inequalities f1 ⩾ 0,..., fk ⩾ 0. In the case of a positive answer the algorithm constructs a certain finite set of solutions (which is, in fact, a representative set for the family of components of connectivity of the set of all real solutions of the system). The algorithm runs in time polynomial in M(kd) n2. The previously known upper time bound for this problem was Sh=(A1+A2log⁡Re⁡)Re⁡n.Sc1/3.}, Author = {Grigor'ev, D. Yu. and Vorobjov, N.N.}, File = {Solving systems of polynomial inequalities in subexponential time - 1-s2.0-S0747717188800051-main - a.pdf}, ISSN = {0747-7171}, Journal = {Journal of Symbolic Computation}, Number = {1}, Pages = {37-64}, Title = {Solving systems of polynomial inequalities in subexponential time}, URL = {https://www.sciencedirect.com/science/article/pii/S0747717188800051}, Volume = {5}, Year = {1988}, bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0747717188800051}, bdsk-url-2 = {https://doi.org/10.1016/S0747-7171(88)80005-1}, date-added = {2022-11-26 08:29:49 +0100}, date-modified = {2022-11-26 08:29:49 +0100}, doi = {10.1016/S0747-7171(88)80005-1} }