Partial evaluation of the Euclidean algorithm, revisited
From MaRDI portal
Publication:1125576
DOI10.1023/A:1010004307057zbMath0952.68157MaRDI QIDQ1125576
Publication date: 6 December 1999
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
68W05: Nonnumerical algorithms
Uses Software