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