Franziskus Wiesnet

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 7

Top Topics

Individual Objects

Tree Representation

Johnson Lindenstrauss

Top Venues

Log. Methods Comput. Sci.

Publications

Thomas Powell, Peter Schuster, Franziskus Wiesnet
A universal algorithm for Krull's theorem. Inf. Comput. 287 (2022)
Franziskus Wiesnet, Nils Köpp
Limits of real numbers in the binary signed digit representation. Log. Methods Comput. Sci. 18 (3) (2022)
Franziskus Wiesnet
An Algorithmic Version of Zariski's Lemma. CiE (2021)
Helmut Schwichtenberg, Franziskus Wiesnet
Logic for exact real arithmetic. Log. Methods Comput. Sci. 17 (2) (2021)
Thomas Powell, Peter M. Schuster, Franziskus Wiesnet
An algorithmic approach to the existence of ideal objects in commutative algebra. CoRR (2019)
Thomas Powell, Peter Schuster, Franziskus Wiesnet
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra. WoLLIC (2019)
Franziskus Wiesnet
Limits with Signed Digit Streams. CoRR (2018)