Papers by Lorenzo Sauras-Altuzarra
1 paper(s) by this author
· All BibTeX
Some arithmetical problems that are obtained by analyzing proofs and infinite graphs
Applying Baaz's Generalization Method and a new technique to, respectively, proofs and denumerable simple graphs, diverse arithmetical patterns are observed. In particular, sufficient conditions for a number to be a divisor of a Fermat number are provided. The accuracy of such observations is asked in several subsequent problems.