Franziskus Wiesnet

According to our database, Franziskus Wiesnet authored at least 7 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Verified program extraction in number theory: The fundamental theorem of arithmetic and relatives.

Franziskus Wiesnet

Ann. Pure Appl. Log., 2026

2025

Constructive Analysis of Maximal Ideals in $\mathbb {Z}[X]$ by the Material Interpretation.

Franziskus Wiesnet

Proceedings of the Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025

2022

Limits of real numbers in the binary signed digit representation.

Franziskus Wiesnet, Nils Köpp

Log. Methods Comput. Sci., 2022

A universal algorithm for Krull's theorem.

Thomas Powell, Peter Schuster, Franziskus Wiesnet

Inf. Comput., 2022

2021

Logic for exact real arithmetic.

Helmut Schwichtenberg, Franziskus Wiesnet

Log. Methods Comput. Sci., 2021

An Algorithmic Version of Zariski's Lemma.

Franziskus Wiesnet

Proceedings of the Connecting with Computability, 2021

2019

An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra.

Thomas Powell, Peter Schuster, Franziskus Wiesnet

Proceedings of the Logic, Language, Information, and Computation, 2019