Sauras-Altuzarra, Lorenzo

Advisor:
Matthias Baaz

Research Topic:
Applications of extractive proof theory to number theory