Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Arithmetic progressions and re...

view this post on Zulip Email Gateway (Aug 23 2022 at 08:26):

From: Manuel Eberl <eberlm@in.tum.de>
Arithmetic progressions and relative primes
by José Manuel Rodríguez Caballero

This article provides a formalization of the solution obtained by the
author
of the Problem “ARITHMETIC PROGRESSIONS” from the Putnam exam problems
of 2002.
The statement of the problem is as follows: For which integers n > 1
does the
set of positive integers less than and relatively prime to n constitute an
arithmetic progression?

https://www.isa-afp.org/entries/Arith_Prog_Rel_Primes.html

Enjoy,

Manuel

Last updated: Nov 21 2024 at 12:39 UTC