## Programming and Computer Software

 Short Title: Program. Comput. Softw. Publisher: Springer US, New York, NY; Pleiades Publishing, New York, NY; MAIK “Nauka/Interperiodica”, Moscow ISSN: 0361-7688; 1608-3261/e Online: http://link.springer.com/journal/volumesAndIssues/11086 Original: Programmirovanie
 Documents Indexed: 1,326 Publications (since 1976) References Indexed: 430 Publications with 8,372 References.
all top 5

### Latest Issues

 48, No. 2 (2022) 48, No. 1 (2022) 47, No. 8 (2021) 47, No. 7 (2021) 47, No. 6 (2021) 47, No. 5 (2021) 47, No. 4 (2021) 47, No. 3 (2021) 47, No. 2 (2021) 47, No. 1 (2021) 46, No. 8 (2020) 46, No. 6 (2020) 46, No. 4 (2020) 46, No. 3 (2020) 46, No. 2 (2020) 46, No. 1 (2020) 45, No. 8 (2019) 45, No. 7 (2019) 45, No. 5 (2019) 45, No. 4 (2019) 45, No. 3 (2019) 45, No. 2 (2019) 44, No. 6 (2018) 44, No. 5 (2018) 44, No. 3 (2018) 44, No. 2 (2018) 44, No. 1 (2018) 43, No. 6 (2017) 43, No. 5 (2017) 43, No. 4 (2017) 43, No. 3 (2017) 43, No. 2 (2017) 42, No. 5 (2016) 42, No. 4 (2016) 42, No. 3 (2016) 42, No. 2 (2016) 42, No. 1 (2016) 41, No. 6 (2015) 41, No. 5 (2015) 41, No. 4 (2015) 41, No. 3 (2015) 41, No. 2 (2015) 41, No. 1 (2015) 40, No. 6 (2014) 40, No. 5 (2014) 40, No. 3 (2014) 40, No. 2 (2014) 40, No. 1 (2014) 39, No. 6 (2013) 39, No. 5 (2013) 39, No. 4 (2013) 39, No. 3 (2013) 39, No. 2 (2013) 39, No. 1 (2013) 38, No. 6 (2012) 38, No. 5 (2012) 38, No. 4 (2012) 38, No. 3 (2012) 38, No. 2 (2012) 38, No. 1 (2012) 37, No. 6 (2011) 37, No. 4 (2011) 37, No. 3 (2011) 37, No. 2 (2011) 37, No. 1 (2011) 36, No. 6 (2010) 36, No. 5 (2010) 36, No. 4 (2010) 36, No. 3 (2010) 36, No. 2 (2010) 36, No. 1 (2010) 35, No. 6 (2009) 35, No. 5 (2009) 35, No. 4 (2009) 35, No. 3 (2009) 35, No. 2 (2009) 35, No. 1 (2009) 34, No. 6 (2008) 34, No. 5 (2008) 34, No. 4 (2008) 34, No. 3 (2008) 34, No. 2 (2008) 34, No. 1 (2008) 33, No. 6 (2007) 33, No. 5 (2007) 33, No. 4 (2007) 33, No. 3 (2007) 33, No. 2 (2007) 33, No. 1 (2007) 32, No. 6 (2006) 32, No. 5 (2006) 32, No. 4 (2006) 32, No. 3 (2006) 32, No. 2 (2006) 32, No. 1 (2006) 31, No. 6 (2005) 31, No. 5 (2005) 31, No. 4 (2005) 31, No. 3 (2005) 31, No. 2 (2005) ...and 112 more Volumes
all top 5

### Authors

 31 Abramov, Sergeĭ Aleksandrovich 30 Podlovchenko, Rimma Ivanovna 20 Gerdt, Vladimir Petrovich 18 Prokopenya, Alexander N. 14 Kossatchev, Alexander S. 11 Batkhin, Alexandr B. 11 Nepomnyashchy, V. A. 10 Kornyak, Vladimir V. 10 Krinitskij, N. A. 10 Zamulin, Aleksandr Vasil’evich 9 Blinkov, Yuri A. 9 Bourdonov, Igor B. 9 Kytmanov, Alexey Alexandrovich 9 Yanovich, Denis A. 8 Bruno, Alexander Dmitrievich 8 Burgin, Mark 8 Edneral, Victor F. 8 Kostenko, V. A. 8 Kulyabov, Dmitry S. 8 Kutepov, V. P. 8 Nigiyan, Semyon A. 8 Nikitchenko, Nikolaj S. 8 Rostovtsev, Vitaly A. 8 Ryabenko, Anna A. 8 Virbitskaite, Irina B. 7 Anureev, Igor’ Sergeevich 7 Ivannikov, Viktor Petrovich 7 Kasyanov, Victor N. 7 Khachatryan, V. E. 7 Korolkova, Anna V. 7 Kuliamin, Victor V. 7 Kuznetsov, Sergeĭ Dmitriĭ 7 Lastovetsky, Alexey L. 7 Red’ko, V. N. 7 Skorokhodov, Sergey L. 7 Tsejtlin, G. E. 6 Achasova, S. M. 6 Babichev, A. V. 6 Buslenko, Nikolai Pantelejmonovich 6 Gutnik, Sergey A. 6 Kalinichenko, Leonid A. 6 Kalinov, A. Ya. 6 Kondrat’eva, Marina Vladimirovna 6 Lavrov, Svyatoslav Sergeevich 6 Likhoded, Nikolaĭ Aleksandrovich 6 Pottosin, Igor V. 6 Sarychev, Vasily A. 6 Smelyanskij, R. L. 6 Zakharov, Vladimir A. 6 Zhogolev, Evgenii Andreevich 5 Gajsaryan, S. S. 5 Galaktionov, Vladimir Aleksandrovich 5 Krinitskij, V. N. 5 Krylov, Andreĭ Serdzhevich 5 Ledovskikh, I. N. 5 Lomazova, Irina A. 5 Mirenkov, N. N. 5 Nepomniaschaya, Anna Shmilevna 5 Nepomniaschy, Valery A. 5 Panferov, Anton A. 5 Petkovšek, Marko 5 Serebryakov, V. A. 5 Shternberg, L. F. 5 Toporkov, V. V. 5 Zima, Eugene V. 4 Arlazarov, Vladimir L’vovich 4 Avetisyan, A. I. 4 Babenko, Mikhail 4 Bandman, Olga L. 4 Bogolyubskaya, A. A. 4 Charnaya, I. S. 4 Chernobrod, L. V. 4 Galatenko, V. A. 4 Gevorkyan, Migran N. 4 Glushkova, V. N. 4 Grinev, M. N. 4 Gusev, Alexander A. 4 Kaptsov, Oleg Viktorovich 4 Korablin, Yu. P. 4 Kuzovatov, Vyacheslav Igor’evich 4 Lel’chuk, T. I. 4 Malaschonok, Gennadi I. 4 Minglibayev, Mukhtar Zh. 4 Nepeĭvoda, Nikolaĭ Nikolaevich 4 Novikov, B. A. 4 Paramonov, Serge V. 4 Petrenko, Alexander K. 4 Polyakov, S. P. 4 Posypkin, Mikhail A. 4 Sabelfeld, Viktor K. 4 Semenov, Artem S. 4 Serdyukova, S. I. 4 Sevast’yanov, Leonid Antonovich 4 Shalyto, A. A. 4 Shemyakova, E. S. 4 Shemyakova, Ekaterina 4 Shilov, Nikolay V. 4 Skopin, I. N. 4 Tchernykh, Andrei 4 Terekhov, Andrey N. ...and 1,216 more Authors
all top 5

### Fields

 1,198 Computer science (68-XX) 83 Numerical analysis (65-XX) 48 Commutative algebra (13-XX) 41 Ordinary differential equations (34-XX) 32 Mathematical logic and foundations (03-XX) 27 Field theory and polynomials (12-XX) 24 Partial differential equations (35-XX) 23 Mechanics of particles and systems (70-XX) 21 History and biography (01-XX) 21 Special functions (33-XX) 16 Information and communication theory, circuits (94-XX) 14 Operations research, mathematical programming (90-XX) 13 Dynamical systems and ergodic theory (37-XX) 13 Difference and functional equations (39-XX) 10 Combinatorics (05-XX) 10 Algebraic geometry (14-XX) 10 Quantum theory (81-XX) 10 Systems theory; control (93-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 8 Nonassociative rings and algebras (17-XX) 7 Number theory (11-XX) 6 Category theory; homological algebra (18-XX) 6 Functions of a complex variable (30-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Associative rings and algebras (16-XX) 5 Differential geometry (53-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Biology and other natural sciences (92-XX) 4 Operator theory (47-XX) 4 Optics, electromagnetic theory (78-XX) 3 General and overarching topics; collections (00-XX) 3 Real functions (26-XX) 3 Approximations and expansions (41-XX) 3 Geometry (51-XX) 3 Fluid mechanics (76-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Integral transforms, operational calculus (44-XX) 2 Statistics (62-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) 1 Topological groups, Lie groups (22-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of deformable solids (74-XX)

### Citations contained in zbMATH Open

364 Publications have been cited 859 times in 590 Documents Cited by Year
Conjunctive grammars and systems of language equations. Zbl 1036.68063
Okhotin, A. S.
2002
Rational solutions of linear difference and $$q$$-differential equations with polynomial coefficients. Zbl 0910.65107
Abramov, S. A.
1995
Parameterization of the discriminant set of a polynomial. Zbl 1401.13080
Batkhin, A. B.
2016
Scheduling algorithms for real-time computing systems admitting simulation models. Zbl 1311.68037
Kostenko, V. A.
2013
Hamiltonian normalization in the restricted many-body problem by computer algebra methods. Zbl 1329.70036
Prokopenya, A. N.
2012
Search for polynomial solutions of linear functional systems by means of induced recurrences. Zbl 1101.68990
Khmelnov, D. E.
2004
Rational solutions of linear difference equations: universal denominators and denominator bounds. Zbl 1247.65156
Abramov, S. A.; Gheffar, A.; Khmelnov, D. E.
2011
Ant algorithms: theory and applications. Zbl 1120.90051
Shtovba, S. D.
2005
Universal numerical algorithms and their software implementation. Zbl 0968.68194
Litvinov, G. L.; Maslova, E. V.
2000
Fast search for the Janet divisor. Zbl 1024.13009
Gerdt, V. P.; Yanovich, D. A.; Blinkov, Yu. A.
2001
Denominators of rational solutions of linear difference systems of an arbitrary order. Zbl 1261.65134
Abramov, S. A.; Khmelnov, D. E.
2012
Involutive systems of algebraic equations. Zbl 0828.13020
Zharkov, A. Yu.; Blinkov, Yu. A.
1994
Linear differential and difference systems: $$\mathrm{EG}_\delta$$- and $$\mathrm{EG}_\sigma$$-eliminations. Zbl 1311.34027
Abramov, S. A.; Khmelnov, D. E.
2013
Symbolic calculations in studying the problem of three bodies with variable masses. Zbl 1353.70003
Prokopenya, A. N.; Minglibayev, M. Zh.; Mayemerova, G. M.
2014
A survey of methods for constructing covering arrays. Zbl 1242.68069
Kuliamin, V. V.; Petukhov, A. A.
2011
Symbolic-numerical analysis of equilibrium solutions in a restricted four-body problem. Zbl 1343.70012
Budzko, D. A.; Prokopenya, A. N.
2010
Animated rotations using quaternions and splines on a 4D sphere. Zbl 0875.68913
Nielson, G. M.; Heiland, R. W.
1992
Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem. Zbl 1325.70028
Budzko, D. A.; Prokopenya, A. N.
2013
The calculus of functional systems and parallel algorithms. Zbl 0397.68006
Kutepov, V. P.
1976
Involutive divisions of monomials. Zbl 0972.68193
Gerdt, V. P.; Blinkov, Yu. A.
1998
An algorithm for calculating power sums of roots for a class of systems of nonlinear equations. Zbl 1206.65156
Kytmanov, A. A.
2010
Involutive method for computing Gröbner bases over $$\mathbb F_2$$. Zbl 1185.68868
Gerdt, V. P.; Zinin, M. V.
2008
Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite. Zbl 1308.65228
Gutnik, S. A.; Sarychev, V. A.
2014
An algorithm for scheduling exchanges over a bus with centralized control and an analysis of its efficiency. Zbl 1106.68326
Kostenko, V. A.; Gur’yanov, E. S.
2005
Some symbolic computation algorithms in cosmic dynamics problems. Zbl 1103.68992
Prokopenya, A. N.
2006
Test generation for compilers and other formal text processors. Zbl 1063.68042
Zelenov, S. V.; Zelenova, S. A.; Kosachev, A. S.; Petrenko, A. K.
2003
Algorithms for construction of standard Gröbner-Shirshov bases of ideals of free algebras over commutative rings. Zbl 0969.17005
Zolotykh, A. A.; Mikhalev, A. A.
1998
Resolution of an algebraic singularity by power geometry algorithms. Zbl 1253.13022
Bruno, A. D.; Batkhin, A. B.
2012
A hierarchy of program models. Zbl 0469.68015
Podlovchenko, R. I.
1981
Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals. Zbl 1204.13001
Zobnin, A. I.
2010
Verification as a parameterized testing (experiments with the SCP4 supercompiler). Zbl 1120.68383
Lisitsa, A. P.; Nemytykh, A. P.
2007
Obstacles to the factorization of partial differential operators into several factors. Zbl 1130.35007
Shemyakova, E. S.; Wincler, F.
2007
Search of rational solutions to differential and difference systems by means of formal series. Zbl 1344.34023
Abramov, Sergey A.
2015
Regular solutions of linear differential systems with power series coefficients. Zbl 1317.34019
Abramov, S. A.; Khmelnov, D. E.
2014
Normalization of a periodic Hamiltonian system. Zbl 1459.37048
Bruno, A. D.
2020
Effectiveness of involutive criteria in computation of polynomial Janet bases. Zbl 1103.68987
Gerdt, V. P.; Yanovich, D. A.
2006
On an algorithmic optimization in computation of involutive bases. Zbl 1037.68063
Gerdt, V. P.
2002
Synthesizing structures of real-time computer systems using genetic algorithms. Zbl 0968.68195
Kostenko, V. A.; Smelyanskii, R. L.; Trekin, A. G.
2000
On the $$q$$-analogue of Zeilberger’s algorithm to rational functions. Zbl 0985.33014
Le, H. Q.
2001
Semigroup program models. Zbl 0482.68016
Podlovchenko, R. I.
1981
The Fibonacci-Padovan sequence and MacWilliams transform matrices. Zbl 1137.11304
Gogin, N. D.; Myllari, A. A.
2007
Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients. Zbl 1345.34011
Abramov, Sergey A.; Ryabenko, Anna A.; Khmelnov, Dennis E.
2016
Formalization of test experiments. Zbl 1154.68340
Bourdonov, I. B.; Kossatchev, A. S.; Kuliamin, V. V.
2007
Secure cloud computing based on threshold homomorphic encryption. Zbl 1370.94547
Varnovskiy, N. P.; Martishin, S. A.; Khrapchenko, M. V.; Shokurov, A. V.
2015
Study of a non-Markovian stack management model in a two-level memory. Zbl 1101.68302
Aksenova, E. A.; Lazutina, A. A.; Sokolov, A. V.
2004
Generation of difference schemes for the Burgers equation by constructing Gröbner bases. Zbl 1101.65086
Blinkov, Yu. A.; Mozzhilkin, V. V.
2006
Membership problem for differential ideals generated by a composition of polynomials. Zbl 1099.13044
Kondratieva, M. V.; Zobnin, A. I.
2006
Normal forms and integrability of ODE systems. Zbl 1120.34026
Bruno, A. D.; Edneral, V. F.
2006
Tensor computations in computer algebra systems. Zbl 1301.68280
Korol’kova, A. V.; Kulyabov, D. S.; Sevast’yanov, L. A.
2013
The problem of schedule construction in the joint design of hardware and software. Zbl 1037.68009
Kostenko, V. A.
2002
Method of separative monomials for involutive divisions. Zbl 0991.68158
2001
Program for constructing a complete system of relations, basis elements, and commutator table for finitely presented Lie algebras and superalgebras. Zbl 0972.68192
Gerdt, V. P.; Kornyak, V. V.
1997
Indefinite summation of rational functions with factorization of denominators. Zbl 1251.68308
Polyakov, S. P.
2011
Composition semantics of programming languages. Zbl 0517.68033
Nikitchenko, N. S.
1982
On the construction of complete systems of equivalent transformations of program schemes. Zbl 0909.68027
Podlovchenko, R. I.; Airapetyan, M. G.
1996
Symbolic computation in studying stability of solutions of linear differential equations with periodic coefficients. Zbl 1137.65390
Prokopenya, A. N.
2007
Investigation of a real algebraic surface. Zbl 1349.14178
Batkhin, A. B.; Bruno, A. D.
2015
Differential equation systems with selected part of the unknowns. Zbl 1362.65072
Panferov, A. A.
2015
On rational solutions of linear partial differential or difference equations. Zbl 1311.35048
Paramonov, S. V.
2013
Investigation of center manifolds of three-dimensional systems using computer algebra. Zbl 1323.68623
Romanovski, V. G.; Mencinger, M.; Ferčec, B.
2013
Some algorithms for analysis and synthesis of real-time multiprocessor computing systems. Zbl 1323.68050
Furugyan, M. G.
2014
Systems of generators for ideals of algebra of convergent differential series. Zbl 1323.68609
Kaptsov, O. V.
2014
Application of computer algebra methods to investigate the dynamics of the system of two connected bodies moving along a circular orbit. Zbl 1466.70030
Gutnik, S. A.; Sarychev, V. A.
2019
Survey of architectures of parallel database systems. Zbl 1066.68040
Sokolinskij, L. B.
2004
Towards verification of C programs: Axiomatic semantics of the C-kernel language. Zbl 1099.68544
Nepomniaschy, V. A.; Anureev, I. S.; Promskii, A. V.
2003
Fast evaluation of the hypergeometric function $$_pF_{p-1}$$(a;b;z) at the singular point $$z = 1$$ by means of the Hurwitz zeta function $$\xi(\alpha,s)$$. Zbl 1102.33014
Bogolubsky, A. I.; Skorokhodov, S. L.
2006
A consistent generation of pipeline parallelism and distribution of operations and data among processors. Zbl 1103.68375
Adutskevich, E. V.; Likhoded, N. A.
2006
The research seminar on computer algebra in 2009-2010. Zbl 1242.00036
Abramov, S. A.; Bogolyubskaya, A. A.; Edneral, V. F.; Rostovtsev, V. A.
2011
A language of graph schemes of parallel algorithms. Zbl 0419.68039
Kutepov, V. P.; Korablin, Yu. P.
1978
Solution of systems of linear equations by the $$p$$-adic method. Zbl 1065.68117
Malaschonok, G. I.
2003
Distribution of operations and data arrays over processors. Zbl 1101.68386
Likhoded, N. A.
2003
Improved universal denominators. Zbl 1147.68877
Abramov, S. A.; Polyakov, S. P.
2007
SWITCH technology: An automated approach to developing software for reactive systems. Zbl 1038.68036
Shalyto, A. A.; Tukkel’, N. I.
2001
Parallelization of an algorithm for computation of involutive Janet bases. Zbl 1037.68159
Yanovich, D. A.
2002
Equivalent transformations of program schemes for “Entangling” programs. Zbl 1037.68010
Podlovchenko, R. I.
2002
Possibilities of optimal execution of parallel programs containing simple and iterated loops on heterogeneous parallel computational systems with distributed memory. Zbl 1037.68041
Avetisyan, A. I.; Gajsaryan, S. S.; Samovarov, O. I.
2002
Methodology and tools for predicting the execution time of optimized programs. Zbl 1002.68720
Balashov, V. V.; Kapitonova, A. P.; Kostenko, V. A.; Smelyanskii, R. L.; Yushchenko, N. V.
1999
Performance analysis of concurrent systems in algebra dtsiPBC. Zbl 1339.68033
Tarasyuk, I.; Macià, H.; Valero, Valentin
2014
Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms. Zbl 1339.68246
Garanina, N. O.; Sidorova, E. A.
2015
Algorithmic issues of AND-decomposition of Boolean formulas. Zbl 1339.94099
Emelyanov, P. G.; Ponomaryov, D. K.
2015
A comparison of associative computation models. Zbl 0973.68522
Nepomniaschaya, A. Sh.; Vladyko, M. A.
1997
A complex of algorithms for computations in Lie superalgebras. Zbl 0973.17001
Zolotykh, A. A.; Mikhalev, A. A.
1997
Finding and using directed cuts of real graphs of algorithms. Zbl 0973.68513
Frolov, A. V.
1997
The scientific research seminar on computer algebra in 1997-1998. Zbl 0972.68814
Abramov, S. A.; Rostovtsev, V. A.
1998
On the Goursat classification problem. Zbl 1255.35165
Kaptsov, O. V.
2012
On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol. Zbl 1254.35135
Ganzha, E. I.
2012
Verification of file manipulation programs in the language PASCAL. Zbl 0469.68013
Nepomnyashchii, V. A.
1981
Computable compositions and universal program logics. Zbl 0551.68028
Nikitchenko, N. S.
1983
An upper bound for minimizing coefficients of the dimension Kolchin polynomial. Zbl 1205.12004
Kondratieva, M. V.
2010
Some algorithms for calculating unitary matrices for quantum circuits. Zbl 1214.68471
Gerdt, V. P.; Prokopenya, A. N.
2010
Systems with priorities: conformance, testing, and composition. Zbl 1183.68095
Bourdonov, I. B.; Kossatchev, A. S.
2009
Design and analysis of systolic algorithms and structures. Zbl 0739.68039
Sedukhin, S. G.
1991
On Ore rings, linear operators and factorization. Zbl 0828.16035
Bronstein, Manuel; Petkovšek, Marko
1994
Problems that appear during factorization of ordinary linear differential operators. Zbl 0864.12004
Tsarev, S. P.
1994
Metalinear schemes with transfer of constants. Zbl 0577.68031
Lisovik, L. P.
1985
Specialized computer algebra system GINV. Zbl 1185.68867
Blinkov, Yu. A.; Gerdt, V. P.
2008
The grid: Analysis of basic principles and ways of application. Zbl 1185.68037
Kovalenko, V. N.; Koryagin, D. A.
2009
Partitions of the set of selected unknowns in linear differential-algebraic systems. Zbl 1345.34010
Panferov, A. A.
2016
Bounded monotone recursion and multihead automata. Zbl 1311.03069
Marchenkov, S. S.
2013
Jitter minimization in scheduling computations in real-time systems. Zbl 1323.68055
Kolesov, N. V.; Tolmacheva, M. V.; Yukhta, P. V.
2014
Algorithms and programs for calculating the roots of polynomial of one or two variables. Zbl 1483.68500
Bruno, A. D.; Batkhin, A. B.
2021
Symbolic investigation of eigenvectors for general solution of a system of ODEs with a symbolic coefficient matrix. Zbl 1477.34112
Divakov, D. V.; Tiutiunnik, A. A.
2021
Using a template engine as a computer algebra tool. Zbl 07351969
Gevorkyan, M. N.; Korol&rsquo;kova, A. V.; Kulyabov, D. S.
2021
The method of colored graphs for simplifying expressions with indices. Zbl 1480.05061
Shpiz, G. B.; Kryukov, A. P.
2021
Symbolic-analytic methods for studying equilibrium orientations of a satellite on a circular orbit. Zbl 1476.70083
Gutnik, S. A.; Sarychev, V. A.
2021
Computer algebra in Julia. Zbl 1477.68550
Kulyabov, D. S.; Korol&rsquo;kova, A. V.
2021
Procedures for constructing truncated solutions of linear differential equations with infinite and truncated power series in the role of coefficients. Zbl 07351985
Abramov, S. A.; Ryabenko, A. A.; Khmelnov, D. E.
2021
Normalization of a periodic Hamiltonian system. Zbl 1459.37048
Bruno, A. D.
2020
Procedures for searching Laurent and regular solutions of linear differential equations with the coefficients in the form of truncated power series. Zbl 1462.34028
Abramov, S. A.; Ryabenko, A. A.; Khmelnov, D. E.
2020
Minimal representations and algebraic relations for single nested products. Zbl 1478.33008
Schneider, Carsten
2020
Bifurcations of periodic solutions of a Hamiltonian system with a discrete symmetry group. Zbl 1459.37042
Batkhin, A. B.
2020
A modular extension for a computer algebra system. Zbl 1455.68283
Gevorkyan, M. N.; Korolkova, A. V.; Kulyabov, D. S.; Sevast&rsquo;yanov, L. A.
2020
Algorithm for constructing an analogue of the Binet formula. Zbl 1492.33012
Kuzovatov, V. I.; Kytmanov, A. A.; Kuzovatova, O. I.
2020
Construction of a periodic solution to the equations of motion of generalized Atwood’s machine using computer algebra. Zbl 1459.70009
Prokopenya, A. N.
2020
Differential geometry and mechanics: a source for computer algebra problems. Zbl 1455.68288
Salnikov, V. N.; Hamdouni, A.
2020
Computation of involutive and Gröbner bases using the tableau representation of polynomials. Zbl 1455.13049
Yanovich, D. A.
2020
Search for the global extremum using the correlation indicator for neural networks supervised learning. Zbl 1467.68152
Vershkov, N.; Babenko, M.; Kuchukov, V.; Kuchukova, N.
2020
Application of computer algebra methods to investigate the dynamics of the system of two connected bodies moving along a circular orbit. Zbl 1466.70030
Gutnik, S. A.; Sarychev, V. A.
2019
Applications of computer algebra in the study of the two-planet problem of three bodies with variable masses. Zbl 1459.70029
Prokopenya, A. N.; Minglibayev, M. Zh.; Shomshekova, S. A.
2019
On online algorithms for bin, strip, and box packing, and their worst-case and average-case analysis. Zbl 1455.68279
Lazarev, D. O.; Kuzyurin, N. N.
2019
Computation of the resonance set of a polynomial under constraints on its coefficients. Zbl 1457.13052
Batkhin, A. B.
2019
Canonical representation of polynomial expressions with indices. Zbl 1455.68289
Shpiz, G.; Kryukov, A.
2019
Parameterization of a set determined by the generalized discriminant of a polynomial. Zbl 1455.13050
Batkhin, A. B.
2018
Algorithms for solving an algebraic equation. Zbl 1455.68281
Bruno, A. D.
2018
Computational problems of multivariate hypergeometric theory. Zbl 1458.68286
2018
Modeling function domain for curves constructed based on a linear combination of basis Bernstein polynomials. Zbl 1455.65033
Tolok, A. V.; Tolok, N. B.; Loktev, M. A.
2018
Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. Zbl 1455.70013
Gutnik, S. A.; Sarychev, V. A.
2017
Investigation of the restricted problem of three bodies of variable masses using computer algebra. Zbl 1476.70027
Prokopenya, A. N.; Minglibayev, M. Zh.; Mayemerova, G. M.; Imanova, Zh. U.
2017
Evaluating the rational generating function for the solution of the Cauchy problem for a two-dimensional difference equation with constant coefficients. Zbl 1459.39020
Kytmanov, A. A.; Lyapin, A. P.; Sadykov, T. M.
2017
Revealing matrices of linear differential systems of arbitrary order. Zbl 1455.34002
Abramov, S. A.; Ryabenko, A. A.; Khmelnov, D. E.
2017
A real variety with boundary and its global parameterization. Zbl 1455.53075
Batkhin, A. B.
2017
Discretization of quasilinear evolution equations by computer algebra methods. Zbl 1458.35367
Blinkov, Yu. A.; Gerdt, V. P.; Marinov, K. B.
2017
MathPartner computer algebra. Zbl 1455.68286
Malaschonok, G. I.
2017
Local search gradient algorithm based on functional voxel modeling. Zbl 1455.68234
Grigor&rsquo;ev, S. N.; Tolok, A. V.; Tolok, N. B.
2017
Parameterization of the discriminant set of a polynomial. Zbl 1401.13080
Batkhin, A. B.
2016
Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients. Zbl 1345.34011
Abramov, Sergey A.; Ryabenko, Anna A.; Khmelnov, Dennis E.
2016
Partitions of the set of selected unknowns in linear differential-algebraic systems. Zbl 1345.34010
Panferov, A. A.
2016
Using two types of computer algebra systems to solve Maxwell optics problems. Zbl 1344.78021
Kulyabov, D. S.
2016
“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets. Zbl 1451.68194
Virbitskaite, I. B.; Borovlev, V. A.; Popova-Zeugmann, L.
2016
Search of rational solutions to differential and difference systems by means of formal series. Zbl 1344.34023
Abramov, Sergey A.
2015
Secure cloud computing based on threshold homomorphic encryption. Zbl 1370.94547
Varnovskiy, N. P.; Martishin, S. A.; Khrapchenko, M. V.; Shokurov, A. V.
2015
Investigation of a real algebraic surface. Zbl 1349.14178
Batkhin, A. B.; Bruno, A. D.
2015
Differential equation systems with selected part of the unknowns. Zbl 1362.65072
Panferov, A. A.
2015
Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms. Zbl 1339.68246
Garanina, N. O.; Sidorova, E. A.
2015
Algorithmic issues of AND-decomposition of Boolean formulas. Zbl 1339.94099
Emelyanov, P. G.; Ponomaryov, D. K.
2015
Comparative trace semantics of time Petri nets. Zbl 1339.68183
Bushin, D. I.; Virbitskaite, I. B.
2015
On exponential-logarithmic solutions of linear differential systems with power series coefficients. Zbl 1344.34024
Ryabenko, A. A.
2015
Invertible Darboux transformations of type I. Zbl 1406.44003
Shemyakova, E. S.
2015
Parallel computations on a graph. Zbl 1339.68080
Bourdonov, I.; Kossatchev, A.; Kulyamin, V.
2015
Supercompilation for Martin-Lof’s type theory. Zbl 1339.68042
Klyuchnikov, I. G.; Romanenko, S. A.
2015
Representation of segment Voronoi diagram by Bézier curves. Zbl 1339.68276
Mestetskii, L. M.
2015
Algorithm for checking triviality of “mixed” ideals in the ring of differential polynomials. Zbl 1359.12002
Zobnin, Alexey I.; Limonov, M. A.
2015
Simulation of a quantum algorithm for phase estimation. Zbl 1362.68083
Prokopenya, Alexander N.
2015
Qualitative investigation of a gene model using computer algebra algorithms. Zbl 1339.92049
Boulier, Francois; Han, M.; Lemaire, Francois; Romanovski, Valery G.
2015
Compact representation of polynomials for algorithms for computing Gröbner and involutive bases. Zbl 1362.68298
Yanovich, D. A.
2015
Symbolic calculations in studying the problem of three bodies with variable masses. Zbl 1353.70003
Prokopenya, A. N.; Minglibayev, M. Zh.; Mayemerova, G. M.
2014
Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite. Zbl 1308.65228
Gutnik, S. A.; Sarychev, V. A.
2014
Regular solutions of linear differential systems with power series coefficients. Zbl 1317.34019
Abramov, S. A.; Khmelnov, D. E.
2014
Some algorithms for analysis and synthesis of real-time multiprocessor computing systems. Zbl 1323.68050
Furugyan, M. G.
2014
Systems of generators for ideals of algebra of convergent differential series. Zbl 1323.68609
Kaptsov, O. V.
2014
Performance analysis of concurrent systems in algebra dtsiPBC. Zbl 1339.68033
Tarasyuk, I.; Macià, H.; Valero, Valentin
2014
Jitter minimization in scheduling computations in real-time systems. Zbl 1323.68055
Kolesov, N. V.; Tolmacheva, M. V.; Yukhta, P. V.
2014
Checking existence of solutions of partial differential equations in the fields of Laurent series. Zbl 1311.35058
Paramonov, S. V.
2014
Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models. Zbl 1323.68224
Podlovchenko, R. I.
2014
Darboux transformations for factorable Laplace operators. Zbl 1311.35004
Shemyakova, Ekaterina
2014
Economic model of scheduling and fair resource sharing in distributed computations. Zbl 1323.68058
Toporkov, V. V.; Yemelyanov, D. M.
2014
Termination of the F5 algorithm. Zbl 1323.68598
Galkin, V. V.
2014
Mechanical proof of planimetric theorems of rational type. Zbl 1323.68463
Osipov, N. N.
2014
A symbolic-numerical method for solving the differential equation describing the states of polarizable particle in Coulomb potential. Zbl 1354.34004
Red&rsquo;kov, V. M.; Chichurin, A. V.
2014
Scheduling algorithms for real-time computing systems admitting simulation models. Zbl 1311.68037
Kostenko, V. A.
2013
Linear differential and difference systems: $$\mathrm{EG}_\delta$$- and $$\mathrm{EG}_\sigma$$-eliminations. Zbl 1311.34027
Abramov, S. A.; Khmelnov, D. E.
2013
Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem. Zbl 1325.70028
Budzko, D. A.; Prokopenya, A. N.
2013
Tensor computations in computer algebra systems. Zbl 1301.68280
Korol&rsquo;kova, A. V.; Kulyabov, D. S.; Sevast&rsquo;yanov, L. A.
2013
On rational solutions of linear partial differential or difference equations. Zbl 1311.35048
Paramonov, S. V.
2013
Investigation of center manifolds of three-dimensional systems using computer algebra. Zbl 1323.68623
Romanovski, V. G.; Mencinger, M.; Ferčec, B.
2013
Bounded monotone recursion and multihead automata. Zbl 1311.03069
Marchenkov, S. S.
2013
Simulation of quantum error correction by means of QuantumCircuit package. Zbl 1301.68279
Gerdt, V. P.; Prokopenya, A. N.
2013
Parallel modular computation of Gröbner and involutive bases. Zbl 1323.68631
Yanovich, D. A.
2013
Formalization of a test experiment. II. Zbl 1323.68042
Bourdonov, I. B.; Kossatchev, A. S.
2013
A package to work with linear partial differential operators. Zbl 1311.65180
Shemyakova, Ekaterina
2013
Symbolic-numerical solution of systems of linear ordinary differential equations with required accuracy. Zbl 1301.68281
Malaschonok, N. A.; Rybakov, M. A.
2013
Simulation of hierarchical multiprocessor database systems. Zbl 1261.68159
Kostenetskii, P. S.; Sokolinsky, L. B.
2013
An algorithm for constructing toric compactifications. Zbl 1323.68610
Kytmanov, A. A.; Shchuplev, A. V.
2013
Hamiltonian normalization in the restricted many-body problem by computer algebra methods. Zbl 1329.70036
Prokopenya, A. N.
2012
Denominators of rational solutions of linear difference systems of an arbitrary order. Zbl 1261.65134
Abramov, S. A.; Khmelnov, D. E.
2012
Resolution of an algebraic singularity by power geometry algorithms. Zbl 1253.13022
Bruno, A. D.; Batkhin, A. B.
2012
On the Goursat classification problem. Zbl 1255.35165
Kaptsov, O. V.
2012
On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol. Zbl 1254.35135
Ganzha, E. I.
2012
Laplace transformations as the only degenerate Darboux transformations of first order. Zbl 1255.35015
Shemyakova, Ekaterina
2012
Probabilistic generalization of formal concepts. Zbl 1252.68289
Vityaev, E. E.; Demin, A. V.; Ponomaryov, D. K.
2012
Programming for modular reconfigurable robots. Zbl 1251.68256
Gorbenko, A. A.; Popov, V. Yu.
2012
Solving large linear algebraic systems in the context of integrable non-abelian Laurent ODEs. Zbl 1256.65074
Wolf, Thomas; Schrüfer, Eberhard; Webster, Kenneth
2012
Higher-level supercompilation as a metasystem transition. Zbl 1253.68088
Klyuchnikov, I. G.; Romanenko, S. A.
2012
Rational solutions of linear difference equations: universal denominators and denominator bounds. Zbl 1247.65156
Abramov, S. A.; Gheffar, A.; Khmelnov, D. E.
2011
A survey of methods for constructing covering arrays. Zbl 1242.68069
Kuliamin, V. V.; Petukhov, A. A.
2011
Indefinite summation of rational functions with factorization of denominators. Zbl 1251.68308
Polyakov, S. P.
2011
The research seminar on computer algebra in 2009-2010. Zbl 1242.00036
Abramov, S. A.; Bogolyubskaya, A. A.; Edneral, V. F.; Rostovtsev, V. A.
2011
On an equivalence checking technique for algebraic models of programs. Zbl 1251.68105
Podlovchenko, R. I.
2011
Calculation of first integrals of a two-dimensional ODE system near a degenerate stationary point by computer algebra tools. Zbl 1248.65072
Edneral, V. F.; Romanovski, V. G.
2011
On frequency analysis of sequential program code execution. Zbl 1242.68060
Smelyanskiy, R. L.
2011
...and 264 more Documents
all top 5

### Cited by 726 Authors

 30 Abramov, Sergeĭ Aleksandrovich 18 Gerdt, Vladimir Petrovich 16 Okhotin, Alexander 14 Prokopenya, Alexander N. 12 Kostenko, V. A. 12 Podlovchenko, Rimma Ivanovna 11 Batkhin, Alexandr B. 9 Kytmanov, Alexey Alexandrovich 9 Ryabenko, Anna A. 8 Bruno, Alexander Dmitrievich 8 Furugyan, M. G. 8 Gutnik, Sergey A. 7 Barkatou, Moulay A. 7 Sarychev, Vasily A. 7 Shemyakova, Ekaterina 6 Kossatchev, Alexander S. 6 Minglibayev, Mukhtar Zh. 6 Rostovtsev, Vitaly A. 6 Toporkov, V. V. 6 Yanovich, Denis A. 6 Zakharov, Vladimir A. 5 Blinkov, Yuri A. 5 Bokut, Leonid A. 5 Bourdonov, Igor B. 5 Edneral, Victor F. 5 Kutepov, V. P. 5 Likhoded, Nikolaĭ Aleksandrovich 5 Myshkina, Evgeniya Konstantinovna 5 Panferov, Anton A. 5 Petkovšek, Marko 4 Adutskevich, E. V. 4 Anureev, Igor’ Sergeevich 4 Budzko, Dzmitry A. 4 Buj, Dmytro B. 4 Chen, Shaoshi 4 Chen, Yuqun 4 Deveci, Ömür 4 Jeż, Artur 4 Kolesov, Nikolai V. 4 Kulyabov, Dmitry S. 4 Lisitsa, Alexei P. 4 Shishkina, Ol’ga Andreevna 4 Sokolov, Andreĭ Vladimirovich 4 Yushchenko, E. L. 4 Zima, Eugene V. 4 Zinin, Mikhail V. 3 Aksenova, E. A. 3 Avetisyan, A. I. 3 Babenko, Mikhail 3 Bogolyubskaya, A. A. 3 Cluzeau, Thomas 3 Galkin, V. V. 3 Gao, Xiaoshan 3 Gheffar, Amal 3 Giesbrecht, Mark W. 3 Glushkov, Viktor Mikhaĭlovich 3 Gruzlikov, Alexander M. 3 Gusev, Alexander A. 3 Han, Maoan 3 Ivannikov, Viktor Petrovich 3 Kaptsov, Oleg Viktorovich 3 Khachatryan, V. E. 3 Koepf, Wolfram A. 3 Korolkova, Anna V. 3 Kozin, I. V. 3 Kuchukov, Viktor 3 Kuzovatov, Vyacheslav Igor’evich 3 Kytmanov, Aleksandr Mechislavovich 3 Marchenkov, Sergeĭ Serafimovich 3 Milovanović, Emina I. 3 Milovanović, Igor Ž. 3 Nepomniaschaya, Anna Shmilevna 3 Nepomniaschy, Valery A. 3 Paramonov, Serge V. 3 Popiel, Tomasz 3 Red’ko, V. N. 3 Rusakov, Dmitry M. 3 Seiler, Werner M. 3 Semenov, Artem S. 3 Shokurov, A. V. 3 Sidorova, Elena A. 3 Singer, Michael F. 3 Smelyanskij, R. L. 3 Stojčev, Mile K. 3 Tarasyuk, Igor’ Valer’evich 3 van Hoeij, Mark 3 Vinitsky, Sergue I. 3 Zelenov, Sergey V. 2 Achasova, S. M. 2 Aküzüm, Yeşim 2 Andon, F. I. 2 Bächler, Thomas 2 Barash, Mikhail 2 Borisenko, G. V. 2 Bronstein, Manuel Eric 2 Chen, Yongshan 2 Chuluunbaatar, Ochbadrakh 2 Chyzak, Frédéric 2 Contopoulos, George 2 Demakov, Alexey V. ...and 626 more Authors
all top 5

### Cited in 127 Journals

 192 Programming and Computer Software 28 Journal of Symbolic Computation 25 Journal of Computer and Systems Sciences International 23 Cybernetics 22 Cybernetics and Systems Analysis 20 Theoretical Computer Science 14 Journal of Mathematical Sciences (New York) 10 Moscow University Computational Mathematics and Cybernetics 9 Automation and Remote Control 8 Computational Mathematics and Mathematical Physics 8 Mathematics in Computer Science 7 Advances in Applied Mathematics 7 Journal of Siberian Federal University. Mathematics & Physics 6 Journal of Algebra 6 Mathematics and Computers in Simulation 5 Applicable Algebra in Engineering, Communication and Computing 5 Lobachevskii Journal of Mathematics 4 Computers & Mathematics with Applications 4 Applied Mathematics and Computation 4 International Journal of Foundations of Computer Science 3 Information Processing Letters 3 Theoretical and Mathematical Physics 3 Journal of Soviet Mathematics 3 Computer Aided Geometric Design 3 Computational Mathematics and Modeling 3 Numerical Algorithms 3 Linear Algebra and its Applications 3 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 3 Annals of Mathematics and Artificial Intelligence 3 Doklady Mathematics 3 Theory of Computing Systems 3 Journal of Systems Science and Complexity 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 ACM Communications in Computer Algebra 3 Prikladnaya Diskretnaya Matematika 2 Discrete Mathematics 2 Linear and Multilinear Algebra 2 Mathematical Notes 2 Moscow University Mathematics Bulletin 2 Mathematics of Computation 2 Automatica 2 Illinois Journal of Mathematics 2 Journal of Computational and Applied Mathematics 2 Journal of Computer and System Sciences 2 Physica D 2 Information and Computation 2 Mathematical and Computer Modelling 2 Discrete Mathematics and Applications 2 Applied Intelligence 2 Russian Journal of Mathematical Physics 2 Regular and Chaotic Dynamics 2 Communications in Nonlinear Science and Numerical Simulation 2 Journal of Nonlinear Mathematical Physics 2 Mathematical Modelling and Analysis 2 Journal of Algebra and its Applications 2 Science China. Mathematics 2 Modelirovanie i Analiz Informatsionnykh Sistem 2 Russian Journal of Nonlinear Dynamics 1 Modern Physics Letters A 1 Artificial Intelligence 1 Communications in Algebra 1 Computer Physics Communications 1 International Journal of Systems Science 1 Israel Journal of Mathematics 1 Journal of Mathematical Physics 1 Journal of Statistical Physics 1 Letters in Mathematical Physics 1 Mathematical Biosciences 1 Physics Letters. A 1 Reports on Mathematical Physics 1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki 1 Prikladnaya Matematika i Mekhanika 1 BIT 1 Calcolo 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Approximation Theory 1 Journal of Optimization Theory and Applications 1 Journal of Pure and Applied Algebra 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Siberian Mathematical Journal 1 Topology and its Applications 1 Annals of Pure and Applied Logic 1 Journal of Computer Science and Technology 1 Computers & Operations Research 1 Journal of Automated Reasoning 1 The Visual Computer 1 Annals of Operations Research 1 Differential Geometry and its Applications 1 Discrete Event Dynamic Systems 1 European Journal of Operational Research 1 Advances in Engineering Software 1 Russian Mathematics 1 Journal of Logic, Language and Information 1 Advances in Applied Clifford Algebras 1 Filomat 1 Advances in Computational Mathematics 1 Journal of Difference Equations and Applications 1 Journal of Mathematical Chemistry 1 Soft Computing ...and 27 more Journals
all top 5

### Cited in 52 Fields

 400 Computer science (68-XX) 64 Commutative algebra (13-XX) 63 Numerical analysis (65-XX) 40 Ordinary differential equations (34-XX) 36 Operations research, mathematical programming (90-XX) 35 Field theory and polynomials (12-XX) 35 Mechanics of particles and systems (70-XX) 34 Partial differential equations (35-XX) 29 Difference and functional equations (39-XX) 24 Special functions (33-XX) 24 Dynamical systems and ergodic theory (37-XX) 21 Associative rings and algebras (16-XX) 20 Systems theory; control (93-XX) 19 Combinatorics (05-XX) 18 Mathematical logic and foundations (03-XX) 17 Number theory (11-XX) 14 Algebraic geometry (14-XX) 13 Quantum theory (81-XX) 11 Linear and multilinear algebra; matrix theory (15-XX) 10 Nonassociative rings and algebras (17-XX) 8 Approximations and expansions (41-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Biology and other natural sciences (92-XX) 6 Group theory and generalizations (20-XX) 6 Functions of a complex variable (30-XX) 6 Differential geometry (53-XX) 6 Information and communication theory, circuits (94-XX) 5 Operator theory (47-XX) 5 Optics, electromagnetic theory (78-XX) 4 History and biography (01-XX) 4 General algebraic systems (08-XX) 4 Probability theory and stochastic processes (60-XX) 4 Statistics (62-XX) 3 Topological groups, Lie groups (22-XX) 3 Several complex variables and analytic spaces (32-XX) 3 Convex and discrete geometry (52-XX) 3 General topology (54-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 General and overarching topics; collections (00-XX) 2 Category theory; homological algebra (18-XX) 2 Real functions (26-XX) 2 Integral transforms, operational calculus (44-XX) 2 Functional analysis (46-XX) 2 Geometry (51-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Mechanics of deformable solids (74-XX) 2 Classical thermodynamics, heat transfer (80-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Fluid mechanics (76-XX) 1 Relativity and gravitational theory (83-XX)