2 search results - page 1 / 1 » Unique factorization in ACL2: Euclidean domains |
ACL2
2006
ACM
13 years 10 months ago
2006
ACM
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...
ANTS
2004
Springer
13 years 9 months ago
2004
Springer
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,...