Arithmetic-term representations for the greatest common divisor

Abstract

We construct a new arithmetic-term representation for the function gcd(a,b). As a byproduct, we also deduce a representation gcd(a,b) by a modular term in integer arithmetic.

Revision includes: Updated references, corrections for minor typos