×

zbMATH — the first resource for mathematics

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,300 Publications (since 1976)
References Indexed: 404 Publications with 7,772 References.
all top 5

Latest Issues

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)
31, No. 1 (2005)
30, No. 6 (2004)
30, No. 5 (2004)
30, No. 4 (2004)
30, No. 3 (2004)
30, No. 2 (2004)
30, No. 1 (2004)
29, No. 6 (2003)
...and 104 more Volumes
all top 5

Authors

30 Abramov, Sergeĭ Aleksandrovich
30 Podlovchenko, Rimma Ivanovna
20 Gerdt, Vladimir P.
17 Prokopenya, Alexander N.
15 Khmelnov, Dennis E.
11 Nepomnyashchy, V. A.
10 Kornyak, Vladimir V.
10 Kossatchev, Alexander S.
10 Krinitskij, N. A.
10 Zamulin, Aleksandr Vasil’evich
9 Blinkov, Yuri A.
9 Bourdonov, Igor B.
9 Yanovich, Denis A.
8 Batkhin, Alexandr B.
8 Burgin, Mark
8 Edneral, Victor F.
8 Kostenko, V. A.
8 Kutepov, V. P.
8 Kytmanov, Alexey Alexandrovich
8 Nigiyan, Semyon A.
8 Nikitchenko, Nikolaj S.
8 Rostovtsev, Vitaly A.
8 Ryabenko, Anna A.
8 Virbitskaite, Irina B.
7 Anureev, Igor S.
7 Ivannikov, Viktor Petrovich
7 Kasyanov, Victor N.
7 Khachatryan, V. E.
7 Kuliamin, Victor V.
7 Kulyabov, Dmitry S.
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 Bruno, Alexander Dmitrievich
6 Buslenko, Nikolai Pantelejmonovich
6 Kalinichenko, Leonid A.
6 Kalinov, A. Ya.
6 Kondrat’eva, Marina Vladimirovna
6 Korolkova, Anna V.
6 Lavrov, Svyatoslav Sergeevich
6 Pottosin, Igor V.
6 Smelyanskij, R. L.
6 Zakharov, Vladimir A.
6 Zhogolev, Evgenii Andreevich
5 Gajsaryan, S. S.
5 Galaktionov, Vladimir Aleksandrovich
5 Gutnik, Sergey A.
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 Sarychev, Vasily A.
5 Serebryakov, V. A.
5 Toporkov, V. V.
5 Zima, Eugene V.
4 Arlazarov, Vladimir L’vovich
4 Avetisyan, A. I.
4 Bandman, Olga L.
4 Bogolyubskaya, A. A.
4 Chernobrod, L. V.
4 Galatenko, V. A.
4 Garanina, Natalia O.
4 Glushkova, V. N.
4 Grinev, M. N.
4 Gusev, Alexander A.
4 Korablin, Yu. P.
4 Kulyamin, V. V.
4 Lel’chuk, T. I.
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 Sevastyanov, Leonid A.
4 Shalyto, A. A.
4 Shemyakova, E. S.
4 Shemyakova, Ekaterina
4 Shilov, Nikolay V.
4 Skopin, I. N.
4 Terekhov, Andrey N.
4 Trakhtengerts, Eh. A.
4 Tyugu, Ènn Kharal’dovich
4 Vasenin, V. A.
4 Vilenkin, S. Ya.
4 Vinitsky, Sergue I.
4 Zadorozhnii, V. I.
4 Zelenov, Sergey V.
...and 1,183 more Authors
all top 5

Fields

1,177 Computer science (68-XX)
79 Numerical analysis (65-XX)
45 Commutative algebra (13-XX)
39 Ordinary differential equations (34-XX)
31 Mathematical logic and foundations (03-XX)
25 Field theory and polynomials (12-XX)
23 Partial differential equations (35-XX)
21 History and biography (01-XX)
20 Mechanics of particles and systems (70-XX)
19 Special functions (33-XX)
14 Information and communication theory, circuits (94-XX)
13 Difference and functional equations (39-XX)
13 Operations research, mathematical programming (90-XX)
11 Dynamical systems and ergodic theory (37-XX)
10 Combinatorics (05-XX)
10 Quantum theory (81-XX)
10 Systems theory; control (93-XX)
8 Algebraic geometry (14-XX)
8 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)
5 Order, lattices, ordered algebraic structures (06-XX)
5 Associative rings and algebras (16-XX)
5 Functions of a complex variable (30-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)
3 General and overarching topics; collections (00-XX)
3 Real functions (26-XX)
3 Approximations and expansions (41-XX)
3 Fluid mechanics (76-XX)
3 Optics, electromagnetic theory (78-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 Integral transforms, operational calculus (44-XX)
2 Geometry (51-XX)
1 General algebraic systems (08-XX)
1 Topological groups, Lie groups (22-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Harmonic analysis on Euclidean spaces (42-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 Statistics (62-XX)
1 Mechanics of deformable solids (74-XX)

Publications by Year

Citations contained in zbMATH Open

345 Publications have been cited 784 times in 547 Documents Cited by Year
Conjunctive grammars and systems of language equations. Zbl 1036.68063
Okhotin, A. S.
18
2002
Rational solutions of linear difference and \(q\)-differential equations with polynomial coefficients. Zbl 0910.65107
Abramov, S. A.
17
1995
Scheduling algorithms for real-time computing systems admitting simulation models. Zbl 1311.68037
Kostenko, V. A.
11
2013
Search for polynomial solutions of linear functional systems by means of induced recurrences. Zbl 1101.68990
Khmelnov, D. E.
10
2004
Rational solutions of linear difference equations: universal denominators and denominator bounds. Zbl 1247.65156
Abramov, S. A.; Gheffar, A.; Khmelnov, D. E.
10
2011
Ant algorithms: theory and applications. Zbl 1120.90051
Shtovba, S. D.
9
2005
Fast search for the Janet divisor. Zbl 1024.13009
Gerdt, V. P.; Yanovich, D. A.; Blinkov, Yu. A.
9
2001
Involutive systems of algebraic equations. Zbl 0828.13020
Zharkov, A. Yu.; Blinkov, Yu. A.
9
1994
Linear differential and difference systems: \(\mathrm{EG}_\delta\)- and \(\mathrm{EG}_\sigma\)-eliminations. Zbl 1311.34027
Abramov, S. A.; Khmelnov, D. E.
9
2013
Parameterization of the discriminant set of a polynomial. Zbl 1401.13080
Batkhin, A. B.
9
2016
Denominators of rational solutions of linear difference systems of an arbitrary order. Zbl 1261.65134
Abramov, S. A.; Khmelnov, D. E.
9
2012
Animated rotations using quaternions and splines on a 4D sphere. Zbl 0875.68913
Nielson, G. M.; Heiland, R. W.
8
1992
Universal numerical algorithms and their software implementation. Zbl 0968.68194
Litvinov, G. L.; Maslova, E. V.
8
2000
Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem. Zbl 1325.70028
Budzko, D. A.; Prokopenya, A. N.
8
2013
Hamiltonian normalization in the restricted many-body problem by computer algebra methods. Zbl 1329.70036
Prokopenya, A. N.
8
2012
The calculus of functional systems and parallel algorithms. Zbl 0397.68006
Kutepov, V. P.
7
1976
Involutive divisions of monomials. Zbl 0972.68193
Gerdt, V. P.; Blinkov, Yu. A.
7
1998
Symbolic-numerical analysis of equilibrium solutions in a restricted four-body problem. Zbl 1343.70012
Budzko, D. A.; Prokopenya, A. N.
7
2010
An algorithm for calculating power sums of roots for a class of systems of nonlinear equations. Zbl 1206.65156
Kytmanov, A. A.
7
2010
Involutive method for computing Gröbner bases over \(\mathbb F_2\). Zbl 1185.68868
Gerdt, V. P.; Zinin, M. V.
7
2008
Symbolic calculations in studying the problem of three bodies with variable masses. Zbl 1353.70003
Prokopenya, A. N.; Minglibayev, M. Zh.; Mayemerova, G. M.
7
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.
6
2005
Verification as a parameterized testing (experiments with the SCP4 supercompiler). Zbl 1120.68383
Lisitsa, A. P.; Nemytykh, A. P.
6
2007
Obstacles to the factorization of partial differential operators into several factors. Zbl 1130.35007
Shemyakova, E. S.; Wincler, F.
6
2007
A hierarchy of program models. Zbl 0469.68015
Podlovchenko, R. I.
6
1981
Test generation for compilers and other formal text processors. Zbl 1063.68042
Zelenov, S. V.; Zelenova, S. A.; Kosachev, A. S.; Petrenko, A. K.
6
2003
Regular solutions of linear differential systems with power series coefficients. Zbl 1317.34019
Abramov, S. A.; Khmelnov, D. E.
6
2014
Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite. Zbl 1308.65228
Gutnik, S. A.; Sarychev, V. A.
6
2014
A survey of methods for constructing covering arrays. Zbl 1242.68069
Kuliamin, V. V.; Petukhov, A. A.
6
2011
Search of rational solutions to differential and difference systems by means of formal series. Zbl 1344.34023
Abramov, Sergey A.
6
2015
Some symbolic computation algorithms in cosmic dynamics problems. Zbl 1103.68992
Prokopenya, A. N.
5
2006
Effectiveness of involutive criteria in computation of polynomial Janet bases. Zbl 1103.68987
Gerdt, V. P.; Yanovich, D. A.
5
2006
Formalization of test experiments. Zbl 1154.68340
Bourdonov, I. B.; Kossatchev, A. S.; Kuliamin, V. V.
5
2007
Semigroup program models. Zbl 0482.68016
Podlovchenko, R. I.
5
1981
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.
5
1998
On the \(q\)-analogue of Zeilberger’s algorithm to rational functions. Zbl 0985.33014
Le, H. Q.
5
2001
Synthesizing structures of real-time computer systems using genetic algorithms. Zbl 0968.68195
Kostenko, V. A.; Smelyanskii, R. L.; Trekin, A. G.
5
2000
On an algorithmic optimization in computation of involutive bases. Zbl 1037.68063
Gerdt, V. P.
5
2002
Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals. Zbl 1204.13001
Zobnin, A. I.
5
2010
Secure cloud computing based on threshold homomorphic encryption. Zbl 1370.94547
Varnovskiy, N. P.; Martishin, S. A.; Khrapchenko, M. V.; Shokurov, A. V.
5
2015
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.
5
2016
Resolution of an algebraic singularity by power geometry algorithms. Zbl 1253.13022
Bruno, A. D.; Batkhin, A. B.
5
2012
Membership problem for differential ideals generated by a composition of polynomials. Zbl 1099.13044
Kondratieva, M. V.; Zobnin, A. I.
4
2006
Normal forms and integrability of ODE systems. Zbl 1120.34026
Bruno, A. D.; Edneral, V. F.
4
2006
Tensor computations in computer algebra systems. Zbl 1301.68280
Korol’kova, A. V.; Kulyabov, D. S.; Sevast’yanov, L. A.
4
2013
Composition semantics of programming languages. Zbl 0517.68033
Nikitchenko, N. S.
4
1982
The problem of schedule construction in the joint design of hardware and software. Zbl 1037.68009
Kostenko, V. A.
4
2002
On the construction of complete systems of equivalent transformations of program schemes. Zbl 0909.68027
Podlovchenko, R. I.; Airapetyan, M. G.
4
1996
Method of separative monomials for involutive divisions. Zbl 0991.68158
Blinkov, Yu. A.
4
2001
Investigation of center manifolds of three-dimensional systems using computer algebra. Zbl 1323.68623
Romanovski, V. G.; Mencinger, M.; Ferčec, B.
4
2013
Systems of generators for ideals of algebra of convergent differential series. Zbl 1323.68609
Kaptsov, O. V.
4
2014
Differential equation systems with selected part of the unknowns. Zbl 1362.65072
Panferov, A. A.
4
2015
Indefinite summation of rational functions with factorization of denominators. Zbl 1251.68308
Polyakov, S. P.
4
2011
Generation of difference schemes for the Burgers equation by constructing Gröbner bases. Zbl 1101.65086
Blinkov, Yu. A.; Mozzhilkin, V. V.
3
2006
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.
3
2006
Symbolic computation in studying stability of solutions of linear differential equations with periodic coefficients. Zbl 1137.65390
Prokopenya, A. N.
3
2007
The Fibonacci-Padovan sequence and MacWilliams transform matrices. Zbl 1137.11304
Gogin, N. D.; Myllari, A. A.
3
2007
Improved universal denominators. Zbl 1147.68877
Abramov, S. A.; Polyakov, S. P.
3
2007
Computable compositions and universal program logics. Zbl 0551.68028
Nikitchenko, N. S.
3
1983
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.
3
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.
3
2003
Distribution of operations and data arrays over processors. Zbl 1101.68386
Likhoded, N. A.
3
2003
A language of graph schemes of parallel algorithms. Zbl 0419.68039
Kutepov, V. P.; Korablin, Yu. P.
3
1978
Verification of file manipulation programs in the language PASCAL. Zbl 0469.68013
Nepomnyashchii, V. A.
3
1981
A comparison of associative computation models. Zbl 0973.68522
Nepomniaschaya, A. Sh.; Vladyko, M. A.
3
1997
A complex of algorithms for computations in Lie superalgebras. Zbl 0973.17001
Zolotykh, A. A.; Mikhalev, A. A.
3
1997
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.
3
1997
Finding and using directed cuts of real graphs of algorithms. Zbl 0973.68513
Frolov, A. V.
3
1997
The scientific research seminar on computer algebra in 1997-1998. Zbl 0972.68814
Abramov, S. A.; Rostovtsev, V. A.
3
1998
On Ore rings, linear operators and factorization. Zbl 0828.16035
Bronstein, Manuel; Petkovšek, Marko
3
1994
Problems that appear during factorization of ordinary linear differential operators. Zbl 0864.12004
Tsarev, S. P.
3
1994
Design and analysis of systolic algorithms and structures. Zbl 0739.68039
Sedukhin, S. G.
3
1991
Survey of architectures of parallel database systems. Zbl 1066.68040
Sokolinskij, L. B.
3
2004
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.
3
1999
Metalinear schemes with transfer of constants. Zbl 0577.68031
Lisovik, L. P.
3
1985
SWITCH technology: An automated approach to developing software for reactive systems. Zbl 1038.68036
Shalyto, A. A.; Tukkel’, N. I.
3
2001
Parallelization of an algorithm for computation of involutive Janet bases. Zbl 1037.68159
Yanovich, D. A.
3
2002
Equivalent transformations of program schemes for “Entangling” programs. Zbl 1037.68010
Podlovchenko, R. I.
3
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.
3
2002
Solution of systems of linear equations by the \(p\)-adic method. Zbl 1065.68117
Malaschonok, G. I.
3
2003
Some algorithms for calculating unitary matrices for quantum circuits. Zbl 1214.68471
Gerdt, V. P.; Prokopenya, A. N.
3
2010
Specialized computer algebra system GINV. Zbl 1185.68867
Blinkov, Yu. A.; Gerdt, V. P.
3
2008
The grid: Analysis of basic principles and ways of application. Zbl 1185.68037
Kovalenko, V. N.; Koryagin, D. A.
3
2009
On rational solutions of linear partial differential or difference equations. Zbl 1311.35048
Paramonov, S. V.
3
2013
Bounded monotone recursion and multihead automata. Zbl 1311.03069
Marchenkov, S. S.
3
2013
Some algorithms for analysis and synthesis of real-time multiprocessor computing systems. Zbl 1323.68050
Furugyan, M. G.
3
2014
The research seminar on computer algebra in 2009-2010. Zbl 1242.00036
Abramov, S. A.; Bogolyubskaya, A. A.; Edneral, V. F.; Rostovtsev, V. A.
3
2011
Systems with priorities: conformance, testing, and composition. Zbl 1183.68095
Bourdonov, I. B.; Kossatchev, A. S.
3
2009
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.
3
2015
Algorithmic issues of AND-decomposition of Boolean formulas. Zbl 1339.94099
Emelyanov, P. G.; Ponomaryov, D. K.
3
2015
Investigation of a real algebraic surface. Zbl 1349.14178
Batkhin, A. B.; Bruno, A. D.
3
2015
Partitions of the set of selected unknowns in linear differential-algebraic systems. Zbl 1345.34010
Panferov, A. A.
3
2016
On the Goursat classification problem. Zbl 1255.35165
Kaptsov, O. V.
3
2012
On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol. Zbl 1254.35135
Ganzha, E. I.
3
2012
Program schemes with constants. Zbl 1103.68468
Podlovchenko, R. I.; Rusakov, D. M.
2
2005
Measuring the execution time of fragmented programs. Zbl 1103.68470
Toporkov, V. V.; Toporkova, A. S.
2
2005
In memory of Manuel Bronstein. Zbl 1208.01020
Abramov, S. A.
2
2006
Symbolic computation with sequences. Zbl 1103.68991
Petkovšek, M.
2
2006
Construction of exact partial solutions of nonintegrable systems by means of formal Laurent and Puiseux series. Zbl 1122.34300
Vernov, S. Yu.
2
2006
A consistent generation of pipeline parallelism and distribution of operations and data among processors. Zbl 1103.68375
Adutskevich, E. V.; Likhoded, N. A.
2
2006
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.
1
2020
Normalization of a periodic Hamiltonian system. Zbl 1459.37048
Bruno, A. D.
1
2020
A modular extension for a computer algebra system. Zbl 1455.68283
Gevorkyan, M. N.; Korolkova, A. V.; Kulyabov, D. S.; Sevast’yanov, L. A.
1
2020
Algorithm for constructing an analogue of the Binet formula. Zbl 07288803
Kuzovatov, V. I.; Kytmanov, A. A.; Kuzovatova, O. I.
1
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.
1
2020
Minimal representations and algebraic relations for single nested products. Zbl 07288807
Schneider, Carsten
1
2020
Computation of involutive and Gröbner bases using the tableau representation of polynomials. Zbl 1455.13049
Yanovich, D. A.
1
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.
1
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.
1
2019
Canonical representation of polynomial expressions with indices. Zbl 1455.68289
Shpiz, G.; Kryukov, A.
1
2019
Parameterization of a set determined by the generalized discriminant of a polynomial. Zbl 1455.13050
Batkhin, A. B.
1
2018
Computational problems of multivariate hypergeometric theory. Zbl 1458.68286
Sadykov, T. M.
1
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.
1
2018
Algorithms for solving an algebraic equation. Zbl 1455.68281
Bruno, A. D.
1
2018
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.
2
2017
Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. Zbl 1455.70013
Gutnik, S. A.; Sarychev, V. A.
1
2017
MathPartner computer algebra. Zbl 1455.68286
Malaschonok, G. I.
1
2017
Investigation of the restricted problem of three bodies of variable masses using computer algebra. Zbl 07286984
Prokopenya, A. N.; Minglibayev, M. Zh.; Mayemerova, G. M.; Imanova, Zh. U.
1
2017
Local search gradient algorithm based on functional voxel modeling. Zbl 1455.68234
Grigor’ev, S. N.; Tolok, A. V.; Tolok, N. B.
1
2017
Parameterization of the discriminant set of a polynomial. Zbl 1401.13080
Batkhin, A. B.
9
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.
5
2016
Partitions of the set of selected unknowns in linear differential-algebraic systems. Zbl 1345.34010
Panferov, A. A.
3
2016
Using two types of computer algebra systems to solve Maxwell optics problems. Zbl 1344.78021
Kulyabov, D. S.
1
2016
“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets. Zbl 1451.68194
Virbitskaite, I. B.; Borovlev, V. A.; Popova-Zeugmann, L.
1
2016
Search of rational solutions to differential and difference systems by means of formal series. Zbl 1344.34023
Abramov, Sergey A.
6
2015
Secure cloud computing based on threshold homomorphic encryption. Zbl 1370.94547
Varnovskiy, N. P.; Martishin, S. A.; Khrapchenko, M. V.; Shokurov, A. V.
5
2015
Differential equation systems with selected part of the unknowns. Zbl 1362.65072
Panferov, A. A.
4
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.
3
2015
Algorithmic issues of AND-decomposition of Boolean formulas. Zbl 1339.94099
Emelyanov, P. G.; Ponomaryov, D. K.
3
2015
Investigation of a real algebraic surface. Zbl 1349.14178
Batkhin, A. B.; Bruno, A. D.
3
2015
On exponential-logarithmic solutions of linear differential systems with power series coefficients. Zbl 1344.34024
Ryabenko, A. A.
2
2015
Invertible Darboux transformations of type I. Zbl 1406.44003
Shemyakova, E. S.
2
2015
Parallel computations on a graph. Zbl 1339.68080
Bourdonov, I.; Kossatchev, A.; Kulyamin, V.
1
2015
Comparative trace semantics of time Petri nets. Zbl 1339.68183
Bushin, D. I.; Virbitskaite, I. B.
1
2015
Supercompilation for Martin-Lof’s type theory. Zbl 1339.68042
Klyuchnikov, I. G.; Romanenko, S. A.
1
2015
Representation of segment Voronoi diagram by Bézier curves. Zbl 1339.68276
Mestetskii, L. M.
1
2015
Algorithm for checking triviality of “mixed” ideals in the ring of differential polynomials. Zbl 1359.12002
Zobnin, Alexey I.; Limonov, M. A.
1
2015
Simulation of a quantum algorithm for phase estimation. Zbl 1362.68083
Prokopenya, Alexander N.
1
2015
Qualitative investigation of a gene model using computer algebra algorithms. Zbl 1339.92049
Boulier, Francois; Han, M.; Lemaire, Francois; Romanovski, Valery G.
1
2015
Compact representation of polynomials for algorithms for computing Gröbner and involutive bases. Zbl 1362.68298
Yanovich, D. A.
1
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.
7
2014
Regular solutions of linear differential systems with power series coefficients. Zbl 1317.34019
Abramov, S. A.; Khmelnov, D. E.
6
2014
Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite. Zbl 1308.65228
Gutnik, S. A.; Sarychev, V. A.
6
2014
Systems of generators for ideals of algebra of convergent differential series. Zbl 1323.68609
Kaptsov, O. V.
4
2014
Some algorithms for analysis and synthesis of real-time multiprocessor computing systems. Zbl 1323.68050
Furugyan, M. G.
3
2014
Jitter minimization in scheduling computations in real-time systems. Zbl 1323.68055
Kolesov, N. V.; Tolmacheva, M. V.; Yukhta, P. V.
2
2014
Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models. Zbl 1323.68224
Podlovchenko, R. I.
2
2014
Darboux transformations for factorable Laplace operators. Zbl 1311.35004
Shemyakova, Ekaterina
2
2014
Performance analysis of concurrent systems in algebra dtsiPBC. Zbl 1339.68033
Tarasyuk, I.; Macià, H.; Valero, Valentin
2
2014
Economic model of scheduling and fair resource sharing in distributed computations. Zbl 1323.68058
Toporkov, V. V.; Yemelyanov, D. M.
1
2014
Termination of the F5 algorithm. Zbl 1323.68598
Galkin, V. V.
1
2014
Checking existence of solutions of partial differential equations in the fields of Laurent series. Zbl 1311.35058
Paramonov, S. V.
1
2014
Mechanical proof of planimetric theorems of rational type. Zbl 1323.68463
Osipov, N. N.
1
2014
A symbolic-numerical method for solving the differential equation describing the states of polarizable particle in Coulomb potential. Zbl 1354.34004
Red’kov, V. M.; Chichurin, A. V.
1
2014
Scheduling algorithms for real-time computing systems admitting simulation models. Zbl 1311.68037
Kostenko, V. A.
11
2013
Linear differential and difference systems: \(\mathrm{EG}_\delta\)- and \(\mathrm{EG}_\sigma\)-eliminations. Zbl 1311.34027
Abramov, S. A.; Khmelnov, D. E.
9
2013
Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem. Zbl 1325.70028
Budzko, D. A.; Prokopenya, A. N.
8
2013
Tensor computations in computer algebra systems. Zbl 1301.68280
Korol’kova, A. V.; Kulyabov, D. S.; Sevast’yanov, L. A.
4
2013
Investigation of center manifolds of three-dimensional systems using computer algebra. Zbl 1323.68623
Romanovski, V. G.; Mencinger, M.; Ferčec, B.
4
2013
On rational solutions of linear partial differential or difference equations. Zbl 1311.35048
Paramonov, S. V.
3
2013
Bounded monotone recursion and multihead automata. Zbl 1311.03069
Marchenkov, S. S.
3
2013
Simulation of quantum error correction by means of QuantumCircuit package. Zbl 1301.68279
Gerdt, V. P.; Prokopenya, A. N.
2
2013
Parallel modular computation of Gröbner and involutive bases. Zbl 1323.68631
Yanovich, D. A.
2
2013
Formalization of a test experiment. II. Zbl 1323.68042
Bourdonov, I. B.; Kossatchev, A. S.
2
2013
A package to work with linear partial differential operators. Zbl 1311.65180
Shemyakova, Ekaterina
2
2013
Model of distributed computing system operation with time. Zbl 1311.68033
Smelyansky, R. L.
1
2013
Symbolic-numerical solution of systems of linear ordinary differential equations with required accuracy. Zbl 1301.68281
Malaschonok, N. A.; Rybakov, M. A.
1
2013
Simulation of hierarchical multiprocessor database systems. Zbl 1261.68159
Kostenetskii, P. S.; Sokolinsky, L. B.
1
2013
An algorithm for constructing toric compactifications. Zbl 1323.68610
Kytmanov, A. A.; Shchuplev, A. V.
1
2013
Denominators of rational solutions of linear difference systems of an arbitrary order. Zbl 1261.65134
Abramov, S. A.; Khmelnov, D. E.
9
2012
Hamiltonian normalization in the restricted many-body problem by computer algebra methods. Zbl 1329.70036
Prokopenya, A. N.
8
2012
Resolution of an algebraic singularity by power geometry algorithms. Zbl 1253.13022
Bruno, A. D.; Batkhin, A. B.
5
2012
On the Goursat classification problem. Zbl 1255.35165
Kaptsov, O. V.
3
2012
On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol. Zbl 1254.35135
Ganzha, E. I.
3
2012
Laplace transformations as the only degenerate Darboux transformations of first order. Zbl 1255.35015
Shemyakova, Ekaterina
2
2012
Probabilistic generalization of formal concepts. Zbl 1252.68289
Vityaev, E. E.; Demin, A. V.; Ponomaryov, D. K.
2
2012
Programming for modular reconfigurable robots. Zbl 1251.68256
Gorbenko, A. A.; Popov, V. Yu.
1
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
1
2012
Higher-level supercompilation as a metasystem transition. Zbl 1253.68088
Klyuchnikov, I. G.; Romanenko, S. A.
1
2012
Rational solutions of linear difference equations: universal denominators and denominator bounds. Zbl 1247.65156
Abramov, S. A.; Gheffar, A.; Khmelnov, D. E.
10
2011
A survey of methods for constructing covering arrays. Zbl 1242.68069
Kuliamin, V. V.; Petukhov, A. A.
6
2011
Indefinite summation of rational functions with factorization of denominators. Zbl 1251.68308
Polyakov, S. P.
4
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.
3
2011
On an equivalence checking technique for algebraic models of programs. Zbl 1251.68105
Podlovchenko, R. I.
2
2011
Specification completion for IOCO. Zbl 1242.68152
Bourdonov, I. B.; Kossatchev, A. S.
1
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.
1
2011
On frequency analysis of sequential program code execution. Zbl 1242.68060
Smelyanskiy, R. L.
1
2011
A definite summation of hypergeometric terms of special kind. Zbl 1247.33038
Ryabenko, A. A.
1
2011
\(X\)- and \(Y\)-invariants of partial differential operators in the plane. Zbl 1255.35020
Shemyakova, E. S.
1
2011
Symbolic-numerical analysis of equilibrium solutions in a restricted four-body problem. Zbl 1343.70012
Budzko, D. A.; Prokopenya, A. N.
7
2010
An algorithm for calculating power sums of roots for a class of systems of nonlinear equations. Zbl 1206.65156
Kytmanov, A. A.
7
2010
Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals. Zbl 1204.13001
Zobnin, A. I.
5
2010
Some algorithms for calculating unitary matrices for quantum circuits. Zbl 1214.68471
Gerdt, V. P.; Prokopenya, A. N.
3
2010
An upper bound for minimizing coefficients of the dimension Kolchin polynomial. Zbl 1205.12004
Kondratieva, M. V.
2
2010
On one application of computations with oracle. Zbl 1253.68089
Lisitsa, A. P.; Nemytykh, A. P.
2
2010
Boundedness problems for Minsky counter machines. Zbl 1204.68122
Kuzmin, E. V.; Sokolov, V. A.; Chalyy, D. Yu.
1
2010
Interpretable program specification language. Zbl 1207.68209
Novikov, F. A.; Novoseltsev, V. B.
1
2010
On computation of Boolean involutive bases. Zbl 1214.68472
Gerdt, V. P.; Zinin, M. V.; Blinkov, Yu. A.
1
2010
Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation. Zbl 1251.68079
Podlovchenko, R. I.
1
2010
Formalization of semantics of systems with unreliable agents by means of nets of active resources. Zbl 1251.68152
Bashkin, V. A.
1
2010
...and 245 more Documents
all top 5

Cited by 679 Authors

29 Abramov, Sergeĭ Aleksandrovich
18 Gerdt, Vladimir P.
16 Okhotin, Alexander
13 Prokopenya, Alexander N.
12 Khmelnov, Dennis E.
12 Kostenko, V. A.
12 Podlovchenko, Rimma Ivanovna
8 Batkhin, Alexandr B.
8 Kytmanov, Alexey Alexandrovich
8 Ryabenko, Anna A.
7 Furugyan, M. G.
7 Shemyakova, Ekaterina
6 Barkatou, Moulay A.
6 Gutnik, Sergey A.
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 Bruno, Alexander Dmitrievich
5 Edneral, Victor F.
5 Kossatchev, Alexander S.
5 Kutepov, V. P.
5 Minglibayev, Mukhtar Zh.
5 Myshkina, Evgeniya Konstantinovna
5 Panferov, Anton A.
5 Petkovšek, Marko
5 Sarychev, Vasily A.
4 Budzko, Dzmitry A.
4 Buj, Dmytro B.
4 Chen, Shaoshi
4 Chen, Yuqun
4 Jeż, Artur
4 Yushchenko, E. L.
4 Zima, Eugene V.
4 Zinin, M. V.
3 Adutskevich, E. V.
3 Anureev, Igor S.
3 Avetisyan, A. I.
3 Bogolyubskaya, A. A.
3 Deveci, Ömür
3 Galkin, V. V.
3 Gao, Xiaoshan
3 Garanina, Natalia O.
3 Gheffar, Amal
3 Giesbrecht, Mark W.
3 Glushkov, Viktor Mikhaĭlovich
3 Gusev, Alexander A.
3 Han, Maoan
3 Ivannikov, Viktor Petrovich
3 Khachatryan, V. E.
3 Kolesov, Nikolai V.
3 Kozin, I. V.
3 Kulyabov, Dmitry S.
3 Kuzovatov, Vyacheslav Igor’evich
3 Kytmanov, Aleksandr Mechislavovich
3 Lisitsa, Alexei
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 Rusakov, Dmitry M.
3 Seiler, Werner M.
3 Semenov, Artem S.
3 Shishkina, Ol’ga Andreevna
3 Shokurov, A. V.
3 Sidorova, Elena A.
3 Singer, Michael F.
3 Smelyanskij, R. L.
3 Sokolov, Andreĭ Vladimirovich
3 Stojčev, Mile K.
3 van Hoeij, Mark
3 Vinitsky, Sergue I.
3 Zelenov, Sergey V.
2 Achasova, S. M.
2 Aksenova, E. A.
2 Andon, F. I.
2 Babenko, Mikhail
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 Cluzeau, Thomas
2 Demakov, Alexey V.
2 Emelyanov, Pavel G.
2 Fan, Wen
2 Feng, Ruyong
2 Gaisaryan, S. S.
2 Galaktionov, Vladimir Aleksandrovich
2 Gruzlikov, Alexander M.
2 Heinle, Albert
2 Hernando, Antonio
...and 579 more Authors
all top 5

Cited in 118 Journals

178 Programming and Computer Software
28 Journal of Symbolic Computation
23 Cybernetics
23 Journal of Computer and Systems Sciences International
21 Cybernetics and Systems Analysis
20 Theoretical Computer Science
13 Journal of Mathematical Sciences (New York)
11 Moscow University Computational Mathematics and Cybernetics
9 Automation and Remote Control
8 Computational Mathematics and Mathematical Physics
7 Advances in Applied Mathematics
7 Mathematics in Computer Science
6 Journal of Algebra
6 Journal of Siberian Federal University. Mathematics & Physics
5 Mathematics and Computers in Simulation
5 Applicable Algebra in Engineering, Communication and Computing
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 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 Lobachevskii Journal of Mathematics
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 Information and Computation
2 Mathematical and Computer Modelling
2 Discrete Mathematics and Applications
2 Applied Intelligence
2 Numerical Algorithms
2 Russian Journal of Mathematical Physics
2 Journal of Nonlinear Mathematical Physics
2 Mathematical Modelling and Analysis
2 Journal of Systems Science and Complexity
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Science China. Mathematics
1 Modern Physics Letters A
1 Artificial Intelligence
1 Communications in Algebra
1 Computer Physics Communications
1 International Journal of Systems Science
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 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 Advances in Computational Mathematics
1 Journal of Difference Equations and Applications
1 Journal of Mathematical Chemistry
1 Soft Computing
1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ. Seriya 1
1 Regular and Chaotic Dynamics
1 Communications in Nonlinear Science and Numerical Simulation
1 International Journal of Applied Mathematics and Computer Science
1 RAIRO. Theoretical Informatics and Applications
1 Integers
1 Foundations of Computational Mathematics
1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series
1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika
...and 18 more Journals
all top 5

Cited in 50 Fields

375 Computer science (68-XX)
60 Commutative algebra (13-XX)
59 Numerical analysis (65-XX)
35 Ordinary differential equations (34-XX)
34 Operations research, mathematical programming (90-XX)
32 Field theory and polynomials (12-XX)
31 Partial differential equations (35-XX)
29 Difference and functional equations (39-XX)
26 Mechanics of particles and systems (70-XX)
22 Special functions (33-XX)
19 Associative rings and algebras (16-XX)
18 Dynamical systems and ergodic theory (37-XX)
18 Systems theory; control (93-XX)
17 Mathematical logic and foundations (03-XX)
17 Combinatorics (05-XX)
12 Number theory (11-XX)
12 Algebraic geometry (14-XX)
12 Quantum theory (81-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
8 Nonassociative rings and algebras (17-XX)
8 Approximations and expansions (41-XX)
7 Biology and other natural sciences (92-XX)
6 Order, lattices, ordered algebraic structures (06-XX)
6 Functions of a complex variable (30-XX)
6 Differential geometry (53-XX)
6 Information and communication theory, circuits (94-XX)
5 Group theory and generalizations (20-XX)
4 History and biography (01-XX)
4 General algebraic systems (08-XX)
4 Operator theory (47-XX)
4 Optics, electromagnetic theory (78-XX)
3 Topological groups, Lie groups (22-XX)
3 Real functions (26-XX)
3 Several complex variables and analytic spaces (32-XX)
3 General topology (54-XX)
3 Probability theory and stochastic processes (60-XX)
3 Statistics (62-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 Integral transforms, operational calculus (44-XX)
2 Functional analysis (46-XX)
2 Convex and discrete geometry (52-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 Calculus of variations and optimal control; optimization (49-XX)
1 Geometry (51-XX)
1 Fluid mechanics (76-XX)

Citations by Year