Раздел журнала/сборника: Теория вероятностей и анализ данных

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

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

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

Сборник

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













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

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

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

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

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

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