Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
L. Sauras Altuzarra:
"Generalization of proofs and codification of graph families";
Vortrag: 8th. European Congress of Mathematics, Workshop: Equivalences, Numberings, Reducibilities,
Portoroz/Rogla, Slowenien;
20.06.2021
- 03.07.2021.
Kurzfassung englisch:
In this talk, I will explain how to apply Baaz's generalization method
and a recent graph-theoretical technique to, respectively, formal proofs from elementary number theory and certain increasing families of simple graphs.
These procedures have resulted to have a considerable potential in revealing arithmetical patterns, that got reected in theorems (for example, su cient conditions for a value to be a divisor of an arbitrary Fermat number) and conjectures (mainly about integer sequences).
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.