We stand with Ukraine  

Franziskus Wiesnet

According to our database1, Franziskus Wiesnet authored at least 6 papers between 2018 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Limits of real numbers in the binary signed digit representation.
[BibTeX]
[DOI]
Franziskus Wiesnet
,
Nils Köpp
Log. Methods Comput. Sci., 2022

A universal algorithm for Krull's theorem.
[BibTeX]
[DOI]
Thomas Powell
,
Peter Schuster
,
Franziskus Wiesnet
Inf. Comput., 2022

2021
Logic for exact real arithmetic.
[BibTeX]
[DOI]
Helmut Schwichtenberg
,
Franziskus Wiesnet
Log. Methods Comput. Sci., 2021

An Algorithmic Version of Zariski's Lemma.
[BibTeX]
[DOI]
Franziskus Wiesnet
Proceedings of the Connecting with Computability, 2021

2019
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra.
[BibTeX]
[DOI]
Thomas Powell
,
Peter Schuster
,
Franziskus Wiesnet
Proceedings of the Logic, Language, Information, and Computation, 2019

2018
Limits with Signed Digit Streams.
[BibTeX]
[DOI]
Franziskus Wiesnet
CoRR, 2018


  Loading...