Axel Ljungström
Publications
Talks
Teaching
Miscellaneous
CV

Axel Ljungström

Ph.D. student in type theory at Stockholm University, Department of Mathematics

Stockholm, Sweden
Email
Twitter
Github
ORCID

Calculating a Brunerie Number

Date: October 20, 2022

Slides, Recording

Share on

Twitter Facebook LinkedIn

Follow:
GitHub
Feed

© 2025 Axel Ljungström. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.