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

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