@article{KOIRAN1996273,
    Abstract = {We show that if the Generalized Riemann Hypothesis is true, the problem of deciding whether a system of polynomial equations in several complex variables has a solution is in the second level of the polynomial hierarchy (in fact, this problem is in RPNP). The best previous bound was PSPACE.},
    Author = {Koiran, Pascal},
    File = {Hilbert's Nullstellensatz Is in the Polynomial Hierarchy - 1-s2.0-S0885064X96900199-main - a - e.pdf},
    ISSN = {0885-064X},
    Journal = {Journal of Complexity},
    Number = {4},
    Pages = {273--286},
    Title = {Hilbert's Nullstellensatz Is in the Polynomial Hierarchy},
    URL = {http://www.sciencedirect.com/science/article/pii/S0885064X96900199},
    Volume = {12},
    Year = {1996},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0885064X96900199},
    bdsk-url-2 = {https://doi.org/10.1006/jcom.1996.0019},
    date-added = {2020-10-20 13:22:13 +0200},
    date-modified = {2020-10-20 13:22:23 +0200},
    doi = {10.1006/jcom.1996.0019}
}

@article{KOIRAN1996273, Abstract = {We show that if the Generalized Riemann Hypothesis is true, the problem of deciding whether a system of polynomial equations in several complex variables has a solution is in the second level of the polynomial hierarchy (in fact, this problem is in RPNP). The best previous bound was PSPACE.}, Author = {Koiran, Pascal}, File = {Hilbert's Nullstellensatz Is in the Polynomial Hierarchy - 1-s2.0-S0885064X96900199-main - a - e.pdf}, ISSN = {0885-064X}, Journal = {Journal of Complexity}, Number = {4}, Pages = {273--286}, Title = {Hilbert's Nullstellensatz Is in the Polynomial Hierarchy}, URL = {http://www.sciencedirect.com/science/article/pii/S0885064X96900199}, Volume = {12}, Year = {1996}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0885064X96900199}, bdsk-url-2 = {https://doi.org/10.1006/jcom.1996.0019}, date-added = {2020-10-20 13:22:13 +0200}, date-modified = {2020-10-20 13:22:23 +0200}, doi = {10.1006/jcom.1996.0019} }