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,330 Publications (since 1976) References Indexed: 434 Publications with 8,463 References. all top 5 Latest Issues 48, No. 4 (2022) 48, No. 3 (2022) 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) ...and 114 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 Kornyak, Vladimir V. 11 Nepomnyashchy, V. A. 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 Anatolyevich 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,222 more Authors all top 5 Fields 1,202 Computer science (68-XX) 84 Numerical analysis (65-XX) 48 Commutative algebra (13-XX) 42 Ordinary differential equations (34-XX) 33 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) 15 Operations research, mathematical programming (90-XX) 14 Difference and functional equations (39-XX) 13 Dynamical systems and ergodic theory (37-XX) 11 Quantum theory (81-XX) 10 Combinatorics (05-XX) 10 Algebraic geometry (14-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 Order, lattices, ordered algebraic structures (06-XX) 6 Category theory; homological algebra (18-XX) 6 Functions of a complex variable (30-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 Functional analysis (46-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 372 Publications have been cited 928 times in 608 Documents Cited by ▼ Year ▼ Rational solutions of linear difference and \(q\)-differential equations with polynomial coefficients. Zbl 0910.65107Abramov, S. A. 19 1995 Conjunctive grammars and systems of language equations. Zbl 1036.68063Okhotin, A. S. 19 2002 Parameterization of the discriminant set of a polynomial. Zbl 1401.13080Batkhin, A. B. 15 2016 Scheduling algorithms for real-time computing systems admitting simulation models. Zbl 1311.68037Kostenko, V. A. 11 2013 Hamiltonian normalization in the restricted many-body problem by computer algebra methods. Zbl 1329.70036Prokopenya, A. N. 11 2012 Involutive systems of algebraic equations. Zbl 0828.13020Zharkov, A. Yu.; Blinkov, Yu. A. 10 1994 Search for polynomial solutions of linear functional systems by means of induced recurrences. Zbl 1101.68990Khmelnov, D. E. 10 2004 Linear differential and difference systems: \(\mathrm{EG}_\delta\)- and \(\mathrm{EG}_\sigma\)-eliminations. Zbl 1311.34027Abramov, S. A.; Khmelnov, D. E. 10 2013 Symbolic calculations in studying the problem of three bodies with variable masses. Zbl 1353.70003Prokopenya, A. N.; Minglibayev, M. Zh.; Mayemerova, G. M. 10 2014 Rational solutions of linear difference equations: universal denominators and denominator bounds. Zbl 1247.65156Abramov, S. A.; Gheffar, A.; Khmelnov, D. E. 10 2011 Ant algorithms: theory and applications. Zbl 1120.90051Shtovba, S. D. 10 2005 Denominators of rational solutions of linear difference systems of an arbitrary order. Zbl 1261.65134Abramov, S. A.; Khmelnov, D. E. 9 2012 The research seminar on computer algebra in 2009-2010. Zbl 1242.00036Abramov, S. A.; Bogolyubskaya, A. A.; Edneral, V. F.; Rostovtsev, V. A. 9 2011 Universal numerical algorithms and their software implementation. Zbl 0968.68194Litvinov, G. L.; Maslova, E. V. 9 2000 Involutive divisions of monomials. Zbl 0972.68193Gerdt, V. P.; Blinkov, Yu. A. 9 1998 Fast search for the Janet divisor. Zbl 1024.13009Gerdt, V. P.; Yanovich, D. A.; Blinkov, Yu. A. 9 2001 Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem. Zbl 1325.70028Budzko, D. A.; Prokopenya, A. N. 8 2013 Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite. Zbl 1308.65228Gutnik, S. A.; Sarychev, V. A. 8 2014 Animated rotations using quaternions and splines on a 4D sphere. Zbl 0875.68913Nielson, G. M.; Heiland, R. W. 8 1992 Symbolic-numerical analysis of equilibrium solutions in a restricted four-body problem. Zbl 1343.70012Budzko, D. A.; Prokopenya, A. N. 8 2010 A survey of methods for constructing covering arrays. Zbl 1242.68069Kuliamin, V. V.; Petukhov, A. A. 8 2011 The research seminar on computer algebra in 2005-2006. Zbl 1137.68300Abramov, S. A.; Bogolyubskaya, A. A.; Rostovtsev, V. A.; Edneral, V. F. 8 2007 Involutive method for computing Gröbner bases over \(\mathbb F_2\). Zbl 1185.68868Gerdt, V. P.; Zinin, M. V. 8 2008 Normalization of a periodic Hamiltonian system. Zbl 1459.37048Bruno, A. D. 7 2020 Regular solutions of linear differential systems with power series coefficients. Zbl 1317.34019Abramov, S. A.; Khmelnov, D. E. 7 2014 An algorithm for calculating power sums of roots for a class of systems of nonlinear equations. Zbl 1206.65156Kytmanov, A. A. 7 2010 Verification as a parameterized testing (experiments with the SCP4 supercompiler). Zbl 1120.68383Lisitsa, A. P.; Nemytykh, A. P. 7 2007 Some symbolic computation algorithms in cosmic dynamics problems. Zbl 1103.68992Prokopenya, A. N. 7 2006 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. 7 1998 Test generation for compilers and other formal text processors. Zbl 1063.68042Zelenov, S. V.; Zelenova, S. A.; Kosachev, A. S.; Petrenko, A. K. 7 2003 The calculus of functional systems and parallel algorithms. Zbl 0397.68006Kutepov, V. P. 7 1976 Systems with priorities: conformance, testing, and composition. Zbl 1183.68095Bourdonov, I. B.; Kossatchev, A. S. 7 2009 Resolution of an algebraic singularity by power geometry algorithms. Zbl 1253.13022Bruno, A. D.; Batkhin, A. B. 6 2012 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. 6 2016 Search of rational solutions to differential and difference systems by means of formal series. Zbl 1344.34023Abramov, Sergey A. 6 2015 Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals. Zbl 1204.13001Zobnin, A. I. 6 2010 Obstacles to the factorization of partial differential operators into several factors. Zbl 1130.35007Shemyakova, E. S.; Wincler, F. 6 2007 A hierarchy of program models. Zbl 0469.68015Podlovchenko, R. I. 6 1981 Synthesizing structures of real-time computer systems using genetic algorithms. Zbl 0968.68195Kostenko, V. A.; Smelyanskii, R. L.; Trekin, A. G. 6 2000 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 Secure cloud computing based on threshold homomorphic encryption. Zbl 1370.94547Varnovskiy, N. P.; Martishin, S. A.; Khrapchenko, M. V.; Shokurov, A. V. 5 2015 Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. Zbl 1455.70013Gutnik, S. A.; Sarychev, V. A. 5 2017 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. 5 2019 Symbolic computation in studying stability of solutions of linear differential equations with periodic coefficients. Zbl 1137.65390Prokopenya, A. N. 5 2007 The Fibonacci-Padovan sequence and MacWilliams transform matrices. Zbl 1137.11304Gogin, N. D.; Myllari, A. A. 5 2007 Semigroup program models. Zbl 0482.68016Podlovchenko, R. I. 5 1981 Effectiveness of involutive criteria in computation of polynomial Janet bases. Zbl 1103.68987Gerdt, V. P.; Yanovich, D. A. 5 2006 Formalization of test experiments. Zbl 1154.68340Bourdonov, I. B.; Kossatchev, A. S.; Kuliamin, V. V. 5 2007 On the \(q\)-analogue of Zeilberger’s algorithm to rational functions. Zbl 0985.33014Le, H. Q. 5 2001 On an algorithmic optimization in computation of involutive bases. Zbl 1037.68063Gerdt, V. P. 5 2002 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. 4 2020 Study of a non-Markovian stack management model in a two-level memory. Zbl 1101.68302Aksenova, E. A.; Lazutina, A. A.; Sokolov, A. V. 4 2004 Tensor computations in computer algebra systems. Zbl 1301.68280Korol’kova, A. V.; Kulyabov, D. S.; Sevast’yanov, L. A. 4 2013 Indefinite summation of rational functions with factorization of denominators. Zbl 1251.68308Polyakov, S. P. 4 2011 Investigation of a real algebraic surface. Zbl 1349.14178Batkhin, A. B.; Bruno, A. D. 4 2015 Differential equation systems with selected part of the unknowns. Zbl 1362.65072Panferov, A. A. 4 2015 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 Some algorithms for analysis and synthesis of real-time multiprocessor computing systems. Zbl 1323.68050Furugyan, M. G. 4 2014 Systems of generators for ideals of algebra of convergent differential series. Zbl 1323.68609Kaptsov, O. V. 4 2014 Generation of difference schemes for the Burgers equation by constructing Gröbner bases. Zbl 1101.65086Blinkov, Yu. A.; Mozzhilkin, V. V. 4 2006 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 On the construction of complete systems of equivalent transformations of program schemes. Zbl 0909.68027Podlovchenko, R. I.; Airapetyan, M. G. 4 1996 Method of separative monomials for involutive divisions. Zbl 0991.68158Blinkov, Yu. A. 4 2001 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. 4 1997 The problem of schedule construction in the joint design of hardware and software. Zbl 1037.68009Kostenko, V. A. 4 2002 Composition semantics of programming languages. Zbl 0517.68033Nikitchenko, N. S. 4 1982 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 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. 3 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. 3 2017 Survey of architectures of parallel database systems. Zbl 1066.68040Sokolinskij, L. B. 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 Distribution of operations and data arrays over processors. Zbl 1101.68386Likhoded, N. A. 3 2003 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 Probabilistic generalization of formal concepts. Zbl 1252.68289Vityaev, E. E.; Demin, A. V.; Ponomaryov, D. K. 3 2012 Computable compositions and universal program logics. Zbl 0551.68028Nikitchenko, N. S. 3 1983 Metalinear schemes with transfer of constants. Zbl 0577.68031Lisovik, L. P. 3 1985 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 Partitions of the set of selected unknowns in linear differential-algebraic systems. Zbl 1345.34010Panferov, A. A. 3 2016 On exponential-logarithmic solutions of linear differential systems with power series coefficients. Zbl 1344.34024Ryabenko, A. A. 3 2015 Bounded monotone recursion and multihead automata. Zbl 1311.03069Marchenkov, S. S. 3 2013 Jitter minimization in scheduling computations in real-time systems. Zbl 1323.68055Kolesov, N. V.; Tolmacheva, M. V.; Yukhta, P. V. 3 2014 Boundedness problems for Minsky counter machines. Zbl 1204.68122Kuzmin, E. V.; Sokolov, V. A.; Chalyy, D. Yu. 3 2010 An upper bound for minimizing coefficients of the Kolchin dimension 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 Procedures for constructing truncated solutions of linear differential equations with infinite and truncated power series in the role of coefficients. Zbl 07351985Abramov, S. A.; Ryabenko, A. A.; Khmelnov, D. E. 3 2021 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 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 A consistent generation of pipeline parallelism and distribution of operations and data among processors. Zbl 1103.68375Adutskevich, E. V.; Likhoded, N. A. 3 2006 Improved universal denominators. Zbl 1147.68877Abramov, S. A.; Polyakov, S. P. 3 2007 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 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 Exhaustive use of information on an equation with truncated coefficients. Zbl 1504.34024Abramov, S. A.; Ryabenko, A. A.; Khmelnov, D. E. 1 2022 Algorithms for checking some properties of \(n\)-quasigroups. Zbl 1494.68311Galatenko, A. V.; Pankratiev, A. E.; Staroverov, V. M. 1 2022 Information flow control in software DB units based on formal verification. Zbl 1507.68108Timakov, A. A. 1 2022 Procedures for constructing truncated solutions of linear differential equations with infinite and truncated power series in the role of coefficients. Zbl 07351985Abramov, S. A.; Ryabenko, A. A.; Khmelnov, D. E. 3 2021 Algorithms and programs for calculating the roots of polynomial of one or two variables. Zbl 1483.68500Bruno, A. D.; Batkhin, A. B. 2 2021 Solving the Cauchy problem for a two-dimensional difference equation at a point using computer algebra methods. Zbl 1477.68546Apanovich, M. S.; Lyapin, A. P.; Shadrin, K. V. 1 2021 Symbolic investigation of eigenvectors for general solution of a system of ODEs with a symbolic coefficient matrix. Zbl 1477.34112Divakov, D. V.; Tiutiunnik, A. A. 1 2021 Using a template engine as a computer algebra tool. Zbl 07351969Gevorkyan, M. N.; Korol’kova, A. V.; Kulyabov, D. S. 1 2021 The method of colored graphs for simplifying expressions with indices. Zbl 1480.05061Shpiz, G. B.; Kryukov, A. P. 1 2021 Searching for equilibrium states of Atwood’s machine with two oscillating bodies by means of computer algebra. Zbl 1483.70011Prokopenya, A. N. 1 2021 Symbolic-analytic methods for studying equilibrium orientations of a satellite on a circular orbit. Zbl 1476.70083Gutnik, S. A.; Sarychev, V. A. 1 2021 Computer algebra in Julia. Zbl 1477.68550Kulyabov, D. S.; Korol’kova, A. V. 1 2021 Normalization of a periodic Hamiltonian system. Zbl 1459.37048Bruno, A. D. 7 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. 4 2020 Bifurcations of periodic solutions of a Hamiltonian system with a discrete symmetry group. Zbl 1459.37042Batkhin, A. B. 2 2020 Construction of a periodic solution to the equations of motion of generalized Atwood’s machine using computer algebra. Zbl 1459.70009Prokopenya, A. N. 2 2020 Differential geometry and mechanics: a source for computer algebra problems. Zbl 1455.68288Salnikov, V. N.; Hamdouni, A. 2 2020 Minimal representations and algebraic relations for single nested products. Zbl 1478.33008Schneider, Carsten 2 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. 2 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 1492.33012Kuzovatov, V. I.; Kytmanov, A. A.; Kuzovatova, O. I. 1 2020 Computation of involutive and Gröbner bases using the tableau representation of polynomials. Zbl 1455.13049Yanovich, 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.70030Gutnik, S. A.; Sarychev, V. A. 5 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. 2 2019 Computation of the resonance set of a polynomial under constraints on its coefficients. Zbl 1457.13052Batkhin, A. B. 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 Parameterization of a set determined by the generalized discriminant of a polynomial. Zbl 1455.13050Batkhin, A. B. 2 2018 Algorithms for solving an algebraic equation. Zbl 1455.68281Bruno, A. D. 2 2018 Computational problems of multivariate hypergeometric theory. Zbl 1458.68286Sadykov, T. M. 1 2018 Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. Zbl 1455.70013Gutnik, S. A.; Sarychev, V. A. 5 2017 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. 3 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. 3 2017 Revealing matrices of linear differential systems of arbitrary order. Zbl 1455.34002Abramov, S. A.; Ryabenko, A. A.; Khmelnov, D. E. 1 2017 A real variety with boundary and its global parameterization. Zbl 1455.53075Batkhin, A. B. 1 2017 Discretization of quasilinear evolution equations by computer algebra methods. Zbl 1458.35367Blinkov, Yu. A.; Gerdt, V. P.; Marinov, K. B. 1 2017 MathPartner computer algebra. Zbl 1455.68286Malaschonok, G. I. 1 2017 Discontinuous Galerkin method on three-dimensional tetrahedral grids. The use of template metaprogramming of the C++ language. Zbl 1455.65214Krasnov, M. M.; Ladonkina, M. E. 1 2017 Parameterization of the discriminant set of a polynomial. Zbl 1401.13080Batkhin, A. B. 15 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. 6 2016 Partitions of the set of selected unknowns in linear differential-algebraic systems. Zbl 1345.34010Panferov, A. A. 3 2016 “Truly concurrent” and nondeterministic semantics of discrete-time Petri nets. Zbl 1451.68194Virbitskaite, I. B.; Borovlev, V. A.; Popova-Zeugmann, L. 1 2016 Using two types of computer algebra systems to solve Maxwell optics problems. Zbl 1344.78021Kulyabov, D. S. 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 Investigation of a real algebraic surface. Zbl 1349.14178Batkhin, A. B.; Bruno, A. D. 4 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 On exponential-logarithmic solutions of linear differential systems with power series coefficients. Zbl 1344.34024Ryabenko, A. A. 3 2015 Comparative trace semantics of time Petri nets. Zbl 1339.68183Bushin, D. I.; Virbitskaite, I. B. 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. 10 2014 Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite. Zbl 1308.65228Gutnik, S. A.; Sarychev, V. A. 8 2014 Regular solutions of linear differential systems with power series coefficients. Zbl 1317.34019Abramov, S. A.; Khmelnov, D. E. 7 2014 Some algorithms for analysis and synthesis of real-time multiprocessor computing systems. Zbl 1323.68050Furugyan, M. G. 4 2014 Systems of generators for ideals of algebra of convergent differential series. Zbl 1323.68609Kaptsov, O. V. 4 2014 Performance analysis of concurrent systems in algebra dtsiPBC. Zbl 1339.68033Tarasyuk, I.; Macià, H.; Valero, Valentin 3 2014 Jitter minimization in scheduling computations in real-time systems. Zbl 1323.68055Kolesov, N. V.; Tolmacheva, M. V.; Yukhta, P. V. 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. 10 2013 Symbolic-numerical methods for searching equilibrium states in a restricted four-body problem. Zbl 1325.70028Budzko, D. A.; Prokopenya, A. N. 8 2013 Tensor computations in computer algebra systems. Zbl 1301.68280Korol’kova, A. V.; Kulyabov, D. S.; Sevast’yanov, L. A. 4 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 Bounded monotone recursion and multihead automata. Zbl 1311.03069Marchenkov, S. S. 3 2013 Simulation of quantum error correction by means of QuantumCircuit package. Zbl 1301.68279Gerdt, V. P.; Prokopenya, A. N. 2 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 hierarchical multiprocessor database systems. Zbl 1261.68159Kostenetskii, P. S.; Sokolinsky, L. B. 2 2013 Symbolic-numerical solution of systems of linear ordinary differential equations with required accuracy. Zbl 1301.68281Malaschonok, N. A.; Rybakov, M. A. 1 2013 An algorithm for constructing toric compactifications. Zbl 1323.68610Kytmanov, A. A.; Shchuplev, A. V. 1 2013 Hamiltonian normalization in the restricted many-body problem by computer algebra methods. Zbl 1329.70036Prokopenya, A. N. 11 2012 Denominators of rational solutions of linear difference systems of an arbitrary order. Zbl 1261.65134Abramov, S. A.; Khmelnov, D. E. 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 Probabilistic generalization of formal concepts. Zbl 1252.68289Vityaev, E. E.; Demin, A. V.; Ponomaryov, D. K. 3 2012 Laplace transformations as the only degenerate Darboux transformations of first order. Zbl 1255.35015Shemyakova, Ekaterina 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 The research seminar on computer algebra in 2009-2010. Zbl 1242.00036Abramov, S. A.; Bogolyubskaya, A. A.; Edneral, V. F.; Rostovtsev, V. A. 9 2011 A survey of methods for constructing covering arrays. Zbl 1242.68069Kuliamin, V. V.; Petukhov, A. A. 8 2011 ...and 272 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 749 Authors 31 Abramov, Sergeĭ Aleksandrovich 18 Gerdt, Vladimir Petrovich 17 Okhotin, Alexander 15 Prokopenya, Alexander N. 12 Kostenko, V. A. 12 Podlovchenko, Rimma Ivanovna 11 Batkhin, Alexandr B. 10 Ryabenko, Anna A. 9 Gutnik, Sergey A. 9 Kytmanov, Alexey Alexandrovich 8 Bruno, Alexander Dmitrievich 8 Furugyan, M. G. 8 Sarychev, Vasily A. 7 Barkatou, Moulay A. 7 Shemyakova, Ekaterina 6 Kossatchev, Alexander S. 6 Minglibayev, Mukhtar Zh. 6 Petkovšek, Marko 6 Rostovtsev, Vitaly A. 6 Toporkov, V. V. 6 Yanovich, Denis A. 6 Zakharov, Vladimir Anatolyevich 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 Yushchenko, E. L. 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 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 Kuz’min, Egor Vladimirovich 3 Kuzovatov, Vyacheslav Igor’evich 3 Kytmanov, Aleksandr Mechislavovich 3 Lyapin, Alexander Petrovich 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 Apanovich, Marina Stepanovna 2 Bächler, Thomas 2 Banshchikov, Andreĭ Valentinovich 2 Barash, Mikhail 2 Borisenko, G. V. 2 Bronstein, Manuel Eric 2 Chen, Yongshan ...and 649 more Authors all top 5 Cited in 130 Journals 193 Programming and Computer Software 30 Journal of Symbolic Computation 25 Journal of Computer and Systems Sciences International 24 Cybernetics and Systems Analysis 23 Cybernetics 21 Theoretical Computer Science 14 Journal of Mathematical Sciences (New York) 10 Moscow University Computational Mathematics and Cybernetics 9 Computational Mathematics and Mathematical Physics 9 Mathematics in Computer Science 8 Automation and Remote Control 7 Advances in Applied Mathematics 7 Journal of Siberian Federal University. Mathematics & Physics 6 Journal of Algebra 6 Mathematics and Computers in Simulation 6 Lobachevskii Journal of Mathematics 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 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 Modelirovanie i Analiz Informatsionnykh Sistem 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 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 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 ...and 30 more Journals all top 5 Cited in 52 Fields 415 Computer science (68-XX) 64 Commutative algebra (13-XX) 63 Numerical analysis (65-XX) 41 Ordinary differential equations (34-XX) 39 Mechanics of particles and systems (70-XX) 37 Operations research, mathematical programming (90-XX) 35 Field theory and polynomials (12-XX) 34 Partial differential equations (35-XX) 31 Difference and functional equations (39-XX) 25 Special functions (33-XX) 25 Dynamical systems and ergodic theory (37-XX) 21 Associative rings and algebras (16-XX) 20 Combinatorics (05-XX) 20 Systems theory; control (93-XX) 19 Mathematical logic and foundations (03-XX) 17 Number theory (11-XX) 14 Algebraic geometry (14-XX) 13 Quantum theory (81-XX) 12 Linear and multilinear algebra; matrix theory (15-XX) 10 Nonassociative rings and algebras (17-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 8 Approximations and expansions (41-XX) 8 Information and communication theory, circuits (94-XX) 7 Group theory and generalizations (20-XX) 7 Biology and other natural sciences (92-XX) 6 Functions of a complex variable (30-XX) 6 Differential geometry (53-XX) 5 Operator theory (47-XX) 5 Probability theory and stochastic processes (60-XX) 5 Statistics (62-XX) 5 Optics, electromagnetic theory (78-XX) 4 History and biography (01-XX) 4 General algebraic systems (08-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 Fluid mechanics (76-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 Relativity and gravitational theory (83-XX) Citations by Year