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