Mathematician | ||

Research Unit of Computational Logic | ||

lorenzo@logic.at |

- 2024: PhD in mathematics, Research Unit of Computational Logic, Vienna University of Technology, Austria
- 2018: MSc in mathematics (specialization in mathematical logic and theoretical computer science), University of Vienna, Austria
- 2015: BSc in mathematics, University of Zaragoza, Spain

- Enumerative combinatorics
- Logic
- Extractive proof theory / Proof mining
- Recursion theory
- Number theory
- Calculation of integer sequences
- Geometry of numbers
- Irrationality and transcendence
- Iteration

Item |
Status |
Year |
Co-authors |
Title |
Journal |

4 | Published | 2024 | M. Prunescu | An arithmetic term for the factorial function | Examples and Counterexamples |

3 | Published | 2022 | C. R. Cimadamore, L. A. Rueda and N. J. Thome | Lattice properties of partial orders for complex matrices via orthogonal projectors | 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 |

PhD | 2024 | M. Baaz | From Logic to Discrete Geometry via Lattices |

MSc | 2018 | C. Krattenthaler | Hypergeometric closed forms |

BSc | 2015 | C. Gómez-Ambrosi | Gödel's Incompleteness Theorem |

Year |
Co-organizers |
Name |
Country |

2023 | M. Baaz and T. Gappo | Conference on Techniques from Logic in Mathematics (CTLM) | Austria |

Type |
Year |
Title |
Event |
Country |
Format |
Length |

Invited | 2024 | Proof mining in Fermat numbers | Formulas in Number Theory - Research in Pairs Workshop | Romania | Blackboard | 30 min. |

Invited | 2019 | Hilbert's 10th problem | Fifteenth International Tbilisi Summer School in Logic and Language | Georgia | Slides | 3 h |

Contributed | 2023 | Recent results on the geometry of numbers | 25th Central European Number Theory Conference | Hungary | Slides | 20 min. |

Contributed | 2023 | A geometric description of the factors of Fermat numbers | 32èmes Journées Arithmétiques | France | Blackboard | 30 min. |

Contributed | 2023 | Covers and point-lattices | 7th mini symposium of the RNTA | Italy | Blackboard | 15 min. |

Contributed | 2023 | On the enumeration of Krom functions | Dutch Days of Combinatorics 2023 | Netherlands | Slides | 5 min. |

Contributed | 2022 | Special lattices of orthogonal projectors | Maribor Graph Theory Conference | Slovenia | Blackboard | 20 min. |

Contributed | 2022 | Generalization of proofs of universal sentences | Celebrating the 2022 World Logic Day | Austria (online) | Flipchart | 0.5 h |

Contributed | 2021 | Divisibility criteria for Fermat numbers | 3rd Workshop on Proof Theory and its Applications | Portugal | Slides | 0.5 h |

Contributed | 2021 | On the divisibility of Fermat numbers | 14th International Conference on Discrete Mathematics | Romania | Blackboard | 40 min. |

Contributed | 2021 | Generalization of arithmetical proofs | Celebrating 90 Years of Gödel's Incompleteness Theorems | Germany | Slides | 0.5 h |

Contributed | 2021 | Generalization of proofs and codification of graph families | 8th European Congress of Mathematics | Slovenia | Slides | 20 min. |

Contributed | 2021 | Arithmetical applications of Baaz’s generalization method | Logical Perspectives 2021: Summer School and Workshop | Russia (online) | Slides | 0.5 h |

Seminar | 2023 | Aplicaciones recientes del método de generalización de Baaz a la teoría de números | Seminario de Doctorado Rubio de Francia | Spain | Blackboard | 45 min. |

Seminar | 2022 | Recent observations on the factors of Fermat numbers | Computational Logic Seminar | Austria | Blackboard | 45 min. |

Seminar | 2016 | An Introduction to Finite and Infinite Ramsey Theory | Arbeitsgemeinschaft Diskrete Mathematik | Austria | Slides | 1.5 h |

Last update: 16/Feb/2024.