Franziskus Wiesnet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verified program extraction in number theory: the fundamental theorem of arithmetic and relatives Annals of Pure and Applied Logic	2026-07-28	Paper
Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives (available as arXiv preprint)	2026-01-01	Paper
Constructive analysis of maximal ideals in $\mathbb{Z}[X]$ by the material interpretation	2025-11-19	Paper
Material Interpretation and Constructive Analysis of Maximal Ideals in $\mathbb{Z}[X]$ (available as arXiv preprint)	2025-01-01	Paper
Introduction to Minlog	2024-09-09	Paper
Limits of real numbers in the binary signed digit representation Logical Methods in Computer Science	2022-10-06	Paper
An algorithmic version of Zariski's lemma	2022-03-22	Paper
Logic for exact real arithmetic (available as arXiv preprint)	2021-05-25	Paper
Logic for exact real arithmetic	2021-05-25	Paper
Higman's lemma and its computational content Advances in Proof Theory	2020-08-07	Paper
Logic for exact real arithmetic (available as arXiv preprint)	2019-04-29	Paper
An algorithmic approach to the existence of ideal objects in commutative algebra (available as arXiv preprint)	2019-03-07	Paper
Limits with Signed Digit Streams	2018-07-27	Paper
WITHDRAWN: Limits with Signed Digit Streams (available as arXiv preprint)	2018-01-01	Paper

Research outcomes over time

This page was built for person: Franziskus Wiesnet