Name Card

Full name Familienname, Vorname
Wiesnet, Franziskus
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schwichtenberg, Helmut ; Wiesnet, Franziskus Logic for exact real arithmeticArtikel Article 20-Apr-2021
2Wiesnet, Franziskus An Algorithmic Version of Zariski’s LemmaKonferenzbeitrag Inproceedings 2021
3Powell, Thomas ; Schuster, Peter ; Wiesnet, Franziskus A universal algorithm for Krull's theoremArtikel Article 2021
4Powell, Thomas ; Wiesnet, Franziskus Rates of convergence for asymptotically weakly contractive mappings in normed spacesArtikel Article 2021
5Wiesnet, Franziskus An algorithmic version of Zariski's lemmaPräsentation Presentation2021
6Wiesnet, Franziskus A case study of proof mining in analysisPräsentation Presentation2021