JFF0: Distributivity and the greatest common divisor
Abstract
This note presents a reasonable sufficient condition for a function to distribute over the greatest common divisor. The derived lemma is used to prove that the Mersenne function is such a function.
Type
Publication
Technical report (JFF series)
Related
- Multiples in the Fibonacci series illustrates the use of the property that the Fibonacci function distributes over the greatest common divisor
Computer Scientist
My research interests include software reliability, software verification, and formal methods applied to software engineering. For more details, see some of my projects or my selected (or recent) publications. More posts are available in my blog. Follow me on Twitter or add me on LinkedIn. See also the Software Reliability Lab website.