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

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

Цель и название

Инициаторы

Место проведения

График работы

Научная программа

Секции-семинары

Публикации и сроки

Оформление тезисов

Контесты

Программный комитет

Оргкомитет

Документы

Оптимизация затрат

Адреса и телефоны

Отчёты о работе

Ананичев Д.С.

Баклановский М.В.

Волков Л.М.

Волков М.В.

Гейн А.Г.

Иванов А.О.

Игумнов А.С.

Кандоба И.Н.

Коврижных А.Ю.

Костоусов В.Б.

Лахтин А.С.

Лукач Ю.С.

Обабков И.Н.

Пименов В.Г.

Попов В.Ю.

Попов Л.Д.

Сибиряков А.Е.

Скорб С.В.

Соловьева О.Э.

Терехов А.Н.

Титов С.С.

Шарф С.В.

Шур А.М.