Author: | Markwig, Thomas; Ren, Yue; Wienand, Oliver | |
Tübinger Autor(en): |
|
|
Published in: |
Journal of Symbolic Computation
(2017), Bd.
79,
H.
SI,
S.
119-139 |
|
Verlagsangabe: | Academic Press Ltd - Elsevier Science Ltd | |
Language: | English | |
Full text: | http://dx.doi.org/10.1016/j.jsc.2016.08.009 | |
ISSN: | 0747-7171 | |
DDC Classifikation: | 510 - Mathematics | |
Dokumentart: | Artikel | |
Show full item record |