Вы здесь

Главная

полином

Связанные издания:

Arithmetic of Finite Fields: Proc./Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 2010
Automated Deductiom in Geometry: Revised Papers/7th International Workshop, ADG 2008, Shanghai, China, September 2008
Compuer Algebra and Polynomials: Applications of Algebra and Number Theory
Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems
Grobner Bases: Strategies and Applications
Logoc of knowledge with jastifications
Medical Content-Based Retrieval for Clinical Decision Support: Revised Selected Papers/3rd MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 2012
On the Complexity of the Reflected Logic of Proofs
Polynomial Polymorphism
Unified Semantics for Modality and Lambda-terms via Proof Polinomials
Анализ сложности и алгоритмы решения задач минимизации полиномов от булевых переменных
К вопросу о моделировании на ЭВМ разрешающих процедур в алгебре вещественных полиномов
Корневой анализ и синтез систем с интервальными параметрами на основе вершинных характеристических полиномов
Многочлены Эрхарта
Построение обоб енных полиномов минимальной степени над алгоритмами вычисления оценок
Представление чисел и полиномов в библиотеке для системы компьютерной алгебры
Рациональные решения линейных разностных и q-разностных уравнений с полиномиальными коэффициентами
Синтез полиномов над экстремальными алгоритмами вычисления оценок