Sciweavers

Share
2 search results - page 1 / 1
» Unique factorization in ACL2: Euclidean domains
Sort
View
ACL2
2006
ACM
9 years 8 months ago
Unique factorization in ACL2: Euclidean domains
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
John R. Cowles, Ruben Gamboa
ANTS
2004
Springer
139views Algorithms» more  ANTS 2004»
9 years 7 months ago
Binary GCD Like Algorithms for Some Complex Quadratic Rings
On the lines of the binary gcd algorithm for rational integers, algorithms for computing the gcd are presented for the ring of integers in Q( √ d) where d ∈ {−2, −7, −11,...
Saurabh Agarwal, Gudmund Skovbjerg Frandsen
books