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
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


ConferencePolynomial Computer Algebra '2020
Abbreviated titlePCA 2020
CountryRussian Federation
CitySt. Petersburg
Internet address

Cite this