Сложность разрешения теории первого порядка вещественно замкнутых полей
Д.Ю. Григорьев (1988)
Zapiski naucnych seminarov Leningradskogo
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Сложность элиминации кванторов в теории обыкновенных дифференциально замкнутых полей”
Сложность разрешения теории первого порядка вещественно замкнутых полей
Сложность распознавания неприводимости системы линейных обыкновенных дифференциальных уравнений
Д.Ю. Григорьев (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: