Lorenzo Sauras-Altuzarra

Research Unit of Computational Logic


Main research interests

Journal articles

Item Status Year Coauthors Title Journal
3 Published 2022 C. R. Cimadamore, L. A. Rueda and N. J. Thome Lattice properties of partial orders for complex matrices via orthogonal projectors Journal of Linear and Multilinear Algebra
2 Published 2022 None Some properties of the factors of Fermat numbers The Art of Discrete and Applied Mathematics
1 Published 2022 None Some applications of Baaz's generalization method to the study of the factors of Fermat numbers Journal of Logic and Computation


Studies Year Supervisor Title
MSc 2018 C. Krattenthaler Hypergeometric closed forms
BSc 2015 C. Gómez-Ambrosi Gödel's Incompleteness Theorem

Other publications

Selected conjectures from the OEIS


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

Last update: 18/Jan/2022.