Parallel algorithms for normalization

From MaRDI portal
Revision as of 15:52, 1 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1940924

DOI10.1016/J.JSC.2012.07.002zbMath1408.13072arXiv1110.4299OpenAlexW2084632107MaRDI QIDQ1940924

Andreas Steenpaß, Janko Böhm, Santiago Laplagne, Gerhard Pfister, Stefan Steidel, Wolfram Decker

Publication date: 11 March 2013

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1110.4299






Related Items (11)


Uses Software






This page was built for publication: Parallel algorithms for normalization