Journal of Symbolic Computation > 2010 > 45 > 3 > 287-305
Source
Abstract
Identifiers
journal ISSN : | 0747-7171 |
DOI | 10.1016/j.jsc.2009.09.001 |
Journal of Symbolic Computation > 2010 > 45 > 3 > 287-305
journal ISSN : | 0747-7171 |
DOI | 10.1016/j.jsc.2009.09.001 |