[ACM Press the 37th International Symposium - Grenoble, France (2012.07.22-2012.07.25)] Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12 - Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
Strzeboński, AdamYear:
2012
Language:
english
DOI:
10.1145/2442829.2442877
File:
PDF, 401 KB
english, 2012