Морозько Андрей Дмитриевич

Использование SMT-решателя для генерации случайных параметров задач по линейной алгебре

В работе описан метод генерации параметров математических задач на примере создания системы линейных уравнений. Описанный метод позволяет создавать задачи с псевдослучайными параметрами, удовлетворяющими заданным ограничением. Для получения значений используется SMT-решательMicrosoftZ3.

Сборник

Все статьи сборника:


Только зарегистрированные пользователи могут оставлять комментарии. Пожалуйста, зарегистрируйтесь.

Описание документа
Морозько А. Д. Использование SMT-решателя для генерации случайных параметров задач по линейной алгебре / А. Д. Морозько. — Текст : электронный // Научно-исследовательская работа обучающихся и молодых ученых : материалы 71-й Всерос. (с междунар. участием) науч. конф. обучающихся и молодых ученых : науч. электрон. изд. / М-во науки и высш. образования Рос. Федерации, Федер. гос. бюджет. образоват. учреждение высш. образования Петрозав. гос. ун-т. — Петрозаводск : Изд-во ПетрГУ, 2019. — С. 288—290. — URL: http://elibrary.petrsu.ru/books/37196 (дата обращения: 28.03.2024)

Издатель: Издательство ПетрГУ

Copyright: Петрозаводский государственный университет

Место издания: Петрозаводск

Год издания: 2019