Lorenzo Sauras-Altuzarra

Mathematician
Research Unit of Computational Logic
lorenzo.sauras@tuwien.ac.at

Vita

Main research interests

Journal articles

Item Year Coauthors Title Journal Status Length Topics
1 ? None Some properties of the factors of Fermat numbers The Art of Discrete and Applied Mathematics Accepted 7 p. Number theory
2 ? None Some applications of Baaz's generalization method to the study of the factors of Fermat numbers Journal of Logic and Computation Accepted ? Extractive proof theory and number theory
3 ? C. R. Cimadamore, L. A. Rueda, and N. J. Thome Lattice properties of partial orders for complex matrices via orthogonal projectors ? Submitted ? Lattice theory and matrix theory
4 ? None Combinatorics of Krom formulas ? In preparation ? Enumerative combinatorics and propositional logic

Theses

Studies Year Supervisor Title Length Topics
BSc 2015 C. Gómez-Ambrosi Gödel's Incompleteness Theorem 31 p. Decidability
MSc 2018 C. Krattenthaler Hypergeometric closed forms 66 p. Decidability and difference equations
PhD ? M. Baaz ? ? ?

Contributions to MathWorld

Selected conjectures from the OEIS

Presentations

Item Year Title Event Location Format Length Topics
1 2016 An Introduction to Finite and Infinite Ramsey Theory Arbeitsgemeinschaft Diskrete Mathematik (TU Wien) Austria Slides 1.5 h Enumerative combinatorics
2 2019 Hilbert's 10th problem Fifteenth International Tbilisi Summer School in Logic and Language Georgia Slides 3 h Decidability and Diophantine equations
3 2021 Arithmetical applications of Baaz’s generalization method Logical Perspectives 2021: Summer School and Workshop Online Slides 0.5 h Extractive proof theory and number theory
4 2021 Generalization of proofs and codification of graph families 8th European Congress of Mathematics Slovenia Slides 20 min. Extractive proof theory and number theory
5 2021 Generalization of arithmetical proofs Celebrating 90 Years of Gödel's Incompleteness Theorems Germany Slides 0.5 h Extractive proof theory and number theory
6 2021 On the divisibility of Fermat numbers 14th International Conference on Discrete Mathematics Romania Blackboard 40 min. Extractive proof theory and number theory
7 2021 Divisibility criteria for Fermat numbers 3rd Workshop on Proof Theory and its Applications Portugal Slides 0.5 h Extractive proof theory and number theory
8 2022 Generalization of proofs of universal sentences Celebrating the 2022 World Logic Day Online Blackboard 0.5 h Extractive proof theory and number theory
9 2022 Recent observations on the factors of Fermat numbers Computational Logic Seminar (TU Wien) Austria Blackboard 45 min. Extractive proof theory and number theory

Last update: August 26, 2022.