| В20 |
Васюков, А. Н.
Логико-алгебраические методы решения геометрических задач и разработка программного обеспечения САПР [Текст] / А. Н. Васюков, Ю. А. Комаров, И. А. Янович ; АН УССР, Ин-т кибернетики. – К. : Наукова думка, 1991. – 144с. – 950.
В книге изложен общий подход к решению широкого класса задач вычислительной геометрии, основанный на формализации задач как формул теории вещественно замкнутых полей и применении разрешающего алгоритма этой теории. |
