Mathematician | ||

Research Unit of Computational Logic | ||

lorenzo.sauras@tuwien.ac.at |

- 1990: Born in Huesca, Spain
- 2015: BSc in mathematics, University of Zaragoza
- 2018: MSc in mathematics (specialization in mathematical logic and theoretical computer science), University of Vienna
- From 2019: researcher at the Research Unit of Computational Logic, TU Wien

- Enumerative combinatorics
- Logic
- Decidability
- Extractive proof theory / Proof mining
- Number theory
- Calculation of integer sequences
- Irrationality and transcendence

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 |

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 | ? | ? | ? |

- See this link

- Collatz's problem and polyominoes
- Bernoulli numbers
- Factorials, primes, and tetrahedral numbers
- Lesser twin primes

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.