Gelernter, H. Realization of a geometry theorem proving machine. (English) Zbl 0114.06901 Inf. Process., Proc. Int. Conf. Inf. Process., UNESCO, Paris 15-20 June 1959, 273-282 (1960). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 30 Documents Keywords:numerical analysis × Cite Format Result Cite Review PDF