Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14
DOI: 10.1145/2608628.2608665
Export citation
Search in Google Scholar
Full text: Unavailable