Поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Результаты 1-2 из 2.
- назад
- 1
- дальше
Найденные ресурсы:
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
сен-2021 | A proof of Bel’tyukov – Lipshitz theorem by quasi-quantifier elimination. I. Definitions and GCD-lemma | Starchak, Mikhail R. | |
дек-2021 | A proof of Bel’tyukov—Lipshitz theorem by quasi-quantifier elimination. II. The main reduction | Starchak, Mikhail R. |