Talks and Poster Presentations (without Proceedings-Entry):
L. Sauras Altuzarra:
"Generalization of proofs and codification of graph families";
Talk: 8th. European Congress of Mathematics, Workshop: Equivalences, Numberings, Reducibilities,
Portoroz/Rogla, Slowenien;
2021-06-20
- 2021-07-03.
English abstract:
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).
Created from the Publication Database of the Vienna University of Technology.