Statistics
Publications
1
Citations
14
H-Index
1
Active since
2016
Affiliations
Universität Innsbruck(Current)
Sebastiaan J. C. Joosten is an author at Universität Innsbruck specializing in algebra, algorithms, and certified computation.
Publications per year
2016–2016
1
1
A formalization of the Berlekamp-Zassenhaus factorization algorithm
Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann et al. · 2016 · 14 citations · Full text
1–1 of 1