Сложность элиминации кванторов в теории обыкновенных дифференциально замкнутых полей

Д.Ю. Григорьев

Displaying similar documents to “Сложность элиминации кванторов в теории обыкновенных дифференциально замкнутых полей”

Сложность разрешения теории первого порядка вещественно замкнутых полей

Д.Ю. Григорьев (1988)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Сложность распознавания неприводимости системы линейных обыкновенных дифференциальных уравнений

Д.Ю. Григорьев (1991)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Временная сложность многомерных машин Тьюринга

Д.Ю. Григорьев (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Об алгебраической сложности вычисления пары билинейных форм

Д.Ю. Григорьев (1974)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Сложность решения систем линейных уравнений в кольцах дифференциальных операторов

Д.Ю. Григорьев (1991)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Два сведения изоморфизма графов к задачам о полиномах

Д.Ю. Григорьев (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Алгорифмы Колмогорова сильнее машин Тьюринга

Д.Ю. Григорьев (1976)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Нижние оценки в алгебраической сложности вычислений

Д.Ю. Григорьев (1982)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О задаче трассировки на графах

Д.Ю. Григорьев (1977)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Нахождение компонент связности полуалгебраического множества в субэкспоненциальное время

Н.Н.мл. Воробьев, Д.Ю. Григорьев (1991)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Сложность факторизации и вычисления НОД линейных обыкновенных дифференциальных операторов

Д.Ю. Григорьев (1989)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Об одной нижней оценке сложности вычисления семейства дизъюнкций в монотонном базисе

Д.Ю. Григорьев (1977)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Использование понятий отделенности и независимости для получения нижних оценок сложности схем

Д.Ю. Григорьев (1976)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Аппроксимационные теоремы для системы Моисила-Тeoдореску.

Ю.М. Григорьев, В.В. Наумов (1984)

Sibirskij matematiceskij zurnal

Similarity:

К задаче определения оптимальной партии запуска деталей в производство

Я.И. Заботин, С.В. Григорьев ([unknown])

Issledovanija po prikladnoj matematike

Similarity: