Journal of Symbolic Computation > 2011 > 46 > 1 > 1-22
Source
Abstract
Identifiers
journal ISSN : | 0747-7171 |
DOI | 10.1016/j.jsc.2010.06.025 |
Journal of Symbolic Computation > 2011 > 46 > 1 > 1-22
journal ISSN : | 0747-7171 |
DOI | 10.1016/j.jsc.2010.06.025 |