3 Publications

Mark all

[3]
2021 | Preprint | IST-REx-ID: 9230 | OA View | Download Preprint (ext.) | arXiv
 
[2]
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 | Files available | Download Preprint (ext.) | arXiv
 
[1]
2021 | Journal Article | IST-REx-ID: 10285 | OA
On eigenvector statistics in the spherical and truncated unitary ensembles
G. Dubach, Electronic Journal of Probability 26 (2021).
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed

3 Publications

Mark all

[3]
2021 | Preprint | IST-REx-ID: 9230 | OA View | Download Preprint (ext.) | arXiv
 
[2]
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 | Files available | Download Preprint (ext.) | arXiv
 
[1]
2021 | Journal Article | IST-REx-ID: 10285 | OA
On eigenvector statistics in the spherical and truncated unitary ensembles
G. Dubach, Electronic Journal of Probability 26 (2021).
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed