A Grobner free alternative to solving and a geometric analogue to Cook's thesis

摘要

The 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), which is jointly sponsored by ACM/SIGSAM and the Korea Institute for Advanced Study (KIAS), will be held at KIAS in Seoul, Korea from July 28 to July 31, 2009. It is the 34th conference in the series that initially alternated between North America and Europe and which began with the seminal 1966 ACM Symposium on Symbolic and Algebraic Manipulation in Washington, D.C. It is the first time ISSAC is held in Korea and the third time ISSAC is held in Asia.