Integer divisibility on Q, quantifier elimination and one Weispfenning's remark

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучная

Язык оригиналаанглийский
Название основной публикацииInternational Conference Polynomial Computer Algebra ‘2020
Место публикацииSt. Petersburg
Страницы162-166
Число страниц5
ISBN (электронное издание)978-5-9651-0568-7
СостояниеОпубликовано - окт 2020
СобытиеPolynomial Computer Algebra '2020 - St. Petersburg, Российская Федерация
Продолжительность: 12 окт 202017 окт 2020

конференция

конференцияPolynomial Computer Algebra '2020
СтранаРоссийская Федерация
ГородSt. Petersburg
Период12/10/2017/10/20

Цитировать