Results 31 to 40 of about 1,466,157 (309)
Journal of Optimization, Differential Equations and Their Applications, 2023 We investigate the optimal control problem with respect to coefficients of the degenerate parabolic variational inequality. Since problems of this type can have the Lavrentieff effect, we consider the optimal control problem in a class of so-called ...
Nina V. Kasimova +2 more
doaj +1 more source
Information modeling of the normal forms of logical functions in Maple system [PDF]
ITM Web of ConferencesThe article discusses possible ways to use the Maple computer algebra system to obtain perfect conjunctive and disjunctive normal forms. Computer algebra systems make it possible to expand the possibilities for creating, applying and using mathematical ...
Olenev Aleksandr +3 more
doaj +1 more source
On differential approximations of difference schemes [PDF]
Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2021 The concept of the first differential approximation was introduced in the 1950s for the analysis of difference schemes by A. I. Zhukov and then was used to study the quality of difference schemes approximating equations in partial derivatives.
Blinkov, Yuri Anatolievich +2 more
doaj +1 more source
Network version of the computer algebra system bergman [PDF]
Computer Science Journal of Moldova, 2002 The article describes problems arising at presentation of the computer algebra system bergman in the Web, and their solution using client-server approach.
S. Cojocaru, A. Colesnicov, L. Malahova
doaj
Information and logical transformations in Schaeffer and Pierce Bases in Maple [PDF]
ITM Web of ConferencesOne of the tasks of synthesis and analysis of the functioning of combinational devices is the representation of a Boolean function in various bases. The absolute completeness of the use and implementation of various transformations of Boolean functions ...
Olenev Aleksandr +3 more
doaj +1 more source
A nilpotent quotient algorithm for L-presented groups [PDF]
, 2007 The main part of this paper contains a description of a nilpotent quotient algorithm for L-presented groups and a report on applications of its implementation in the computer algebra system GAP.
Bartholdi, Laurent +2 more
core +1 more source
A Computer Algebra System for R: Macaulay2 and the m2r Package
Journal of Statistical Software, 2020 Algebraic methods have a long history in statistics. Apart from the ubiquitous applications of linear algebra, the most visible manifestations of modern algebra in statistics are found in the young field of algebraic statistics, which brings tools from ...
David Kahle +2 more
doaj +1 more source
Discrete and Continuous Models and Applied Computational Science, 2023 This work is devoted to the implementation and testing of the Adams method for solving ordinary differential equations in the Sage computer algebra system.
Mikhail D. Malykh, Polina S. Chusovitina
doaj +1 more source
Redberry: a computer algebra system designed for tensor manipulation
, 2015 In this paper we focus on the main aspects of computer-aided calculations with tensors and present a new computer algebra system Redberry which was specifically designed for algebraic tensor manipulation.
S. Poslavsky, D. Bolotin
semanticscholar +1 more source
Some Remarks on Blowing-Ups in a Computer Algebra System [PDF]
Computer Science Journal of Moldova, 2008 The aim of this short note is to provide detailed information on how to compute blowing ups in various settings by means of a computer algebra system. All examples are formulated using the system SINGULAR [5].
Anne Frühbis-Krüger
doaj