КОМПЬЮТЕРНОЙ АЛГЕБРЫ на Английском - Английский перевод

• computer algebra

Примеры использования Компьютерной алгебры на Русском языке и их переводы на Английский язык

СКА- система компьютерной алгебры.
Algorithms for computer algebra.

Его построение является встроенной функцией во многих системах компьютерной алгебры.
It is currently implemented in many computer algebra systems.

Axiom- свободная система компьютерной алгебры общего назначения.
Axiom is a general-purpose computer algebra system.

Недавно задача построения окружностей Мальфатти была использована для тестирования систем компьютерной алгебры.
More recently, the problem of constructing the Malfatti circles has been used as a test problem for computer algebra systems.

Reduce- бесплатная система компьютерной алгебры общего назначения, имеющая расширенные возможности для применения в физике.
Reduce is a general-purpose computer algebra system geared towards applications in physics.

В статье описаны возможные направления применения системы компьютерной алгебры Mathematica в обучении теории чисел.
The article describes possible directions for applications of the Mathematica computer algebra system in teaching number theory.

Применение системы компьютерной алгебры maple в обучении проектированию и анализу многомерных математических моделей.
Application of computer algebra system maple in teaching designing and the analysis of multidimensional mathematical models.

Синтез многомерных банков фильтров с помощью методов компьютерной алгебры// Известия вузов.
Synthesis of the multidimensional filter banks with the help of themethods of a computer algebra.(in Russian)// Universities news.

Ключевые слова: система компьютерной алгебры, Maple, образовательный процесс, система обыкновенных дифференциальных уравнений, жесткие системы.
Keywords: computer algebra system, Maple, educational process, system of ordinary differential equations, stiff systems.

Ключевые слова: информационные технологии в математике, системы компьютерной алгебры, Mathematica, теория чисел, криптография.
Keywords: information technologies in mathematics, computer algebra systems, Mathematica, number theory, cryptography.

Система компьютерной алгебры GAP содержит« Библиотеку малых групп», которая предоставляет описания групп малого порядка.
The group theoretical computer algebra system GAP contains the"Small Groups library" which provides access to descriptions of small order groups.

Системы символьных вычислений, их так же называют системами компьютерной алгебры, активно развиваются с конца восьмидесятых годов.
Symbolic computation systems, they also called computer algebra system, actively developed since the late eighties.

В 1985 году он основал журнал символьных вычислений( англ. Symbolic Computation), который сейчас стал ведущим изданием в области компьютерной алгебры.
In 1985 he started the Journal of Symbolic Computation, which has now become the premier publication in the field of computer algebra.

Для реализации рассматриваемой системы тестирования необходимо использовать методы компьютерной алгебры и технологии алгебраического программирования.
For the implementation of the testing system is necessary to use methods of computer algebra and algebraic programming technology.

В случае чистых трансцендентных функций( не содержащих корней и полиномов) это относительно легко было реализовано в большинстве систем компьютерной алгебры.
The case of the purely transcendental functions(which do not involve roots of polynomials) is relatively easy and was implemented early in most computer algebra systems.

Функция ChromaticPolynomial в системе компьютерной алгебры Mathematica использует вторую рекуррентную формулу если граф плотный, и первую, если граф разреженный.
The ChromaticPolynomial function in the computer algebra system Mathematica uses the second recurrence if the graph is dense, and the first recurrence if the graph is sparse.

Целью семинара является освещение актуальных тем и создание благоприятной среды для научных дискуссий о новых разработках в области компьютерной алгебры.
The purpose of the workshop is to present topics of current interest and to provide a stimulating environment for scientific discussion on new developments in computer algebra.

Многие системы компьютерной алгебры, такие как Mathematica, имеют возможность задавать необходимую арифметическую точность, что позволяет получить результаты более высокой точности.
Many computer algebra systems such as Mathematica also benefit from the availability of arbitrary precision arithmetic which can provide more accurate results.

В статье представлены аргументы целесообразности использования системы компьютерной алгебры Maple в процессе обучения проектированию и анализу многомерных математических моделей.
The arguments of expediency of use of computer algebra system Maple in training in design and the analysis of multidimensional mathematical models are presented in the article.

На базе кафедры совместно с кафедрой компьютерной алгебры каждые два года проводится международная научная конференция« Computer Algebra and Information Technologies».
Annual international scientific conference«Computer Algebra and Information Technologies» operates on the base of the department jointly with the Department of Computer Algebra..

Описан разработанный автором программный модуль получения явных выражений коэффициентов композиции производящих функций в системе компьютерной алгебры Maxima, приводятся примеры его использования для решения конкретных задач.
The article investigates the software implementation of a new method to find the coefficients of generating functions, describes the developed software module used to obtain explicit expressions for composition of generating functions coefficients in the computer algebra system Maxima and its structure, and gives examples of solving specific problems.

Некоторые системы компьютерной алгебры могут в данном случае вернуть ответ как неэлементарную функцию- эллиптический интеграл, который, однако, не охватывается алгоритмом Риша.
Some computer algebra systems may here return an antiderivative in terms of non-elementary functions(i.e. elliptic integrals), which however are outside the scope of the Risch algorithm.

В статье рассмотрены особенности использования системы компьютерной алгебры Maple для демонстрации работы алгоритмов шифрования в процессе изучения защиты информации в школьном курсе информатики.
The article discusses the features of using the computer algebra system Maple for demonstrating the operation of encryption algorithms in the process of studying the protection of information in the school informatics course.

Данное совещание посвящается памяти Виталия Александровича Ростовцева( 23. 05. 1932- 19. 09. 2017), старшего научного сотрудника ЛИТ ОИЯИ, известного специалиста в области системного программирования и компьютерной алгебры, который активно участвовал в организационной и научной работе ежегодных рабочих совещаний МГУ и ОИЯИ по компьютерной алгебре..
This workshop is dedicated to the memory of Vitaly Aleksandrovich Rostovtsev(23.05.1932- 19.09.2017), Senior Researcher of LIT JINR, famous specialist in the fields of system programming and computer algebra who took an active part in organizational and scientific activities of annual workshops of MSU and JINR on computer algebra..

Дистрибутив поставляется с копией программы компьютерной алгебры Mathematica, особой версией Minecraft под названием Minecraft Pi, а также с облегченной последней версией браузера Chrome.
The distribution is shipped with a copy of computer algebra program Mathematica and a version of Minecraft called Minecraft Pi as well as a lightweight version of Chromium as of the latest version.

Символическая проверка( с помощью компьютерной алгебры) гипотез для поощрения поиска аналитического доказательства Решения специального случая квантовой задачи трех тел, известной как задача о молекулярном ионе водорода- были найдены базовые решения на основе квантовой химии, еще до понимания, что все они приводят к одному и тому же аналитическому решению в терминах обобщения W- функции Ламберта.
Symbolic validation(via computer algebra) of conjectures to motivate the search for an analytical proof Solutions to a special case of the quantum three-body problem known as the hydrogen molecule-ion were found standard quantum chemistry basis sets before realizing they all lead to the same unique analytical solution in terms of a generalization of the Lambert W function.

С помощью дальнейшего исследования подобных систем методами дифференциальной геометрии, математического анализа и компьютерной алгебры в работе получена полная классификация вещественных четырехмерных неунимодулярных разложимых алгебр Ли, группы Ли которых наделены левоинвариантной римановой метрикой с гармоническим тензором Вейля.
Full classification of four-dimensional nonunimodular decomposable Lie groups with a left invariant Riemannian metrics, and harmonious Weyl's tensor is obtained with the help of the methods of differential geometry, mathematical analysis and computer algebra.

На данный момент язык АНАЛИТИК существует в виде системы компьютерной алгебры АНАЛИТИК- 2010, которая разрабатывается совместно Институтом проблем математических машин и систем НАН Украины и Полтавским национальным техническим университетом имени Юрия Кондратюка.
At the moment the language ANALITIK exists as a computer algebra system Analitik-2010, which is being developed jointly by the Institute of Mathematical Machines and Systems of the National Academy of Sciences of Ukraine and the Poltava National Technical University.

Данная программа также получила признание в мире и имеет около 500 ссылок;• развитие и применение методов компьютерной алгебры в космологических моделях, инспирированных теорией струн;• развитие методов исследования систем нелинейных дифференциальных уравнений;• в рамках сотрудничества с ЦЕРН начиная с 2002 года развернут национальный сегмент грида, который используется для обработки и анализа данных Большого адронного коллайдера проект Woldwide LHC Computing Grid.
This program is also gained recognition in the world and has about 500 references;• development and application of the methods of computer algebra in cosmological models inspired by string theory;• development of the methods for studying of non-linear differential equations systems;• national segment of GRID was developed since 2002 within collaboration with CERN.

Традиционное двухдневное рабочее совещание по компьютерной алгебре проходило в ЛИТ ОИЯИ 26- 27 мая.
A traditional two-day Workshop on Computer Algebra was held at LIT on 26-27 May.