[ACM Press the 2018 ACM - New York, NY, USA (2018.07.16-2018.07.19)] Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '18 - Irredundant Triangular Decomposition
Pogudin, Gleb, Szanto, AgnesYear:
2018
Language:
english
DOI:
10.1145/3208976.3208996
File:
PDF, 1.27 MB
english, 2018