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,312 Publications (since 1976) References Indexed: 416 Publications with 8,103 References. all top 5 Latest Issues 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) 31, No. 1 (2005) 30, No. 6 (2004) ...and 110 more Volumes all top 5 Authors 30 Abramov, Sergeĭ Aleksandrovich 30 Podlovchenko, Rimma Ivanovna 20 Gerdt, Vladimir Petrovich 17 Prokopenya, Alexander N. 15 Khmelnov, Dennis E. 14 Kossatchev, Alexander S. 11 Nepomnyashchy, V. A. 10 Kornyak, Vladimir V. 10 Krinitskij, N. A. 10 Zamulin, Aleksandr Vasil’evich 9 Batkhin, Alexandr B. 9 Blinkov, Yuri A. 9 Bourdonov, Igor B. 9 Yanovich, Denis A. 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 Bruno, Alexander Dmitrievich 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 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 Likhoded, Nikolaĭ Aleksandrovich 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 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 Garanina, Natalia O. 4 Glushkova, V. N. 4 Grinev, M. N. 4 Gusev, Alexander A. 4 Kaptsov, Oleg Viktorovich 4 Korablin, Yu. P. 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 Tchernykh, Andrei 4 Terekhov, Andrey N. 4 Trakhtengerts, Eh. A. 4 Tyugu, Ènn Kharal’dovich ...and 1,203 more Authors all top 5 Fields 1,187 Computer science (68-XX) 81 Numerical analysis (65-XX) 47 Commutative algebra (13-XX) 39 Ordinary differential equations (34-XX) 32 Mathematical logic and foundations (03-XX) 27 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) 16 Information and communication theory, circuits (94-XX) 14 Operations research, mathematical programming (90-XX) 13 Difference and functional equations (39-XX) 11 Dynamical systems and ergodic theory (37-XX) 10 Combinatorics (05-XX) 10 Quantum theory (81-XX) 10 Systems theory; control (93-XX) 9 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 Harmonic analysis on Euclidean spaces (42-XX) 2 Integral transforms, operational calculus (44-XX) 2 Geometry (51-XX) 2 Statistics (62-XX) 1 General algebraic systems (08-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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 349 Publications have been cited 812 times in 570 Documents Cited by ▼ Year ▼ Conjunctive grammars and systems of language equations. Zbl 1036.68063Okhotin, A. S. 18 2002 Rational solutions of linear difference and \(q\)-differential equations with polynomial coefficients. Zbl 0910.65107Abramov, S. A. 17 1995 Scheduling algorithms for real-time computing systems admitting simulation models. Zbl 1311.68037Kostenko, V. A. 11 2013 Rational solutions of linear difference equations: universal denominators and denominator bounds. Zbl 1247.65156Abramov, S. A.; Gheffar, A.; Khmelnov, D. E. 10 2011 Search for polynomial solutions of linear functional systems by means of induced recurrences. Zbl 1101.68990Khmelnov, D. E. 10 2004 Parameterization of the discriminant set of a polynomial. Zbl 1401.13080Batkhin, A. B. 10 2016 Involutive systems of algebraic equations. Zbl 0828.13020Zharkov, A. Yu.; Blinkov, Yu. A. 9 1994 Linear differential and difference systems: \(\mathrm{EG}_\delta\)- and \(\mathrm{EG}_\sigma\)-eliminations. Zbl 1311.34027Abramov, S. A.; Khmelnov, D. E. 9 2013 Fast search for the Janet divisor. Zbl 1024.13009Gerdt, V. P.; Yanovich, D. A.; Blinkov, Yu. A. 9 2001 Denominators of rational solutions of linear difference systems of an arbitrary order. Zbl 1261.65134Abramov, S. A.; Khmelnov, D. E. 9 2012 Hamiltonian normalization in the restricted many-body problem by computer algebra methods. Zbl 1329.70036Prokopenya, A. N. 9 2012 Ant algorithms: theory and applications. Zbl 1120.90051Shtovba, S. D. 9 2005 Symbolic-numerical analysis of equilibrium solutions in a restricted four-body problem. Zbl 1343.70012Budzko, D. A.; Prokopenya, A. N. 8 2010 Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem. Zbl 1325.70028Budzko, D. A.; Prokopenya, A. N. 8 2013 Animated rotations using quaternions and splines on a 4D sphere. Zbl 0875.68913Nielson, G. M.; Heiland, R. W. 8 1992 Universal numerical algorithms and their software implementation. Zbl 0968.68194Litvinov, G. L.; Maslova, E. V. 8 2000 A survey of methods for constructing covering arrays. Zbl 1242.68069Kuliamin, V. V.; Petukhov, A. A. 8 2011 Involutive method for computing Gröbner bases over \(\mathbb F_2\). Zbl 1185.68868Gerdt, V. P.; Zinin, M. V. 7 2008 An algorithm for calculating power sums of roots for a class of systems of nonlinear equations. Zbl 1206.65156Kytmanov, A. A. 7 2010 Symbolic calculations in studying the problem of three bodies with variable masses. Zbl 1353.70003Prokopenya, A. N.; Minglibayev, M. Zh.; Mayemerova, G. M. 7 2014 Involutive divisions of monomials. Zbl 0972.68193Gerdt, V. P.; Blinkov, Yu. A. 7 1998 The calculus of functional systems and parallel algorithms. Zbl 0397.68006Kutepov, V. P. 7 1976 Verification as a parameterized testing (experiments with the SCP4 supercompiler). Zbl 1120.68383Lisitsa, A. P.; Nemytykh, A. P. 6 2007 Obstacles to the factorization of partial differential operators into several factors. Zbl 1130.35007Shemyakova, E. S.; Wincler, F. 6 2007 Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals. Zbl 1204.13001Zobnin, A. I. 6 2010 Regular solutions of linear differential systems with power series coefficients. Zbl 1317.34019Abramov, S. A.; Khmelnov, D. E. 6 2014 Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite. Zbl 1308.65228Gutnik, S. A.; Sarychev, V. A. 6 2014 Resolution of an algebraic singularity by power geometry algorithms. Zbl 1253.13022Bruno, A. D.; Batkhin, A. B. 6 2012 Test generation for compilers and other formal text processors. Zbl 1063.68042Zelenov, S. V.; Zelenova, S. A.; Kosachev, A. S.; Petrenko, A. K. 6 2003 A hierarchy of program models. Zbl 0469.68015Podlovchenko, R. I. 6 1981 An algorithm for scheduling exchanges over a bus with centralized control and an analysis of its efficiency. Zbl 1106.68326Kostenko, V. A.; Gur’yanov, E. S. 6 2005 Search of rational solutions to differential and difference systems by means of formal series. Zbl 1344.34023Abramov, Sergey A. 6 2015 Semigroup program models. Zbl 0482.68016Podlovchenko, R. I. 5 1981 Algorithms for construction of standard Gröbner-Shirshov bases of ideals of free algebras over commutative rings. Zbl 0969.17005Zolotykh, A. A.; Mikhalev, A. A. 5 1998 On the \(q\)-analogue of Zeilberger’s algorithm to rational functions. Zbl 0985.33014Le, H. Q. 5 2001 Synthesizing structures of real-time computer systems using genetic algorithms. Zbl 0968.68195Kostenko, V. A.; Smelyanskii, R. L.; Trekin, A. G. 5 2000 Formalization of test experiments. Zbl 1154.68340Bourdonov, I. B.; Kossatchev, A. S.; Kuliamin, V. V. 5 2007 Some symbolic computation algorithms in cosmic dynamics problems. Zbl 1103.68992Prokopenya, A. N. 5 2006 Effectiveness of involutive criteria in computation of polynomial Janet bases. Zbl 1103.68987Gerdt, V. P.; Yanovich, D. A. 5 2006 On an algorithmic optimization in computation of involutive bases. Zbl 1037.68063Gerdt, V. P. 5 2002 Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients. Zbl 1345.34011Abramov, Sergey A.; Ryabenko, Anna A.; Khmelnov, Dennis E. 5 2016 Secure cloud computing based on threshold homomorphic encryption. Zbl 1370.94547Varnovskiy, N. P.; Martishin, S. A.; Khrapchenko, M. V.; Shokurov, A. V. 5 2015 Normalization of a periodic Hamiltonian system. Zbl 1459.37048Bruno, A. D. 5 2020 On the construction of complete systems of equivalent transformations of program schemes. Zbl 0909.68027Podlovchenko, R. I.; Airapetyan, M. G. 4 1996 The Fibonacci-Padovan sequence and MacWilliams transform matrices. Zbl 1137.11304Gogin, N. D.; Myllari, A. A. 4 2007 Composition semantics of programming languages. Zbl 0517.68033Nikitchenko, N. S. 4 1982 On rational solutions of linear partial differential or difference equations. Zbl 1311.35048Paramonov, S. V. 4 2013 Investigation of center manifolds of three-dimensional systems using computer algebra. Zbl 1323.68623Romanovski, V. G.; Mencinger, M.; Ferčec, B. 4 2013 Systems of generators for ideals of algebra of convergent differential series. Zbl 1323.68609Kaptsov, O. V. 4 2014 Method of separative monomials for involutive divisions. Zbl 0991.68158Blinkov, Yu. A. 4 2001 Indefinite summation of rational functions with factorization of denominators. Zbl 1251.68308Polyakov, S. P. 4 2011 Tensor computations in computer algebra systems. Zbl 1301.68280Korol’kova, A. V.; Kulyabov, D. S.; Sevast’yanov, L. A. 4 2013 Membership problem for differential ideals generated by a composition of polynomials. Zbl 1099.13044Kondratieva, M. V.; Zobnin, A. I. 4 2006 Normal forms and integrability of ODE systems. Zbl 1120.34026Bruno, A. D.; Edneral, V. F. 4 2006 The problem of schedule construction in the joint design of hardware and software. Zbl 1037.68009Kostenko, V. A. 4 2002 Differential equation systems with selected part of the unknowns. Zbl 1362.65072Panferov, A. A. 4 2015 Symbolic computation in studying stability of solutions of linear differential equations with periodic coefficients. Zbl 1137.65390Prokopenya, A. N. 3 2007 Specialized computer algebra system GINV. Zbl 1185.68867Blinkov, Yu. A.; Gerdt, V. P. 3 2008 The grid: Analysis of basic principles and ways of application. Zbl 1185.68037Kovalenko, V. N.; Koryagin, D. A. 3 2009 Computable compositions and universal program logics. Zbl 0551.68028Nikitchenko, N. S. 3 1983 On Ore rings, linear operators and factorization. Zbl 0828.16035Bronstein, Manuel; Petkovšek, Marko 3 1994 Problems that appear during factorization of ordinary linear differential operators. Zbl 0864.12004Tsarev, S. P. 3 1994 Design and analysis of systolic algorithms and structures. Zbl 0739.68039Sedukhin, S. G. 3 1991 Methodology and tools for predicting the execution time of optimized programs. Zbl 1002.68720Balashov, V. V.; Kapitonova, A. P.; Kostenko, V. A.; Smelyanskii, R. L.; Yushchenko, N. V. 3 1999 An upper bound for minimizing coefficients of the dimension Kolchin polynomial. Zbl 1205.12004Kondratieva, M. V. 3 2010 Some algorithms for calculating unitary matrices for quantum circuits. Zbl 1214.68471Gerdt, V. P.; Prokopenya, A. N. 3 2010 Bounded monotone recursion and multihead automata. Zbl 1311.03069Marchenkov, S. S. 3 2013 Some algorithms for analysis and synthesis of real-time multiprocessor computing systems. Zbl 1323.68050Furugyan, M. G. 3 2014 Jitter minimization in scheduling computations in real-time systems. Zbl 1323.68055Kolesov, N. V.; Tolmacheva, M. V.; Yukhta, P. V. 3 2014 Metalinear schemes with transfer of constants. Zbl 0577.68031Lisovik, L. P. 3 1985 A comparison of associative computation models. Zbl 0973.68522Nepomniaschaya, A. Sh.; Vladyko, M. A. 3 1997 A complex of algorithms for computations in Lie superalgebras. Zbl 0973.17001Zolotykh, 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.68192Gerdt, V. P.; Kornyak, V. V. 3 1997 Finding and using directed cuts of real graphs of algorithms. Zbl 0973.68513Frolov, A. V. 3 1997 The scientific research seminar on computer algebra in 1997-1998. Zbl 0972.68814Abramov, S. A.; Rostovtsev, V. A. 3 1998 On the Goursat classification problem. Zbl 1255.35165Kaptsov, O. V. 3 2012 On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol. Zbl 1254.35135Ganzha, E. I. 3 2012 The research seminar on computer algebra in 2009-2010. Zbl 1242.00036Abramov, S. A.; Bogolyubskaya, A. A.; Edneral, V. F.; Rostovtsev, V. A. 3 2011 Solution of systems of linear equations by the \(p\)-adic method. Zbl 1065.68117Malaschonok, G. I. 3 2003 A language of graph schemes of parallel algorithms. Zbl 0419.68039Kutepov, V. P.; Korablin, Yu. P. 3 1978 Verification of file manipulation programs in the language PASCAL. Zbl 0469.68013Nepomnyashchii, V. A. 3 1981 Distribution of operations and data arrays over processors. Zbl 1101.68386Likhoded, N. A. 3 2003 Survey of architectures of parallel database systems. Zbl 1066.68040Sokolinskij, L. B. 3 2004 Improved universal denominators. Zbl 1147.68877Abramov, S. A.; Polyakov, S. P. 3 2007 Generation of difference schemes for the Burgers equation by constructing Gröbner bases. Zbl 1101.65086Blinkov, 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.33014Bogolubsky, A. I.; Skorokhodov, S. L. 3 2006 Systems with priorities: conformance, testing, and composition. Zbl 1183.68095Bourdonov, I. B.; Kossatchev, A. S. 3 2009 SWITCH technology: An automated approach to developing software for reactive systems. Zbl 1038.68036Shalyto, A. A.; Tukkel’, N. I. 3 2001 Parallelization of an algorithm for computation of involutive Janet bases. Zbl 1037.68159Yanovich, D. A. 3 2002 Equivalent transformations of program schemes for “Entangling” programs. Zbl 1037.68010Podlovchenko, 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.68041Avetisyan, A. I.; Gajsaryan, S. S.; Samovarov, O. I. 3 2002 Study of a non-Markovian stack management model in a two-level memory. Zbl 1101.68302Aksenova, E. A.; Lazutina, A. A.; Sokolov, A. V. 3 2004 Towards verification of C programs: Axiomatic semantics of the C-kernel language. Zbl 1099.68544Nepomniaschy, V. A.; Anureev, I. S.; Promskii, A. V. 3 2003 Partitions of the set of selected unknowns in linear differential-algebraic systems. Zbl 1345.34010Panferov, A. A. 3 2016 Performance analysis of concurrent systems in algebra dtsiPBC. Zbl 1339.68033Tarasyuk, I.; Macià, H.; Valero, Valentin 3 2014 Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms. Zbl 1339.68246Garanina, N. O.; Sidorova, E. A. 3 2015 Algorithmic issues of AND-decomposition of Boolean formulas. Zbl 1339.94099Emelyanov, P. G.; Ponomaryov, D. K. 3 2015 Investigation of a real algebraic surface. Zbl 1349.14178Batkhin, A. B.; Bruno, A. D. 3 2015 Strengthening of the theorems on polynomial queries. Zbl 0925.68137Livchak, A. B. 2 1995 Estimation of dynamical characteristics of a parallel program on a model. Zbl 1117.68327Ivannikov, V. P.; Gaisaryan, S. S.; Avetisyan, A. I.; Padaryan, V. A. 2 2006 Normalization of a periodic Hamiltonian system. Zbl 1459.37048Bruno, A. D. 5 2020 Minimal representations and algebraic relations for single nested products. Zbl 1478.33008Schneider, Carsten 2 2020 Procedures for searching Laurent and regular solutions of linear differential equations with the coefficients in the form of truncated power series. Zbl 1462.34028Abramov, S. A.; Ryabenko, A. A.; Khmelnov, D. E. 1 2020 A modular extension for a computer algebra system. Zbl 1455.68283Gevorkyan, M. N.; Korolkova, A. V.; Kulyabov, D. S.; Sevast’yanov, L. A. 1 2020 Algorithm for constructing an analogue of the Binet formula. Zbl 07288803Kuzovatov, 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.70009Prokopenya, A. N. 1 2020 Computation of involutive and Gröbner bases using the tableau representation of polynomials. Zbl 1455.13049Yanovich, D. A. 1 2020 Search for the global extremum using the correlation indicator for neural networks supervised learning. Zbl 1467.68152Vershkov, N.; Babenko, M.; Kuchukov, V.; Kuchukova, N. 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.70030Gutnik, S. A.; Sarychev, V. A. 2 2019 Applications of computer algebra in the study of the two-planet problem of three bodies with variable masses. Zbl 1459.70029Prokopenya, A. N.; Minglibayev, M. Zh.; Shomshekova, S. A. 1 2019 Canonical representation of polynomial expressions with indices. Zbl 1455.68289Shpiz, G.; Kryukov, A. 1 2019 On online algorithms for bin, strip, and box packing, and their worst-case and average-case analysis. Zbl 1455.68279Lazarev, D. O.; Kuzyurin, N. N. 1 2019 Algorithms for solving an algebraic equation. Zbl 1455.68281Bruno, A. D. 2 2018 Parameterization of a set determined by the generalized discriminant of a polynomial. Zbl 1455.13050Batkhin, A. B. 1 2018 Computational problems of multivariate hypergeometric theory. Zbl 1458.68286Sadykov, T. M. 1 2018 Modeling function domain for curves constructed based on a linear combination of basis Bernstein polynomials. Zbl 1455.65033Tolok, A. V.; Tolok, N. B.; Loktev, M. A. 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.39020Kytmanov, A. A.; Lyapin, A. P.; Sadykov, T. M. 2 2017 Revealing matrices of linear differential systems of arbitrary order. Zbl 1455.34002Abramov, S. A.; Ryabenko, A. A.; Khmelnov, D. E. 1 2017 Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. Zbl 1455.70013Gutnik, S. A.; Sarychev, V. A. 1 2017 MathPartner computer algebra. Zbl 1455.68286Malaschonok, G. I. 1 2017 Investigation of the restricted problem of three bodies of variable masses using computer algebra. Zbl 1476.70027Prokopenya, A. N.; Minglibayev, M. Zh.; Mayemerova, G. M.; Imanova, Zh. U. 1 2017 Local search gradient algorithm based on functional voxel modeling. Zbl 1455.68234Grigor’ev, S. N.; Tolok, A. V.; Tolok, N. B. 1 2017 Parameterization of the discriminant set of a polynomial. Zbl 1401.13080Batkhin, A. B. 10 2016 Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients. Zbl 1345.34011Abramov, Sergey A.; Ryabenko, Anna A.; Khmelnov, Dennis E. 5 2016 Partitions of the set of selected unknowns in linear differential-algebraic systems. Zbl 1345.34010Panferov, A. A. 3 2016 Using two types of computer algebra systems to solve Maxwell optics problems. Zbl 1344.78021Kulyabov, D. S. 1 2016 “Truly concurrent” and nondeterministic semantics of discrete-time Petri nets. Zbl 1451.68194Virbitskaite, 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.34023Abramov, Sergey A. 6 2015 Secure cloud computing based on threshold homomorphic encryption. Zbl 1370.94547Varnovskiy, N. P.; Martishin, S. A.; Khrapchenko, M. V.; Shokurov, A. V. 5 2015 Differential equation systems with selected part of the unknowns. Zbl 1362.65072Panferov, A. A. 4 2015 Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms. Zbl 1339.68246Garanina, N. O.; Sidorova, E. A. 3 2015 Algorithmic issues of AND-decomposition of Boolean formulas. Zbl 1339.94099Emelyanov, P. G.; Ponomaryov, D. K. 3 2015 Investigation of a real algebraic surface. Zbl 1349.14178Batkhin, A. B.; Bruno, A. D. 3 2015 Comparative trace semantics of time Petri nets. Zbl 1339.68183Bushin, D. I.; Virbitskaite, I. B. 2 2015 On exponential-logarithmic solutions of linear differential systems with power series coefficients. Zbl 1344.34024Ryabenko, A. A. 2 2015 Invertible Darboux transformations of type I. Zbl 1406.44003Shemyakova, E. S. 2 2015 Parallel computations on a graph. Zbl 1339.68080Bourdonov, I.; Kossatchev, A.; Kulyamin, V. 1 2015 Supercompilation for Martin-Lof’s type theory. Zbl 1339.68042Klyuchnikov, I. G.; Romanenko, S. A. 1 2015 Representation of segment Voronoi diagram by Bézier curves. Zbl 1339.68276Mestetskii, L. M. 1 2015 Algorithm for checking triviality of “mixed” ideals in the ring of differential polynomials. Zbl 1359.12002Zobnin, Alexey I.; Limonov, M. A. 1 2015 Simulation of a quantum algorithm for phase estimation. Zbl 1362.68083Prokopenya, Alexander N. 1 2015 Qualitative investigation of a gene model using computer algebra algorithms. Zbl 1339.92049Boulier, 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.68298Yanovich, D. A. 1 2015 Symbolic calculations in studying the problem of three bodies with variable masses. Zbl 1353.70003Prokopenya, A. N.; Minglibayev, M. Zh.; Mayemerova, G. M. 7 2014 Regular solutions of linear differential systems with power series coefficients. Zbl 1317.34019Abramov, S. A.; Khmelnov, D. E. 6 2014 Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite. Zbl 1308.65228Gutnik, S. A.; Sarychev, V. A. 6 2014 Systems of generators for ideals of algebra of convergent differential series. Zbl 1323.68609Kaptsov, O. V. 4 2014 Some algorithms for analysis and synthesis of real-time multiprocessor computing systems. Zbl 1323.68050Furugyan, M. G. 3 2014 Jitter minimization in scheduling computations in real-time systems. Zbl 1323.68055Kolesov, N. V.; Tolmacheva, M. V.; Yukhta, P. V. 3 2014 Performance analysis of concurrent systems in algebra dtsiPBC. Zbl 1339.68033Tarasyuk, I.; Macià, H.; Valero, Valentin 3 2014 Checking existence of solutions of partial differential equations in the fields of Laurent series. Zbl 1311.35058Paramonov, S. V. 2 2014 Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models. Zbl 1323.68224Podlovchenko, R. I. 2 2014 Darboux transformations for factorable Laplace operators. Zbl 1311.35004Shemyakova, Ekaterina 2 2014 Economic model of scheduling and fair resource sharing in distributed computations. Zbl 1323.68058Toporkov, V. V.; Yemelyanov, D. M. 1 2014 Termination of the F5 algorithm. Zbl 1323.68598Galkin, V. V. 1 2014 Mechanical proof of planimetric theorems of rational type. Zbl 1323.68463Osipov, N. N. 1 2014 A symbolic-numerical method for solving the differential equation describing the states of polarizable particle in Coulomb potential. Zbl 1354.34004Red’kov, V. M.; Chichurin, A. V. 1 2014 Scheduling algorithms for real-time computing systems admitting simulation models. Zbl 1311.68037Kostenko, V. A. 11 2013 Linear differential and difference systems: \(\mathrm{EG}_\delta\)- and \(\mathrm{EG}_\sigma\)-eliminations. Zbl 1311.34027Abramov, S. A.; Khmelnov, D. E. 9 2013 Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem. Zbl 1325.70028Budzko, D. A.; Prokopenya, A. N. 8 2013 On rational solutions of linear partial differential or difference equations. Zbl 1311.35048Paramonov, S. V. 4 2013 Investigation of center manifolds of three-dimensional systems using computer algebra. Zbl 1323.68623Romanovski, V. G.; Mencinger, M.; Ferčec, B. 4 2013 Tensor computations in computer algebra systems. Zbl 1301.68280Korol’kova, A. V.; Kulyabov, D. S.; Sevast’yanov, L. A. 4 2013 Bounded monotone recursion and multihead automata. Zbl 1311.03069Marchenkov, S. S. 3 2013 Parallel modular computation of Gröbner and involutive bases. Zbl 1323.68631Yanovich, D. A. 2 2013 Formalization of a test experiment. II. Zbl 1323.68042Bourdonov, I. B.; Kossatchev, A. S. 2 2013 A package to work with linear partial differential operators. Zbl 1311.65180Shemyakova, Ekaterina 2 2013 Simulation of quantum error correction by means of QuantumCircuit package. Zbl 1301.68279Gerdt, V. P.; Prokopenya, A. N. 2 2013 An algorithm for constructing toric compactifications. Zbl 1323.68610Kytmanov, A. A.; Shchuplev, A. V. 1 2013 Model of distributed computing system operation with time. Zbl 1311.68033Smelyansky, R. L. 1 2013 Symbolic-numerical solution of systems of linear ordinary differential equations with required accuracy. Zbl 1301.68281Malaschonok, N. A.; Rybakov, M. A. 1 2013 Simulation of hierarchical multiprocessor database systems. Zbl 1261.68159Kostenetskii, P. S.; Sokolinsky, L. B. 1 2013 Denominators of rational solutions of linear difference systems of an arbitrary order. Zbl 1261.65134Abramov, S. A.; Khmelnov, D. E. 9 2012 Hamiltonian normalization in the restricted many-body problem by computer algebra methods. Zbl 1329.70036Prokopenya, A. N. 9 2012 Resolution of an algebraic singularity by power geometry algorithms. Zbl 1253.13022Bruno, A. D.; Batkhin, A. B. 6 2012 On the Goursat classification problem. Zbl 1255.35165Kaptsov, O. V. 3 2012 On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol. Zbl 1254.35135Ganzha, E. I. 3 2012 Laplace transformations as the only degenerate Darboux transformations of first order. Zbl 1255.35015Shemyakova, Ekaterina 2 2012 Probabilistic generalization of formal concepts. Zbl 1252.68289Vityaev, E. E.; Demin, A. V.; Ponomaryov, D. K. 2 2012 Programming for modular reconfigurable robots. Zbl 1251.68256Gorbenko, A. A.; Popov, V. Yu. 1 2012 Solving large linear algebraic systems in the context of integrable non-abelian Laurent ODEs. Zbl 1256.65074Wolf, Thomas; Schrüfer, Eberhard; Webster, Kenneth 1 2012 Higher-level supercompilation as a metasystem transition. Zbl 1253.68088Klyuchnikov, I. G.; Romanenko, S. A. 1 2012 Rational solutions of linear difference equations: universal denominators and denominator bounds. Zbl 1247.65156Abramov, S. A.; Gheffar, A.; Khmelnov, D. E. 10 2011 A survey of methods for constructing covering arrays. Zbl 1242.68069Kuliamin, V. V.; Petukhov, A. A. 8 2011 Indefinite summation of rational functions with factorization of denominators. Zbl 1251.68308Polyakov, S. P. 4 2011 The research seminar on computer algebra in 2009-2010. Zbl 1242.00036Abramov, 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.68105Podlovchenko, R. I. 2 2011 Specification completion for IOCO. Zbl 1242.68152Bourdonov, 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.65072Edneral, V. F.; Romanovski, V. G. 1 2011 On frequency analysis of sequential program code execution. Zbl 1242.68060Smelyanskiy, R. L. 1 2011 A definite summation of hypergeometric terms of special kind. Zbl 1247.33038Ryabenko, A. A. 1 2011 \(X\)- and \(Y\)-invariants of partial differential operators in the plane. Zbl 1255.35020Shemyakova, E. S. 1 2011 Symbolic-numerical analysis of equilibrium solutions in a restricted four-body problem. Zbl 1343.70012Budzko, D. A.; Prokopenya, A. N. 8 2010 An algorithm for calculating power sums of roots for a class of systems of nonlinear equations. Zbl 1206.65156Kytmanov, A. A. 7 2010 Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals. Zbl 1204.13001Zobnin, A. I. 6 2010 An upper bound for minimizing coefficients of the dimension Kolchin polynomial. Zbl 1205.12004Kondratieva, M. V. 3 2010 Some algorithms for calculating unitary matrices for quantum circuits. Zbl 1214.68471Gerdt, V. P.; Prokopenya, A. N. 3 2010 On one application of computations with oracle. Zbl 1253.68089Lisitsa, A. P.; Nemytykh, A. P. 2 2010 Boundedness problems for Minsky counter machines. Zbl 1204.68122Kuzmin, E. V.; Sokolov, V. A.; Chalyy, D. Yu. 1 2010 Interpretable program specification language. Zbl 1207.68209Novikov, F. A.; Novoseltsev, V. B. 1 2010 ...and 249 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 709 Authors 29 Abramov, Sergeĭ Aleksandrovich 18 Gerdt, Vladimir Petrovich 16 Okhotin, Alexander 13 Prokopenya, Alexander N. 12 Khmelnov, Dennis E. 12 Kostenko, V. A. 12 Podlovchenko, Rimma Ivanovna 9 Batkhin, Alexandr B. 9 Kytmanov, Alexey Alexandrovich 8 Ryabenko, Anna A. 7 Barkatou, Moulay A. 7 Bruno, Alexander Dmitrievich 7 Furugyan, M. G. 7 Gutnik, Sergey A. 7 Shemyakova, Ekaterina 6 Kossatchev, Alexander S. 6 Rostovtsev, Vitaly A. 6 Sarychev, Vasily 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 Minglibayev, Mukhtar Zh. 5 Myshkina, Evgeniya Konstantinovna 5 Panferov, Anton A. 5 Petkovšek, Marko 4 Budzko, Dzmitry A. 4 Buj, Dmytro B. 4 Chen, Shaoshi 4 Chen, Yuqun 4 Jeż, Artur 4 Kolesov, Nikolai V. 4 Likhoded, Nikolaĭ Aleksandrovich 4 Shishkina, Ol’ga Andreevna 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 Babenko, Mikhail 3 Bogolyubskaya, A. A. 3 Cluzeau, Thomas 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 Gruzlikov, Alexander M. 3 Gusev, Alexander A. 3 Han, Maoan 3 Ivannikov, Viktor Petrovich 3 Kaptsov, Oleg Viktorovich 3 Khachatryan, V. E. 3 Kozin, I. V. 3 Kuchukov, Viktor 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 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 Tarasyuk, Igor’ Valer’evich 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 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. 2 Emelyanov, Pavel G. 2 Fan, Wen ...and 609 more Authors all top 5 Cited in 123 Journals 182 Programming and Computer Software 28 Journal of Symbolic Computation 24 Journal of Computer and Systems Sciences International 23 Cybernetics 21 Cybernetics and Systems Analysis 20 Theoretical Computer Science 14 Journal of Mathematical Sciences (New York) 11 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 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 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 Numerical Algorithms 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 Science China. Mathematics 2 Nelineĭnaya Dinamika 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 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 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 International Journal of Applied Mathematics and Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Integers ...and 23 more Journals all top 5 Cited in 51 Fields 387 Computer science (68-XX) 64 Commutative algebra (13-XX) 61 Numerical analysis (65-XX) 37 Ordinary differential equations (34-XX) 36 Operations research, mathematical programming (90-XX) 35 Field theory and polynomials (12-XX) 33 Partial differential equations (35-XX) 30 Mechanics of particles and systems (70-XX) 29 Difference and functional equations (39-XX) 23 Special functions (33-XX) 22 Dynamical systems and ergodic theory (37-XX) 19 Combinatorics (05-XX) 19 Associative rings and algebras (16-XX) 19 Systems theory; control (93-XX) 17 Mathematical logic and foundations (03-XX) 16 Number theory (11-XX) 13 Algebraic geometry (14-XX) 13 Quantum theory (81-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 9 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 Probability theory and stochastic processes (60-XX) 4 Statistics (62-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 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 Integral transforms, operational calculus (44-XX) 2 Functional analysis (46-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 Geometry (51-XX) 1 Fluid mechanics (76-XX) Citations by Year