Лукач Юрий Саулович

Компьютерная алгебра Системы компьютерной алгебры с открытым исходным кодом (разработка новых СКА, интеграция и развитие существующих). Языки компьютерной алгебры (синтаксис и семантика), способы представления доменов, базы доменов и их свойств. Компьютерное представление математических знаний (языки описания знаний, технологии хранения и поиска знаний, описание алгоритмов компьютерной алгебры). Автоматическое доказательство теорем. Безошибочная арифметика в различных числовых кольцах. Плавающая арифметика многократной точности (вещественная, комплексная, интервальная и т. п.).

Если хотите выступить в этой секции (на этом семинаре), то напишите письмо с тезисами своего выступления: