2 Publications

Mark all

[2]
2021 | Preprint | IST-REx-ID: 9230 | OA View | Download Preprint (ext.) | arXiv
 
[1]
2021 | Preprint | IST-REx-ID: 9281 | OA
Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed

2 Publications

Mark all

[2]
2021 | Preprint | IST-REx-ID: 9230 | OA View | Download Preprint (ext.) | arXiv
 
[1]
2021 | Preprint | IST-REx-ID: 9281 | OA
Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
View | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed