Parallel algorithms for normalization

From MaRDI portal
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