Об алгоритме А.Тарского 7 (8)

Матиясевич Ю.В. Что можно делать с вещественными числами и нельзя с целыми, лекция 7 Изучаем математику и физику Учебные и иллюстративные материалы для школьников, студентов младших курсов и преподавателей