Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
уравнение
Связанные издания:
Affine Timings for Systems of Affine Recurrence Equations
Algorithm 731: A Moving-Grid Interface for Systems of One-Dimensional Time-Dependent Partial Differential Equations
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
An approach to parameterized continuous data types
A Pragmatic Approach to Equational Logic Programming
A Self-interpreter of lambda Calculus Having a Normal Form
ASYS: пакет для исследования систем нелинейных алгебраических уравнений
Cartan s Moving Frame Method and Its Application to the Geometry and Evolution of Curves in the Euclidean, Affine and Projective Planes
Contribution a la Resolution Numerique des Equations de Laplace et de la Chaleur
Equational Logics
Equations in nets Computer oriented lattices
General Solution of Mirror Equation
Generating Parallel Code from Equations in the ObjectMath Programming Environments
GFUN: A Maple Package for the Manipulation of Generating and Holonomic Functions in One Variable
Householder Reduction of Linear Equations
Local Equational Logic
Modeling Finite Fields with Mathematica. Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields
On the Parallel Solution of 3D PDEs on a Network of Workstations and on Vector Computers
Optimization of Equational Programs Using Partial Evaluation
Parallel Implementation of Numerical Algorithms for Solving the Boltzmann Equation
Parallelization of Non-simultaneous Iterative Methods for Systems of Linear Equations
Regular Array Synthesis Using ALPHA
Solving Polynomial Fixed Point Equations
The ALPHA Language
UCG-E: An Equational Logic Programming System
Алгоритм вычисления степенных сумм корней для класса систем нелинейных уравнений
Алгоритмическое обеспечение и вычислительные возможности интеллектуального программного средства LINSYST
Аналитические методы решения нелинейных операторно-функциональных уравнений в нерегулярных случаях
Выбор базиса при решении линейных функциональных уравнений
Дискретные модели несжимаемой жидкости
Знаменатели рациональных решений линейных разностных уравнений
Инволютивные системы алгебраических уравнений
Интервальная библиотека: опыт интеграции логического программирования и программирования в ограничениях
Как решать линейные дифференциальные уравнения (краткие рекомендации)
Качественный анализ эволюционных уравнений, описываю их химические процессы
Комплекс обучаю их и методических программ для численного решения уравнений конвективного переноса
Метод логико-алгебраических уравнений в анализе динамических систем
Метод решения систем линейных алгебраических уравнений с m-мерными лямбда-матрицами
Модели с условиями сопряжения и высокоточные методы их дискретизации
Некоторые вопросы сходимости метода недоопределенных вычислений
Об обратных задачах для уравнений переноса
О кольцах Оре, линейных операторах и факторизации
Оптимальная матричная коррекция несовместимых систем линейных алгебраических уравнений и несобственных задач линейного программирования
О реализации композиционных алгоритмов решения систем линейных уравнений
Пакет программ "STEP" для численного исследования систем нелинейных уравнений
Параллельные алгоритмы решения сеточных уравнений
Прямые методы решения систем линейных алгебраических уравнений с комплексными лямбда-матрицами
Стандартные программы решения систем линейных алгебраических уравнений методом Гаусса по системе главных элементов
Улучшенные алгоритмы решения разностных и q-разностных уравнений
Уравнения состояний стохастических временных сетей Петри с информационными связями