Sauras-Altuzarra, Lorenzo

Lorenzo Sauras-Altuzarra

TU Wien

Advisor:
Matthias Baaz

Research Topic:
Applications of extractive proof theory to number theory