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: https://link.springer.com/journal/11086/volumes-and-issues Original: Programmirovanie Comments: Journal Documents Indexed: 1,348 Publications (since 1976) References Indexed: 452 Publications with 8,806 References. all top 5 Latest Issues 49, No. 2 (2023) 49, No. 1 (2023) 48, No. 8 (2022) 48, No. 6 (2022) 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) ...and 118 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. 12 Batkhin, Alexandr B. 11 Kornyak, Vladimir V. 11 Nepomnyashchy, V. A. 10 Bruno, Alexander Dmitrievich 10 Krinitskij, N. A. 10 Kytmanov, Alexey Alexandrovich 10 Zamulin, Aleksandr Vasil’evich 9 Blinkov, Yuri A. 9 Bourdonov, Igor B. 9 Kostenko, V. A. 9 Kulyabov, Dmitriĭ Sergeevich 9 Yanovich, Denis A. 8 Burgin, Mark 8 Edneral, Victor F. 8 Korolkova, Anna V. 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 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 Babenko, Mikhail 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 Tchernykh, Andrei 6 Zakharov, Vladimir Anatolyevich 6 Zhogolev, Evgenii Andreevich 5 Gajsaryan, S. S. 5 Galaktionov, Vladimir Aleksandrovich 5 Gevorkyan, Migran N. 5 Krinitskij, V. N. 5 Krylov, Andreĭ Serdzhevich 5 Kuzovatov, Vyacheslav Igor’evich 5 Ledovskikh, I. N. 5 Lomazova, Irina A. 5 Lyapin, Alexander Petrovich 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 Bandman, Olga L. 4 Bogolyubskaya, A. A. 4 Charnaya, I. S. 4 Chernobrod, L. V. 4 Cortés-Mendoza, Jorge M. 4 Demidova, Anastasiya V. 4 Drozdov, Alexander Yu. 4 Galatenko, V. A. 4 Glushkova, V. N. 4 Grinev, M. N. 4 Gusev, Alexander A. 4 Kaptsov, Oleg Viktorovich 4 Korablin, Yu. P. 4 Kuchukov, Viktor 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 Sadykov, Timur Mradovich 4 Semenov, Artem S. 4 Serdyukova, S. I. 4 Sevast’yanov, Leonid Antonovich ...and 1,237 more Authors all top 5 Fields 1,213 Computer science (68-XX) 89 Numerical analysis (65-XX) 49 Commutative algebra (13-XX) 43 Ordinary differential equations (34-XX) 34 Mathematical logic and foundations (03-XX) 27 Field theory and polynomials (12-XX) 26 Partial differential equations (35-XX) 23 Mechanics of particles and systems (70-XX) 21 History and biography (01-XX) 21 Special functions (33-XX) 17 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) 12 Algebraic geometry (14-XX) 12 Quantum theory (81-XX) 10 Combinatorics (05-XX) 10 Systems theory; control (93-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 8 Number theory (11-XX) 8 Nonassociative rings and algebras (17-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 Optics, electromagnetic theory (78-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Biology and other natural sciences (92-XX) 4 Several complex variables and analytic spaces (32-XX) 4 Operator theory (47-XX) 4 Geometry (51-XX) 4 Fluid mechanics (76-XX) 3 General and overarching topics; collections (00-XX) 3 Real functions (26-XX) 3 Approximations and expansions (41-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 Convex and discrete geometry (52-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 Functional analysis (46-XX) 1 Calculus of variations and optimal control; optimization (49-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 381 Publications have been cited 976 times in 644 Documents Cited by ▼ Year ▼ Rational solutions of linear difference and \(q\)-differential equations with polynomial coefficients. Zbl 0910.65107Abramov, S. A. 20 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. 16 2016 Hamiltonian normalization in the restricted many-body problem by computer algebra methods. Zbl 1329.70036Prokopenya, A. N. 11 2012 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 calculations in studying the problem of three bodies with variable masses. Zbl 1353.70003Prokopenya, A. N.; Minglibayev, M. Zh.; Mayemerova, G. M. 10 2014 Involutive systems of algebraic equations. Zbl 0828.13020Zharkov, A. Yu.; Blinkov, Yu. A. 10 1994 Ant algorithms: theory and applications. Zbl 1120.90051Shtovba, S. D. 10 2005 Search for polynomial solutions of linear functional systems by means of induced recurrences. Zbl 1101.68990Khmelnov, D. E. 10 2004 Rational solutions of linear difference equations: universal denominators and denominator bounds. Zbl 1247.65156Abramov, S. A.; Gheffar, A.; Khmelnov, D. E. 10 2011 Symbolic-numerical analysis of equilibrium solutions in a restricted four-body problem. Zbl 1343.70012Budzko, D. A.; Prokopenya, A. N. 9 2010 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 Denominators of rational solutions of linear difference systems of an arbitrary order. Zbl 1261.65134Abramov, S. A.; Khmelnov, D. E. 9 2012 Fast search for the Janet divisor. Zbl 1024.13009Gerdt, V. P.; Yanovich, D. A.; Blinkov, Yu. A. 9 2001 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 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 Involutive method for computing Gröbner bases over \(\mathbb F_2\). Zbl 1185.68868Gerdt, V. P.; Zinin, M. V. 8 2008 Animated rotations using quaternions and splines on a 4D sphere. Zbl 0875.68913Nielson, G. M.; Heiland, R. W. 8 1992 Verification as a parameterized testing (experiments with the SCP4 supercompiler). Zbl 1120.68383Lisitsa, A. P.; Nemytykh, A. P. 8 2007 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 Normalization of a periodic Hamiltonian system. Zbl 1459.37048Bruno, A. D. 8 2020 A survey of methods for constructing covering arrays. Zbl 1242.68069Kuliamin, V. V.; Petukhov, A. A. 8 2011 The calculus of functional systems and parallel algorithms. Zbl 0397.68006Kutepov, V. P. 7 1976 An algorithm for calculating power sums of roots for a class of systems of nonlinear equations. Zbl 1206.65156Kytmanov, A. A. 7 2010 Systems with priorities: conformance, testing, and composition. Zbl 1183.68095Bourdonov, I. B.; Kossatchev, A. S. 7 2009 Regular solutions of linear differential systems with power series coefficients. Zbl 1317.34019Abramov, S. A.; Khmelnov, D. E. 7 2014 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 Resolution of an algebraic singularity by power geometry algorithms. Zbl 1253.13022Bruno, A. D.; Batkhin, A. B. 7 2012 Some symbolic computation algorithms in cosmic dynamics problems. Zbl 1103.68992Prokopenya, A. N. 7 2006 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 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 A hierarchy of program models. Zbl 0469.68015Podlovchenko, R. I. 6 1981 Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals. Zbl 1204.13001Zobnin, A. I. 6 2010 Synthesizing structures of real-time computer systems using genetic algorithms. Zbl 0968.68195Kostenko, V. A.; Smelyanskii, R. L.; Trekin, A. G. 6 2000 On the Goursat classification problem. Zbl 1255.35165Kaptsov, O. V. 6 2012 Obstacles to the factorization of partial differential operators into several factors. Zbl 1130.35007Shemyakova, E. S.; Wincler, F. 6 2007 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 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. 6 2019 Secure cloud computing based on threshold homomorphic encryption. Zbl 1370.94547Varnovskiy, N. P.; Martishin, S. A.; Khrapchenko, M. V.; Shokurov, A. V. 5 2015 On an algorithmic optimization in computation of involutive bases. Zbl 1037.68063Gerdt, V. P. 5 2002 Formalization of test experiments. Zbl 1154.68340Bourdonov, I. B.; Kossatchev, A. S.; Kuliamin, V. V. 5 2007 Semigroup program models. Zbl 0482.68016Podlovchenko, R. I. 5 1981 On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol. Zbl 1254.35135Ganzha, E. I. 5 2012 On the \(q\)-analogue of Zeilberger’s algorithm to rational functions. Zbl 0985.33014Le, H. Q. 5 2001 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 Effectiveness of involutive criteria in computation of polynomial Janet bases. Zbl 1103.68987Gerdt, V. P.; Yanovich, D. A. 5 2006 Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. Zbl 1455.70013Gutnik, S. A.; Sarychev, V. A. 5 2017 Minimal representations and algebraic relations for single nested products. Zbl 1478.33008Schneider, Carsten 5 2020 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 Composition semantics of programming languages. Zbl 0517.68033Nikitchenko, N. S. 4 1982 The problem of schedule construction in the joint design of hardware and software. Zbl 1037.68009Kostenko, V. A. 4 2002 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 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 Indefinite summation of rational functions with factorization of denominators. Zbl 1251.68308Polyakov, S. P. 4 2011 Laplace transformations as the only degenerate Darboux transformations of first order. Zbl 1255.35015Shemyakova, Ekaterina 4 2012 On the construction of complete systems of equivalent transformations of program schemes. Zbl 0909.68027Podlovchenko, R. I.; Airapetyan, M. G. 4 1996 Tensor computations in computer algebra systems. Zbl 1301.68280Korol’kova, A. V.; Kulyabov, D. S.; Sevast’yanov, L. A. 4 2013 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 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. 4 2006 Symbolic method of verification of definite iterations over altered data structures. Zbl 1099.68026Nepomniaschy, V. A. 4 2005 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 Towards verification of C programs: Axiomatic semantics of the C-kernel language. Zbl 1099.68544Nepomniaschy, V. A.; Anureev, I. S.; Promskii, A. V. 4 2003 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 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 Invertible Darboux transformations of type I. Zbl 1406.44003Shemyakova, E. S. 3 2015 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 A language of graph schemes of parallel algorithms. Zbl 0419.68039Kutepov, V. P.; Korablin, Yu. P. 3 1978 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 Improved universal denominators. Zbl 1147.68877Abramov, S. A.; Polyakov, S. P. 3 2007 Time synchronization methods for wireless sensor networks: A survey. Zbl 1138.68318Faizulkhakov, Ya. R. 3 2007 Verification of file manipulation programs in the language PASCAL. Zbl 0469.68013Nepomnyashchii, V. A. 3 1981 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 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 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 Algorithms for checking some properties of \(n\)-quasigroups. Zbl 1494.68311Galatenko, A. V.; Pankratiev, A. E.; Staroverov, V. M. 2 2022 Symbolic methods for studying the equilibrium orientations of a system of two connected bodies in a circular orbit. Zbl 1496.70005Gutnik, S. A.; Sarychev, V. A. 1 2022 Construction of pseudo-geometric integrators. Zbl 1498.70005Loziienko, D.; Salnikov, V.; Hamdouni, A. 1 2022 Exhaustive use of information on an equation with truncated coefficients. Zbl 1504.34024Abramov, S. A.; Ryabenko, A. A.; Khmelnov, D. E. 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 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. 2 2021 Symbolic-analytic methods for studying equilibrium orientations of a satellite on a circular orbit. Zbl 1476.70083Gutnik, S. A.; Sarychev, V. A. 2 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 Using a template engine as a computer algebra tool. Zbl 1515.65215Gevorkyan, 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 Heuristic algorithms for recognition of some cubic hypersurfaces. Zbl 1474.14079Seliverstov, A. V. 1 2021 Factorization of Boolean polynomials: parallel algorithms and experimental evaluation. Zbl 1474.68463Emelyanov, P. G.; Krishna, M.; Kulkarni, V.; Nandy, S. K.; Ponomaryov, D. K.; Raha, S. 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. 8 2020 Minimal representations and algebraic relations for single nested products. Zbl 1478.33008Schneider, Carsten 5 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 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 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 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. 6 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 Algorithms for solving an algebraic equation. Zbl 1455.68281Bruno, A. D. 3 2018 Parameterization of a set determined by the generalized discriminant of a polynomial. Zbl 1455.13050Batkhin, A. B. 2 2018 Implementing a method for stochastization of one-step processes in a computer algebra system. Zbl 1455.68282Gevorkyan, M. N.; Demidova, A. V.; Velieva, T. R.; Korol’kova, A. V.; Kulyabov, D. S.; Sevast’yanov, L. A. 1 2018 Laurent, rational, and hypergeometric solutions of linear \(q\)-difference systems of arbitrary order with polynomial coefficients. Zbl 1459.39008Abramov, S. A.; Ryabenko, A. A.; Khmelnov, D. E. 1 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. 2 2017 A real variety with boundary and its global parameterization. Zbl 1455.53075Batkhin, A. B. 2 2017 Discretization of quasilinear evolution equations by computer algebra methods. Zbl 1458.35367Blinkov, Yu. A.; Gerdt, V. P.; Marinov, K. B. 2 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. 16 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 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 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 Invertible Darboux transformations of type I. Zbl 1406.44003Shemyakova, E. S. 3 2015 Comparative trace semantics of time Petri nets. Zbl 1339.68183Bushin, D. I.; Virbitskaite, I. B. 2 2015 Qualitative investigation of a gene model using computer algebra algorithms. Zbl 1339.92049Boulier, Francois; Han, M.; Lemaire, Francois; Romanovski, Valery G. 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 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 On the complexity of existence of homing sequences for nondeterministic finite state machines. Zbl 1339.68120Kushik, N.; Kulyamin, V.; Evtushenko, N. 1 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 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 Simulation of hierarchical multiprocessor database systems. Zbl 1261.68159Kostenetskii, P. S.; Sokolinsky, L. B. 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 quantum error correction by means of QuantumCircuit package. Zbl 1301.68279Gerdt, V. P.; Prokopenya, A. N. 2 2013 Symbolic-numerical solution of systems of linear ordinary differential equations with required accuracy. Zbl 1301.68281Malaschonok, N. A.; Rybakov, M. A. 2 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. 7 2012 On the Goursat classification problem. Zbl 1255.35165Kaptsov, O. V. 6 2012 On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol. Zbl 1254.35135Ganzha, E. I. 5 2012 Laplace transformations as the only degenerate Darboux transformations of first order. Zbl 1255.35015Shemyakova, Ekaterina 4 2012 ...and 281 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 786 Authors 31 Abramov, Sergeĭ Aleksandrovich 18 Gerdt, Vladimir Petrovich 17 Okhotin, Alexander 16 Prokopenya, Alexander N. 12 Batkhin, Alexandr B. 12 Kostenko, V. A. 12 Podlovchenko, Rimma Ivanovna 10 Gutnik, Sergey A. 10 Ryabenko, Anna A. 9 Bruno, Alexander Dmitrievich 9 Kytmanov, Alexey Alexandrovich 9 Sarychev, Vasily A. 8 Furugyan, M. G. 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 Budzko, Dzmitry A. 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 Buj, Dmytro B. 4 Chen, Shaoshi 4 Chen, Yuqun 4 Deveci, Ömür 4 Jeż, Artur 4 Kolesov, Nikolai V. 4 Kulyabov, Dmitriĭ Sergeevich 4 Lisitsa, Alexei P. 4 Nepomniaschy, Valery A. 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 Emelyanov, Pavel G. 3 Galatenko, Alekseĭ Vladimirovich 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 Khabibullin, Ismagil Talgatovich 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 Pankrat’ev, Anton Evgen’evich 3 Paramonov, Serge V. 3 Ponomaryov, Denis K. 3 Popiel, Tomasz 3 Red’ko, V. N. 3 Romanenko, Sergei A. 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 Torres-Jimenez, Jose 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. ...and 686 more Authors all top 5 Cited in 139 Journals 196 Programming and Computer Software 31 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 10 Computational Mathematics and Mathematical Physics 10 Mathematics in Computer Science 8 Automation and Remote Control 8 Lobachevskii Journal of Mathematics 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 4 Numerical Algorithms 4 Modelirovanie i Analiz Informatsionnykh Sistem 3 Information Processing Letters 3 Mathematical Notes 3 Theoretical and Mathematical Physics 3 Journal of Soviet Mathematics 3 Computer Aided Geometric Design 3 Information and Computation 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 Journal of Systems Science and Complexity 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 Journal of Physics A: Mathematical and Theoretical 3 ACM Communications in Computer Algebra 3 Prikladnaya Diskretnaya Matematika 2 Discrete Mathematics 2 Linear and Multilinear Algebra 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 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 Discrete Applied Mathematics 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 ACM Transactions on Mathematical Software 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 Applied Mathematical Modelling 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 ...and 39 more Journals all top 5 Cited in 52 Fields 430 Computer science (68-XX) 71 Numerical analysis (65-XX) 66 Commutative algebra (13-XX) 45 Mechanics of particles and systems (70-XX) 43 Ordinary differential equations (34-XX) 38 Partial differential equations (35-XX) 38 Operations research, mathematical programming (90-XX) 36 Field theory and polynomials (12-XX) 32 Difference and functional equations (39-XX) 29 Dynamical systems and ergodic theory (37-XX) 28 Special functions (33-XX) 21 Associative rings and algebras (16-XX) 21 Systems theory; control (93-XX) 20 Combinatorics (05-XX) 19 Mathematical logic and foundations (03-XX) 17 Number theory (11-XX) 15 Algebraic geometry (14-XX) 14 Quantum theory (81-XX) 12 Linear and multilinear algebra; matrix theory (15-XX) 10 Nonassociative rings and algebras (17-XX) 10 Information and communication theory, circuits (94-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 8 Group theory and generalizations (20-XX) 8 Approximations and expansions (41-XX) 8 Biology and other natural sciences (92-XX) 6 Functions of a complex variable (30-XX) 6 Differential geometry (53-XX) 6 Probability theory and stochastic processes (60-XX) 6 Optics, electromagnetic theory (78-XX) 5 Operator theory (47-XX) 4 History and biography (01-XX) 4 General algebraic systems (08-XX) 4 Integral transforms, operational calculus (44-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 Global analysis, analysis on manifolds (58-XX) 3 Statistics (62-XX) 3 Fluid mechanics (76-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 Functional analysis (46-XX) 2 Geometry (51-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 Relativity and gravitational theory (83-XX) Citations by Year