Journal of symbolic computation. 2000;29(3):471-480. doi: 10.1006/jsco.1999.0327 Q21.12025
Solving Systems of Strict Polynomial Inequalities
DOI: 10.1006/jsco.1999.0327
摘要 查看摘要
Journal of symbolic computation. 2000;29(3):471-480. doi: 10.1006/jsco.1999.0327 Q21.12025
DOI: 10.1006/jsco.1999.0327
摘要 查看摘要