PHD Thesis

PHD Thesis

Analytic invariants of isolated hypersurface singularities and combinatorial invariants of numerical semigroups by Patricio Almirón Cuadros

Patricio Almirón Cuadros defended his PhD thesis Analytic invariants of isolated hypersurface singularities and combinatorial invariants of numerical semigroups (pdf), supervised by Professors Maria Alberich Carramiñana and Alejandro Melle Hernández, on 11 July 2022 within the UCM doctoral program in Mathematical Research. Currently, he is a post-doctoral researcher at Instituto de Matemáticas Universidad de Granada […]

PHD Thesis

Size bounds for algebraic and semialgebraic proof systems by Tuomas Hakoniemi

Tuomas Hakoniemi defended his PhD thesis Size bounds for algebraic and semialgebraic proof systems on March 03, 2022. The thesis was produced within the UPC doctoral program on Computing and his advisor was Albert Atserias. Currently, he is a postdoctoral researcher at Imperial College London in the Iddo Tzameret group. Thesis summary Proof complexity is

Scroll al inicio