Baaz, M. (2023, November 13). Andrew’s Skolemization my shorten proofs non-elementarily [Conference Presentation]. Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany. ( reposiTUm)

Sauras Altuzarra, L. (2023, July). A geometric description of the factors of Fermat numbers [Presentation]. 32emes Journées Arithmetiques, France. ( reposiTUm)