@book{wang:inria-00099520, TITLE = {{Elimination Practice: Software Tools and Applications}}, AUTHOR = {Wang, Dongming}, URL = {https://inria.hal.science/inria-00099520}, HAL_LOCAL_REFERENCE = {A03-R-160 || wang03d}, PUBLISHER = {{Imperial College Press, London,}}, PAGES = {VIII-222 p}, YEAR = {2003}, KEYWORDS = {software ; computer algebra ; logiciel ; calcul formel ; raisonnement g{\'e}om{\'e}trique ; geometric reasoning ; {\'e}limination polynomiale ; polynomial elimination}, HAL_ID = {inria-00099520}, HAL_VERSION = {v1}, }