Windmills of the minds: a hopping algorithm for Fermat's two squares theorem (Q6653094)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Windmills of the minds: a hopping algorithm for Fermat's two squares theorem |
scientific article; zbMATH DE number 7958428
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Windmills of the minds: a hopping algorithm for Fermat's two squares theorem |
scientific article; zbMATH DE number 7958428 |
Statements
Windmills of the minds: a hopping algorithm for Fermat's two squares theorem (English)
0 references
16 December 2024
0 references
number theory
0 references
involution
0 references
permutation
0 references
orbit
0 references
fixed point
0 references
algorithm
0 references
interactive theorem proving
0 references