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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Original languageEnglish
Title of host publicationInternational Conference Polynomial Computer Algebra ‘2020
Place of PublicationSt. Petersburg
Pages162-166
Number of pages5
ISBN (Electronic)978-5-9651-0568-7
StatePublished - Oct 2020
EventPolynomial Computer Algebra '2020 - Euler International Mathematical Institute, St. Petersburg, Russian Federation
Duration: 12 Oct 202017 Oct 2020
https://pca-pdmi.ru/2020/

Conference

ConferencePolynomial Computer Algebra '2020
Abbreviated titlePCA 2020
CountryRussian Federation
CitySt. Petersburg
Period12/10/2017/10/20
Internet address

Cite this