136
click to vote
COMPGEOM
1997
ACM
15 years 7 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...