![]() |
Mathematician | ![]() |
Research Unit of Computational Logic | ||
lorenzo.sauras@tuwien.ac.at |
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 |
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.