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

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