Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
An algorithmic approach to the existence of ideal objects in commutative algebra
Thomas Powell, Peter M Schuster, Franziskus Wiesnet
The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pos…
cs.LO2018
Limits with Signed Digit Streams
Franziskus Wiesnet
We work with the signed digit representation of abstract real numbers, which roughly is the binary representation enriched by the additional digit -1. The main objective of this pa…