Stem gcd$ (all stems)

6 papers:

IFL-2006-RuffJ #array #synthesis

Functional-Based Synthesis of a Systolic Array for GCD Computation (LR, TJ), pp. 37–54.

IJCAR-2006-Mahboubi #algorithm #implementation #performance #proving

Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials (AM), pp. 438–452.

ICALP-2005-Wikstrom #integer #on the

On the l-Ary GCD-Algorithm in Rings of Integers (DW), pp. 1189–1201.

CIAA-2004-Maletti #theorem #transducer

Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids (AM), pp. 323–324.

STOC-1997-ParnafesRW #communication #modelling #problem

Direct Product Results and the GCD Problem, in Old and New Communication Models (IP, RR, AW), pp. 363–372.

STOC-1995-Reif #parallel #performance #polynomial

Work efficient parallel solution of Toeplitz systems and polynomial GCD (JHR), pp. 751–761.