An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra. - Thomas Powell 001; Peter Schuster 001; Franziskus Wiesnet (WoLLIC, 2019)

An Algorithmic Version of Zariski's Lemma. - Franziskus Wiesnet (CiE, 2021)

Logic for exact real arithmetic. - Helmut Schwichtenberg; Franziskus Wiesnet (Log. Methods Comput. Sci., 2021)

A universal algorithm for Krull's theorem. - Thomas Powell 001; Peter Schuster 001; Franziskus Wiesnet (Inf. Comput., 2022)

Limits of real numbers in the binary signed digit representation. - Franziskus Wiesnet; Nils Köpp (Log. Methods Comput. Sci., 2022)

Constructive Analysis of Maximal Ideals in $ mathbb {Z}[X]$ by the Material Interpretation. - Franziskus Wiesnet (CiE, 2025)