Journal of Symbolic Computation > 2013 > 51 > Complete > 3-21
Source
Abstract
Identifiers
journal ISSN : | 0747-7171 |
DOI | 10.1016/j.jsc.2012.03.004 |
Journal of Symbolic Computation > 2013 > 51 > Complete > 3-21
journal ISSN : | 0747-7171 |
DOI | 10.1016/j.jsc.2012.03.004 |