Zobrazeno 1 - 10
of 108
pro vyhledávání: '"Schwichtenberg, Helmut"'
Publikováno v:
Logical Methods in Computer Science, Volume 17, Issue 2 (April 20, 2021) lmcs:5419
Continuing earlier work of the first author with U. Berger, K. Miyamoto and H. Tsuiki, it is shown how a division algorithm for real numbers given as a stream of signed digits can be extracted from an appropriate formal proof. The property of being a
Externí odkaz:
http://arxiv.org/abs/1904.12763
Autor:
Köpp, Nils, Schwichtenberg, Helmut
Publikováno v:
In Theoretical Computer Science 17 January 2023 943:171-186
Autor:
Berger, Josef, Schwichtenberg, Helmut
Publikováno v:
Logical Methods in Computer Science, Volume 13, Issue 3 (September 26, 2017) lmcs:3954
We consider a special case of Dickson's lemma: for any two functions $f,g$ on the natural numbers there are two numbers $i
Externí odkaz:
http://arxiv.org/abs/1503.03325