On geometric automata which can nondeterministically choose auxiliary points
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990) no. 5, pp. 471-487. 
@article{ITA_1990__24_5_471_0,
     author = {Huckenbeck, Ulrich},
     title = {On geometric automata which can nondeterministically choose auxiliary points},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {471--487},
     publisher = {EDP-Sciences},
     volume = {24},
     number = {5},
     year = {1990},
     mrnumber = {1080502},
     zbl = {0704.68101},
     language = {en},
     url = {http://www.numdam.org/item/ITA_1990__24_5_471_0/}
}
TY  - JOUR
AU  - Huckenbeck, Ulrich
TI  - On geometric automata which can nondeterministically choose auxiliary points
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1990
SP  - 471
EP  - 487
VL  - 24
IS  - 5
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1990__24_5_471_0/
LA  - en
ID  - ITA_1990__24_5_471_0
ER  - 
%0 Journal Article
%A Huckenbeck, Ulrich
%T On geometric automata which can nondeterministically choose auxiliary points
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1990
%P 471-487
%V 24
%N 5
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1990__24_5_471_0/
%G en
%F ITA_1990__24_5_471_0
Huckenbeck, Ulrich. On geometric automata which can nondeterministically choose auxiliary points. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 24 (1990) no. 5, pp. 471-487. http://www.numdam.org/item/ITA_1990__24_5_471_0/

1. D. Hilbert, Grundlagen der Geometrie. Teubner Studienbücher, 11th edition, 1972.

2. U. Huckenbeck, Geometrische Maschinenmodelle. Ph. D. thesis, University at Würzburg, 1986. | MR | Zbl

3. U. Huckenbeck, Geometrical Abstract Automata. Proc. Workshop on Computational Geometry and its Applications (CG 88, Würzburg, March 1988), Lect. Notes in Comp. Sci. 333, p. 217-231. | MR | Zbl

4. U. Huckenbeck Euclidian Geometry in Terms of Automata Theory, Theoretical Computer Science, vol. 68, 1989, p. 71-87. | MR | Zbl

5. U. Huckenbeck, On Fixed Points of Rational Functions with Values on a Circle. Bolletino U.M.I., Sez. A, to appear. | MR | Zbl

6. F. P. Preparata and M. I. Shamos, Computational Geometry, an Introduction, Springer, 1985. | MR | Zbl

7. P. Schreiber, Grundlagen der konstruktiven Geometrie, VEB Verlag der Wissenschaften, Berlin, 1984. | MR | Zbl

8. M. I. Shamos Geometric Complexity. Proc. 7th ACM Symp. on the Theory of Computing, May 1975, p. 224-233. | MR | Zbl

9. H. Tietze Über die Konstruierbarkeit mit Lineal und Zirkel, Sitzungsbericht der kaiserlichen Akademie der Wissenschaften, mathemat.-naturwissenschaftl. Klasse 118, Abteilung II a, 1909, p. 735-757. | JFM