Publications
Articles in Books, Journals, Proceedings
 (With V.E.Aleinikov and M.M.Komochkov) Neutron Spectra Outside the Proton Accelerator Shielding, Neutron Monitoring for Radiation Protection Purposes, Vol.I, IAEA, Vienna, 1973, 3146.
 ((With V.A.Meshcheryakov and V.I.Zhuravlev)N  Scattering S Waves and the Value of theσ commutator in the Static Model, Sov. J. Nucl. Phys. (Yad. Fiz. 20, 4, 1974, 756761), 20 (4), 1975, 405407.
 (With V.E.Aleinikov and M.M.Komochkov) Neutron Energy Spectra Outside the Shielding of High Energy Proton Accelerators, Proceedings of AllUnion Meeting on Accelerators of Charged Particles, Vol.II, Nauka Publishers, Moscow, 1975, 240242.
 (With V.A.Meshcheryakov) Local Form of the Solution of the ChewLow Equations, Teor. Mat. Fiz., 24, 2, 1975, 155163.
 (With V.E.Aleinikov and G.N.Timoshenko) Measurement of the Spectra of High Energy Protons from the Shielding of 680 Mev Synchrocyclotron, Sov. Atomic Energy, 41, 5, 1976, 332334.
 (With V.I.Inozemtsev and V.A.Meshcheryakov) Uniformization of the ForwardScattering Amplitude at High Energy, Lettere al Nuovo Cimento, 15, 1976, 321328.
 (With V.E.Aleinikov and M.M.Komochkov) Some Regularities in Formation of the Neutron Spectra Outside the Shielding of Proton Accelerators, Sov. Atomic Energy, 42, 4, 1977, 305.
 (With V.A.Meshcheryakov) Uniformization of the Forward Scattering Amplitude in the Quark Model, In: "Processes of Multiple Production and Inclusive Reactions at High Energy", Institute of High Energy Physics, Serpukhov, 1977, 333340.
 On Application of Computer Algebra Systems for Computation of Feynman Integrals, Proceedings of International Meeting on Programming and Mathematical Methods for Solving the Physical Problems, (Dubna, September 2023, 1977), JINR D10,1111264, Dubna, 1978, 166174
 Analytical Computation of the Invariant Curve of the ChewLow Equations, U.S.S.R. Comput. Maths. Math. Phys. (Zh. Vychisl. Mat. & Mat. Fiz., 19, 6, 1979, 16021608), 19, 6, 1979, 257266.
 Local Construction of General Solution of the ChewLow Equation by Computer, Proceedings of International Conference on Systems and Techniques of Analytical Computing and Their Applications to Theoretical Physics (Dubna, September 1821, 1979), JINR D118013, 1980, 159169.
 (With O.V.Tarasov and D.V.Shirkov) Analytic Calculations on Digital Computers for Applications in Physics and Mathematics, Sov. Phys. Usp. (Usp. Fiz. Nauk, 130, 1980, 113147), 23(1), 1980, 5977.
 (With A.Karimkhodzhaev and R.N.Faustov) Hadronic Vacuum Polarization and Test of Quantum Electrodynamics at Low Energies, In: "Problems in Theory of Gravity and Elementary Particles", K.P.Staniukovich (Ed.), Atomizdat Publishers, Moscow, 1980, 172181.
 Analytical Calculations in High Energy Physics by Computer, Computer Physics Communications, 20, 1980, 8590. Global Structure of the General Solution of the ChewLow Equations, Sov. Theor. Math. Phys. (Teor. Mat. Fiz., 48, 3, 1981, 346355), 48, 3, 1982, 790796.
 Global Structure of the General Solution of the ChewLow Equations, Sov. Theor. Math. Phys. (Teor. Mat. Fiz., 48, 3, 1981, 346355), 48, 3, 1982, 790796.
 (With A.Yu.Zharkov) Solution of ChewLow Equations in the Quadratic Approximation, Sov. Theor. Math. Phys. (Teor. Mat. Fiz., 52, 3, 1982, 384392), 52, 3, 1983, 868874.
 (With A.B.Shvachka and A.Yu.Zharkov) Investigation of Nonlinear Evolution Equations Using Analytical Calculation Systems, Proceedings of the Second International Conference on Systems and Techniques of Analytical Computing and Their Applications in Theoretical Physics (Dubna, September 2123, 1982), JINR D1183511, Dubna, 1983, 114119.
 (With A.Yu.Zharkov) A REDUCE Package for Solving of Ordinary Differential Equations, Proceedings of the Second International Conference on Systems and Techniques of Analytical Computing and Their Applications in Theoretical Physics (Dubna, September 2123, 1982), JINR D1183511, Dubna, 1983, 171177.
 (With A.Yu.Zharkov) Iterative Method of Construction of General Solution of the ChewLow Equation, Proceedings of the Second International Conference on Systems and Techniques of Analytical Computing and Their Applications in Theoretical Physics (Dubna, September 2123, 1982), JINR D1183511, Dubna, 1983, 232241.
 (With A.P.Kryukov, A.Ya.Rodionov and A.Yu.Zharkov) An Algorithm of Elementary Fraction Decomposition of Rational Functions and Its Implementation in System REDUCE, Proceedings of the Second International Conference on Systems and Techniques of Analytical Computing and Their Applications in Theoretical Physics (Dubna, September 2123, 1982), JINR D1183511, Dubna, 1983, 178182.
 (With O.V.Tarasov) Analytical Computations by Computer and its Application to High Energy Physics, Proceedings of the XY International School on High Energy Physics for Young Scientists (Dubna, November 23  December 2, 1982), JINR D2,483179, Dubna, 1983, 481504.
 (With V.K.Mitrjushkin) Phase Transitions in the Euclidean and Hamiltonian Approaches to Lattice Gauge Theories at a Finite Temperature, JETP Lett. (Pis'ma Zh. Eksp. Teor. Fiz. 37, 8, 1983, 400403), 37, 8, 1983, 474478.
 (With A.Yu.Zharkov) Cubic Approximation and Local Limitations on the Functional Arbitrariness in the General Solution of the ChewLow Equations, Sov. Theor. Math. Phys. (Teor. Mat. Fiz., 55, 3, 1983, 469474), 52, 3, 1983, 626639.
 (With A.S.Ilchev and V.K.Mitrjushkin) Phase Transitions in Abelian Higgs Models on a Lattice, Sov. J. Nucl. Phys. (Yad. Fiz., 40, 1984, 10971104), 40, (4), 1985, 698702.
 (With A.Yu.Zharkov) Methods of Investigating and Solving Differential Equations by Means of Algebraic Computation, In: "Systems for Analytical Transformations in Mechanics", Gorky, 1984, 1619.
 (With A.B.Shvachka and A.Yu.Zharkov) FORMINT  a Program for the Classification of Integrable Nonlinear Evolution Equations, Computer Physics Communications, 34, 1985, 303311.
 (With A.S.Ilchev, V.K.Mitrjushkin and A.M.Zadorozhny) SU(2) Lattice Gauge  Higgs Model, Zeitschrift für Physik C  Particles and Fields, 29, 1985, 363369.
 (With A.B.Shvachka and A.Yu.Zharkov) Computer Algebra Application for Classification of Integrable NonLinear Evolution Equations, Journal of Symbolic Computation, 1, 1, 1985, 101107.
 (With A.Yu.Zharkov) On Computer Algebra Application to Classification of Integrable Systems of Nonlinear Evolution Equations, Proceedings of the Third International Conference on Computer Algebra and its Applications to Theoretical Physics (Dubna, September 1720, 1985), JINR D1185791, Dubna, 1985, 225330.
 (With N.A.Kostov, R.P.Raychev and R.P.Roussev) Algebraic Models in Nuclear Physics and Group Theory Computation with Using of Computer Algebra Systems, Proceedings of the Third International Conference on Computer Algebra and its Applications to Theoretical Physics (Dubna, September 1720, 1985), JINR D1185791, Dubna, 1985, 376381.
 (With A.S.Ilchev, V.K.Mitrjushkin, I.K.Sobolev and A.M.Zadorozh, Nuclear Physics B265 [FS15], 1986, 145160.
 (With D.Yu.Grigor'ev) Computer Algebra Algorithms, Systems and Applications, In: "Computer Algebra. Symbolic and Algebraic Computation", Mir Publishers, Moscow, 1986, 373383.
 (With V.K.Mitrjushkin and A.M.Zadorozhny) The Phase Structure of the SU(3) Lattice GaugeHiggs Model, Physics Letters 172B, 1, 1986, 6570.
 (With A.S.Ilchev and V.K.Mitrjushkin) Lattice U(1) Higgs—Gauge Theory, Sov. J. Nucl. Phys. (Yad. Fiz., 43, 1986, 736746), 43 (3), 1986, 468473.
 (With O.V.Tarasov and D.V.Shirkov) Analytical Computations by Computer in Theoretical Physics, In: "Problems of Cybernetics. Computer Application to Quantum Field Theory", Moscow, 1987, 146154.
 (With V.K.Mitrjushkin and A.M.Zadorozhny) Phase Structure of GaugeHiggs Lattice Theory, Proceedings of International Seminar "Quarks86" (Tbilisi, April 1517, 1986), Moscow, 1987, 300307.
 (With A.A.Bogoliubskaya and O.V.Tarasov) On Forming of Libraries for Computer Algebra Systems SCHOONSCHIP and REDUCE, In: "Applied Packages. Analytical Transformations", Nauka Publishers, Moscow, 1988, 8390.
 (With R.N.Fedorova, N.N.Govorun and V.P.Shirikov) Software for Analytical Computation, In: "Modern Problems of Applied Mathematics and Mathematical Physics", Nauka Publishers, Moscow, 1988, 150160.
 (With D.V.Shirkov) New Trends in Computer Science. Computer Algebra, In: "Computers in Modern Science", Nauka Publishers, Moscow, 1988, 3548.
 (With O.V.Tarasov and D.V.Shirkov) Computer Algebra Application to High Energy Physics, Proceedings of International School on the Problems of Use of Computers in Physical Research (Dubna, 28 November  3 December, 1988), JINR D108970, Dubna, 1989, 134178.
 (With R.N.Fedorova, N.N.Govorun and V.P.Shirikov) Computer Algebra in Physical Research of Joint Institute for Nuclear Research, In: "EUROCAL'87", Lecture Notes in Computer Science 378, SpringerVerlag, 1989, 110.
 (With A.B.Shabat, S.I.Svinolupov and A.Yu.Zharkov) Computer Algebra Application to Investigating Integrability of Nonlinear Evolution Systems, In: "EUROCAL'87", Lecture Notes in Computer Science 378, SpringerVerlag, 1989, 8192.
 (With A.Yu.Zharkov) Computer Classification of Integrable Seventh Order MKdVLike Equations, In: "EUROCAL'87", Lecture Notes in Computer Science 378, SpringerVerlag, 1989, 9394.
 (With N.A.Kostov and Z.T.Kostova) Computer Algebra and Computation of Puiseux Expansions of Algebraic Functions, In: "EUROCAL'87", Lecture Notes in Computer Science 378, SpringerVerlag, 1989, 206207.
 (With N.A.Kostov) Computer Algebra in the Theory of Ordinary Differential Equations of Halphen Type, In: "Computer and Mathematics", E.Kaltofen and S.M.Watt (Eds.), SpringerVerlag, New York, 1989, 279288.
 (With N.A.Kostov and A.Y.Spasov) Investigation of Four Wave Interaction in j ^{4} Theory Using Computer Algebra, In: "Solitons and Applications", V.G.Makhankov, V.K.Fedyanin and O.K.Pashaev (Eds.), World Scientific Publishing Co., Singapore, 1990, 114119.
 (With N.A.Kostov and A.Yu.Zharkov) Nonlinear Evolution Equations and Solving Algebraic Systems: the Importance of Computer Algebra, In: "Solitons and Applications", V.G.Makankov, V.K.Fedyanin and O.K.Pashaev (Eds.), World Scientific Publishing Co., Singapore, 1990, 120128.
 (With A.Yu.Zharkov) Computer Classification of Integrable Coupled KdVLike Systems, Journal of Symbolic Computation, 10, 1990, 203207.
 (With A.Yu.Zharkov) Computer Generation of Necessary Integrability Conditions for PolynomialNonlinear Evolution Systems, Proceedings of "ISSAC'90", International Symposium on Symbolic and Algebraic Computation, ACM Press, AddisonWesley Publishing Company, 1990, 250254.
 (With N.V.Khutornoy and A.Yu.Zharkov) LieBäcklund Symmetries of Coupled Nonlinear Schrödinger Equations, Proceedings of "ISSAC'91", International Symposium on Symbolic and Algebraic Computation, ACM Press, AddisonWesley Publ. Company, 1991, 313314
 Integrability of PolynomialNonlinear Evolution Equations and Computer Algebra, In: "Nonlinear Evolution Equations and Dynamical Systems", V.G.Makhankov and O.K.Pashaev (Eds.), SpringerVerlag, Berlin, 1991, 121123.
 (With V.E.Kovtun and V.N.Robuk) Genetic Codes of Lie Algebras and Nonlinear Evolution Equations, In: "Nonlinear Evolution Equations and Dynamical Systems", V.G.Makhankov and O.K.Pashaev (Eds.), SpringerVerlag, Berlin, 1991, 124126.
 (With I.R.Akselrod, V.E.Kovtun and V.N.Robuk) Construction of a Lie Algebra by a Subset of Generators and Commutation Relations, In: "Computer Algebra in Physical Research", D.V.Shirkov, V.A.Rostovtsev and V.P.Gerdt (Eds.), World Scientific Publ.Co., Singapore, 1991, 306312.
 (With N.V.Khutornoy and A.Yu.Zharkov) Solving Algebraic Systems Which Arise as Necessary Integrability Conditions for PolynomialNonlinear Evolution Equations, In: "Computer Algebra in Physical Research", D.V.Shirkov, V.A.Rostovtsev and V.P.Gerdt (Eds.), World Scientific Publ.Co., Singapore, 1991, 321328.
 (With L.M.Berkovich, Z.T.Kostova and M.L.Nechaevsky) Integration of Some Classes of Linear Ordinary Differential Equations, In: "Computer Algebra in Physical Research", D.V.Shirkov, V.A.Rostovtsev and V.P.Gerdt (Eds.), World Scientific Publ.Co., Singapore, 1991, 350356.
 (With O.V.Tarasov and D.V.Shirkov) Symbolic and Formula Processing in HEP, In: "Computing in High Energy Physics'91", Y.Watase and F.Abe (Eds.), Universal Academy Press Inc., Tokyo, 1991, 373382.
 Computer Algebra Tools for Higher Symmetry Analysis of Nonlinear Evolution Equations, In: "Programming Environments for HighLevel Scientific Problem Solving", P.W.Gaffney and E.N.Houstis (Eds.), NorthHolland, 1992, 107115.
 (With N.V.Khutornoy and A.Yu.Zharkov) Gröbner Basis Technique, Homogeneity and Solving Polynomial Equations, Proceedings of the 1992 International Workshop on Mathematics Mechanization (Beijing, China, July 1618, 1992), Wu WenTsün and Cheng MinDe (Eds.), International Academic Publishers, Beijing, China, 1992, 3851.
 (With L.M.Berkovich, Z.T.Kostova and M.L.Nechaevsky) Second Order Reducible Linear Differential Equations, In: "Applied Packages. Software for Methematical Simulation", Nauka Publishers, Moscow, 1992, 924.
 Computer Algebra, Symmetry Analysis and Integrability of Nonlinear Evolution Equations, In: "Physics Computing'92", R.A. de Groot and J.Nadrchal (Eds.), World Scientific Publ.Co., Singapore, 1993, 5259; International Journal of Modern Physics C, v.4, No.2, 1993, 279286.
 (With N.V.Khutornoy and A.Yu.Zharkov) ASYS: A Computer Algebra Package for Analysis of Systems of Nonlinear Algebraic Equations, Russian Journal "Programming and Computer Software", No.2, 1993, 6975.
 (With W.Lassner) Isomorphism Verification for Complex and Real Lie Algebras by Gröbner Basis Technique, In: "Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics", N.H. Ibragimov et al. (Eds.), Kluwer Academic Publishers, Amsterdam, 1993, 245254.
 (With N.V.Khutornoy and A.Yu.Zharkov) ASYS2: a New Version of Computer Algebra Package ASYS for Analysis and Simplification of Polynomial Systems, Proceedings of the Rhein Workshop on Computer Algebra (Karlsruhe, Germany, March 2224, 1994), J.Calmet (Ed.), Institute of Algorithms and Cognitive Systems, University of Karlsruhe, 1994, 162178
 (With N.Khutornoy and W.Lassner) Computer Detecting of Lie Algebra Isomorphisms, In: "Programming and Mathematical Technique in Physics", Yu.Yu.Lobanov and E.P.Zhidkov (Eds.), World Scientific, Singapore, 1994, 108113.
 (With N.V.Khutornoy and A.Yu.Zharkov) Implementation of ZeroDimensional Gröbner Bases Transformation from One Order into Another, Proceedings of the International Workshop on New Computer Technologies in Control Systems (PerslavlZalessky, Russia, July 1115, 1994), Program Systems Institute, PereslavlZalessky, 1994, 3643.
 (With V.V.Kornyak) Lie Algebras and Lie Superalgebras Defined by a Finite Number of Relations: Computer Analysis, Journal of Nonlinear Mathematical Physics, v.2, No.3/4, 1995, 367373.
 (With V.V.Kornyak) Computer Analysis of Finitely Presented Lie Superalgebras, In: "New Computing Techniques in Physics Research IV", B. Denby and D. PerretGallix (Eds.), World Scientific, Singapore, 1996, pp. 289294.
 Homogeneity of Integrability Conditions for Multiparametric Families of PolynomialNonlinear Evolution Equations, Mathematics and Computers in Simulation, 42, 1996, 399408.
 (With V.V.Kornyak) Construction of Finitely Presented Lie Algebras and Superalgebras, Journal of Symbolic Computation, 21, 1996, 337349.
 (With V.F.Edneral, D.V.Shirkov and N.N.Vasiliev) {\em Computer Algebra as Applied to Science and Engineering, Russian Journal "Programming and Computer Software", 22, 6, 1996, 296306.
 (With V.N.Robuk and V.M.Severyanov) On Construction of Finitely Presented Lie Algebras, Russian Journal of Computational Mathematics and Mathematical Physics (Zh. Vychisl. Mat. \& Mat. Fiz.), 36, 11, 1996, 14931505.
 (With V.V.Kornyak) An Implementation in C of an Algorithm for Construction of Finitely Presented Lie Superalgebras, Computer Science Journal of Moldova, V 4, No. 3, 1996, 399427.
 (With V.V.Kornyak) A Program for Constructing the Complete Set of Relations, Basis Elements and Their Commutator Table for Finitely Presented Lie Algebras and Superalgebras, Russian Journal "Programming and Computer Software", 23, 1997, 164172.
 Gröbner Bases and Involutive Methods for Algebraic and Differential Equations, Mathematics and Computers in Modelling, 25, No. 8/9, 1997, 7590.
 (With V.V.Kornyak) A Program for Constructing Finitely Presented Lie Algebras and Superalgebras, Nuclear Instruments & Methods in Physics Research A 389, 1997, 370373.
 (With V.V.Kornyak) An Algorithm for Analysis of the Structure of Finitely Presented Lie Algebras and Superalgebras, Discrete Mathematics and Theoretical Computer Science 1, 1997, 217228.
 (With Yu.A.Blinkov) Involutive Bases of Polynomial Ideals, Mathematics and Computers in Simulation 45, 1998, 519542.
URL: http://arXiv.org/abs/math.RA/9912027.
 (With Yu.A.Blinkov) Minimal Involutive Bases, Mathematics and Computers in Simulation 45, 1998, 543560.
URL: http://arXiv.org/abs/math.RA/9912029.
 (With M.Berth and G.Czichowski) Involutive Divisions in Mathematica: Implementation and Some Applications, Proceedings of the 6th Rhein Workshop on Computer Algebra (SanktAugustin, Germany, March 31  April 3, 1998), J.Calmet (Ed.), Institute for Algorithms and Scientific Computing, GMDSCAI, SanktAugustin, 1998, pp.7491.
 (With M.Berth and G.Czichowski) Completion of Monomial Sets to Involution with Mathematica, International Conference "Computer Algebra in Scientific Computing" (April 2024, St.Petersburg, Russia), Extended Abstracts, Euler International Mathematical Institute, St.Petersburg, 1998, pp. 5863.
 (With Yu.A.Blinkov) Involutive Monomial Divisions, Russian Journal "Programming and Computer Software", 24, No.6, 1998, 283285.
 Completion of Linear Differential Systems to Involution, In: "Computer Algebra in Scientific Computing \/ CASC'99", V.G.Ganzha, E.W.Mayr and E.V.Vorozhtsov (Eds.), SpringerVerlag, Berlin, 1999, pp. 115137. URL: http://arXiv.org/abs/math.AP/9909114.
 (With S.A.Gogilidze) Constrained Hamiltonian Systems and Gröbner Bases, In: "Computer Algebra in Scientific Computing \ CASC'99", V.G.Ganzha, E.W.Mayr and E.V.Vorozhtsov (Eds.), SpringerVerlag, Berlin, 1999, pp. 138146. URL: http://arXiv.org/abs/math.AP/9909113.
 (With V.V.Kornyak, M.Berth and G.Czichowsky) Construction of Involutive Monomial Sets for Different Involutive Divisions, In: "Computer Algebra in Scientific Computing \ CASC'99", V.G.Ganzha, E.W.Mayr and E.V.Vorozhtsov (Eds.), SpringerVerlag, Berlin, 1999, pp. 147157. \\ URL: http://arXiv.org/abs/math.SC/9912031.
 (With M.G.Dmitriev and M.V.Nesterova) PolynomialNonlinear Boundary Problems with Inexactly Known Boundary Conditions and their Approximate Solving by Means of Gröbner Bases. Russian Journal "Fundamental and Applied Mathematics" 5, 1999, 675686.
 Computer Algebra and Constrained Dynamics. In: "Problems of Modern Physics", A.N.Sisakian and D.I.Trubetskov (Eds.), JINR D299263, 2000, pp. 164171.
 On the Relation Between Pommaret and Janet Bases, In: "Computer Algebra in Scientific Computing / CASC 2000", V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.), SpringerVerlag, Berlin, 2000, pp.164171. arXiv:math.AC/0004100
 (With Yu.A.Blinkov and D.A.Yanovich) Fast Search for the Janet Divisor. Russian Journal "Programming and Computer Software", Vol. 27, No. 1, 2001, 2224.
 Involutivity Applied to Differential Equations. Proceedings of International Conference "Differential Equations and Computer Algebra Systems" (Brest, Belarus, September 1922, 2000), Brest State University, 2001, pp. 1015.
 (With M.Berth) Computation of Involutive Bases with Mathematica. Proceedings of the Third International Workshop on Mathematica System in Teaching and Research (Sieldce, Poland, September 57, 2001), Institute of Mathematics \& Physics, University of Podlasie, 2001, pp. 2934.
 (With Yu.A.Blinkov and D.A.Yanovich) Computation of Janet Bases. I.Monomial Bases. In: "Computer Algebra in Scientific Computing / CASC 2001", V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.), SpringerVerlag, Berlin, 2001, pp. 233247.
 (With Yu.A.Blinkov and D.A.Yanovich) Computation of Janet Bases. II.Polynomial Bases. In: "Computer Algebra in Scientific Computing / CASC 2001", V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.), SpringerVerlag, Berlin, 2001, pp. 249263.
 On an Algorithmic Optimization in Computation of Involutive Bases. Russian Journal "Programming and Computer Software", Vol. 28, No. 2, 2002, 6265.
 Involutive Division Technique: Some Generalizations and Optimizations. Journal of Mathematical Sciences 108(6), 2002, 10341051. URL: http://arXiv.org/abs/math.SC/9912030.
 (With Yu.A.Blinkov) Janet Bases of Toric Ideals. In: "Computer Algebra and its Application to Physics CAAP2001", V.P.Gerdt (Ed.), JINR E5,112001279, Dubna, 2002, pp. 7182; Proceedings of the 8th Rhine Workshop on Computer Algebra (Mannheim, Germany, March 2122, 2002), H.Kredel, W.K.Seiler (Eds.), University of Mannheim, 2002, 125135. arXiv:math.AC/0501180
 (With A. M. Khvedelidze and D. M. Mladenov) Analysis of Constraints in Lightcone Version of SU(2) YangMills Mechanics. In: "Computer Algebra and its Application to Physics / CAAP2001", V.P.Gerdt (Ed.), JINR E5,112001279, Dubna, 2002, pp. 8392. URL: http://arXiv.org/hepth/0209107.
 (With D.A.Yanovich) Parallelism in Computing Janet Bases. In: "Computer Algebra and its Application to Physics / CAAP2001", V.P.Gerdt (Ed.), JINR E5,112001279, Dubna, 2002, pp. 93103; Proceedings of the Workshop on Under and Overdetermined Systems of Algebraic or Differential Equations (Karlsruhe, March 1819, 2002), J.Calmet, M.Hausdorf, W.M.Seiler (Eds.), Institute of Algorithms and Cognitive Systems, University of Karlsruhe, 2002, 4756.
 (With G. Carra'Ferro) Extended Characteristic Sets of Finitely Generated Differential Ideals. In: "Computer Algebra in Scientific Computing / CASC 2002", V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.). Institute of Informatics, Technical University of Munich, Garching, 2002, pp. 2936.
 (With D.A.Yanovich) Implementation of the FGLM Algorithm and Finding Roots of Polynomial Involutive Systems. Programming and Computer Software, Vol.29, No.2, 2003, 7274.
 (With G. Carra'Ferro) Improved KolchinRitt Algorithm. Programming and Computer Software, Vol.29, No.2, 2003, 8387.
 (With M.Znojil and D.A.Yanovich) New exact solutions for polynomial oscillators in large dimensions. Journal of Physics A: Mathematical and General 36, 2003, 65316545. URL: http://arXiv.org/mathph/0302046.
 (With Yu.A.Blinkov, C.F.Cid, W.Plesken and D.Robertz) The Maple Package "Janet": I.Polynomial Systems. In: "Computer Algebra in Scientific Computing / CASC 2003", V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.). Institute of Informatics, Technical University of Munich, Garching, 2003, pp.3140.
 (With Yu.A.Blinkov, C.F.Cid, W.Plesken and D.Robertz) The Maple Package "Janet": II.Linear Partial Differential Equations. In: "Computer Algebra in Scientific Computing / CASC 2003", V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.). Institute of Informatics, Technical University of Munich, Garching, 2003, pp.4154.
 (With M.Znojil and D.A.Yanovich) On Exact Solvability of Anharmonic Oscillators in Large Dimensions. In: "Computer Algebra in Scientific Computing / CASC 2003", V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.). Institute of Informatics, Technical University of Munich, Garching, 2003, pp.143162.
URL: http://arXiv.org/mathph/0310012.
 (With D.A.Yanovich) Parallel Computation of Involutive and Gröbner Bases. In: "Computer Algebra in Scientific Computing / CASC 2004", V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.). Institute of Informatics, Technical University of Munich, Garching, 2004, pp.185194.
 Gröbner Bases in Perturbative Calculations. Nuclear Physics B (Proc. Suppl.) 135, 2004, 232237.
URL: http://arXiv.org/hepph/0501053.
 (With D.A.Yanovich) Parallel Computation of Janet and Gröbner Bases over Rational Numbers. Programming and Computer Software, Vol.31, No.2, 2005, 7380.
 Involutive Algorithms for Computing Gröbner Bases. In "Computational Commutative and NonCommutative Algebraic Geometry", S.Cojocaru, G.Pfister
and V.Ufnarovski (Eds.), NATO Science Series, IOS Press, 2005, pp. 199225.
URL: http://arXiv.org/math.AC/0501111.
 (With Yu.A.Blinkov) Janetlike Monomial Division. in: "Computer Algebra in Scientific Computing / CASC 2005", V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov (Eds.), LNCS 3781, SpringerVerlag, Berlin, 2005, pp. 174183.
 (With Yu.A.Blinkov) Janetlike Gröbner Bases. in: "Computer Algebra in Scientific Computing / CASC 2005", V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov (Eds.), LNCS 3781, SpringerVerlag, Berlin, 2005, pp. 184195.
 (With A.Gusev, M.Kaschiev, V.Rostovtsev, V.Samoylov, T.Tupikova, Y.Uwano and S.Vinitsky) SymbolicNumerical Algorithm for Solving the TimeDependent Shrödinger Equation by SplitOperator Method. In: "Computer Algebra in Scientific Computing / CASC 2005", V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov (Eds.), LNCS 3781, SpringerVerlag, Berlin, 2005, pp. 244258.
 (With D.A.Yanovich) Experimental Analysis of Involutive Criteria. In: "Algorithmic Algebra and Logic", A.Dolzmann, A.Seidl and T.Sturm (Eds.), BOD Norderstedt, Germany, pp. 105109.
 (With D.Robertz) Computation of Gröbner Bases for Systems of Linear Difference Equations. Computeralgebra, Rundbrief Nr.37, GI_DMV_GAMM, 2005, 813.
 (With Yu.A.Blinkov) On Computing Janet Bases for Degree Compatible Orderings. Proceedings of the 10th Rhine Workshop on Computer Algebra (Basel, Switzerland, March 1617, 2006), J.Draisma and H.Kraft (Eds.), University of Basel, 2006, pp.107117 URL: http://arXiv:math.AC/0603161.
 On Computation of Gröbner Bases for Linear Difference Systems. Nuclear Instruments and Methods in Physics Research 559(1), 2006, 211214. URL: http://arXiv.org/mathph/0509050.
 (With D.Robertz) A Maple Package for Computing Gröbner Bases for Linear Recurrence Relations. Nuclear Instruments and Methods in Physics Research 559(1), 2006, 215219. URL: http://arXiv:cs.SC/0509070.
 (With V.M.Severyanov) A Software Package to Construct Polynomial Sets over Z2 for Determining the Output of Quantum
Computation. Nuclear Instruments and Methods in Physics Research A 559(1), 2006, 215219. 260264. URL: arXiv:quantph/0509064.
(With Yu.A.Blinkov and V.V.Mozzhilkin) Gröbner Bases and Generation of Difference Schemes for Partial Differential Equations. Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) 2 (2006) 051, 26 pages. URL: arXiv:math.RA/0605334
(With S.I. Vinitsky, A.A. Gusev, M.S. Kaschiev, V.A. Rostovtsev, V.N. Samoylov, T.V. Tupikova, Y. Uwano) Symbolic algorithm for factorization of evolution operator for timedependent Schroedinger equation. Programming and Computer Software, Vol. 32, No. 2, 2006, 103–113.
(With D.A.Yanovich) Effectiveness of Involutive Criteria in Computation of Polynomial Janet Bases. Programming and Computer Software, Vol. 32, No. 3, 2006, 134–138.
(With A.Gusev, M.Kaschiev, V.Rostovtsev, V.Samoylov, T.Tupikova, S.Vinitsky) A SymbolicNumerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom. In: ``Computer Algebra in Scientific Computing / CASC 2006", V. G. Ganzha, E.W. Mayr, E. V. Vorozhtsov (Eds.), LNCS 4194, SpringerVerlag, Berlin, 2006, pp. 205218.

(With A.Khvedelidze, Yu.Palii). Towards an Algorithmization of the Dirac Constraints Formalism. In: “Global Integrability of Field Theories”, J.Calmet, W.M.Seiler, R.W.Tucker (Eds.), Cocroft Institute, Daresbury (UK), 2006, pp.135–154. arXiv:mathph/0611021

(With V.M.Severyanov) An Algorithm for Constructing Polynomial Systems Whose Solution Space Characterizes Quantum Circuits. In: “Quantum Informatics 2005”, Yu.I.Ozhigov (Ed.), Proceedings of SPIE, Volume 6264, 626401, 2006.

(With R.Horan, A.Khvedelidze, M.Lavelle, D.McMullan, Yu.Palii). On the Hamiltonian reduction of geodesic motion on SU(3)to SU(3)/SU(2). Journal of Mathematical Physics, Vol.47, No. 10, 2006, 112902 (27 pages). arXiv:hepth/0511245

Involutive methods applied to algebraic and differential equations. In: “Constructive algebra and Systems Theory”, B.Hanzon, M.Hazewinkel (Eds.), Royal Netherland Academy of Arts and Sciences, Amsterdam, 2006, pp.245250.

(With A.M.Khvedelidze and D.M.Mladenov) . On application of
involutivity analysis of differential equations to constrained
dynamical systems. Symmetries and
Integrable Systems, Selected Papers of the Seminar, 20002005, A.N.Sissakian (ed.), vol.1, Dubna, JINR, pp.132150, 2006. arXiv:hepth/0311174.

(With R.Kragler, A.N.Prokopenya). Mathematica Package for Construction of Circuit Matrices in Quantum Computation. In: “Computer Algebra Systems in Teaching and Research CASTR 2007”, University of Podlasie, Scieldce, Poland, 2007, pp.135144.

(With V.M.Severyanov) C# Package for Assembling Quantum Circuits and Generating Associated Polynomial Sets. Physics of Particles and Nuclei Letters, Vol.4, No.2, 2007, 225–230.

(With A.Gusev, M.Kaschiev, V.Rostovtsev, V.Samoylov, T.Tupikova, Y.Uwano, S.Vinitsky) On Symbolic
Numerical Representation of Evolution Operator for FiniteDimensional Quantum Systems. Particles
and Nuclei, Letters, Vol. 4, No.2, 2007, 253259.

(With O.Chuluunbaatar, A.Gusev, M.Kaschiev, V.Rostovtsev, V.Samoylov, T.Tupikova, S.Vinitsky). SymbolicNumeric Algorithm for Computing Matrix Elements of Parametric Eigenvalue Problem. Programming and Computer Software, Vol. 33, No. 2, 105116, 2007.

(With Yu.A.Blinkov). On Selection Strategy for Nonmultiplicative Prolongations at Construction of Janet Bases. Programming and Computer Software, Vol. 33, No. 3, 147153, 2007.

(With O.Chuluunbaatar, A.Gusev, M.Kaschiev, V.Rostovtsev, V.Samoylov, T.Tupikova, S.Vinitsky). SymbolicNumerical Algorithm for Solving the Eigenvalue Problem for Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates. In: “Computer Algebra in Scientific Computing CASC 2007”, V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.) LNCS 4770, SpringerVerlag, Berlin, 2007, pp. 118–
133.

(With A.M.Khvedelidze, Yu.G.Palii.) Deducing the constraints in the lightcone SU(3) YangMills mechanics via Gr¨obner bases. In: “Computer Algebra in Scientific Computing / CASC 2007”, V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.) LNCS 4770, SpringerVerlag, Berlin, 2007, pp. 145–159.

(With R.Kragler, A.N.Prokopenya). On computer algebra application to simulation of quantum computation.
Models and Methods in Fewand ManyBody Systems. Proceedings of the DSTUNISAJINR
symposium, University of South Africa, Pretoria, 2007, pp.219232.

On Completion to Involution Based on Janet Division. Computer Algebra and Differential Equations,
Acta Academiae Aboensis, Ser. B, Vol. 67, no. 2, 2007, pp.111.

(With R.Kragler, A.N.Prokopenya). A Mathematica Package for Construction of Circuit Matrices in
Quantum Computation. Computer Algebra and Differential Equations, Acta Academiae Aboensis, Ser.
B, Vol. 67, no. 2, 2007, pp.2838.

(With M.V.Zinin) On computation of Gr¨obner bases over F2. Computer Algebra and Differential
Equations, Acta Academiae Aboensis, Ser. B, Vol. 67, no. 2, 2007, pp.5968.

(With O.Chuluunbaatar, A.A.Gusev, V.A.Rostovtsev, T.V.Tupikova, S.I.Vinitsky, A.G.Abrashkevich,
M.S.Kaschiev, V.V.Serov). POTHMF, a program to compute matrix elements of the coupled radial
equations for a Hydrogenlike atom in a homogeneous magnetic field. Computer Algebra and Differential
Equations, Acta Academiae Aboensis, Ser. B, Vol. 67, no. 2, 2007, pp.6978.

(With Yu.A.Blinkov) On computer algebraaided stability analysis of difference schemes generated by
means of Gröbner bases. Computer Algebra and Differential Equations, Acta Academiae Aboensis,
Ser. B, Vol. 67, no. 2, 2007, pp.168177.

(With O.Chuluunbaatar, A.A.Gusev, S.I.Vinitsky, A.G. Abrashkevich, M.S.Kaschiev, V.V.Serov).
POTHMF: A program for computing potential curves and matrix elements of the coupled adiabatic
radial equations for a Hydrogenlike atom in a homogeneous magnetic field. Computer Physics Communications
178, 301–330, 2008.

On Decomposition of Algebraic PDE Systems into Simple Subsystems. Acta Appl. Math. 101, 2008,
39–51.

Gröbner Bases Applied to Systems of Linear Difference Equations. Physics of Particles and Nuclei
Letters Vol.5, No.3, 2008, 425–436. arXiv:cs.SC/0611041

(With A.M.Khvedelidze, Yu.G.Palii.) Lightcone YangMills mechanics: SU(2) vs. SU(3). Theoretical
and Mathematical Physics 155(1), 2008, 557566.

(With Yu.A.Blinkov) Specialized Computer Algebra System GINV. Programming and Computer Software,
Vol. 34, No. 2, 2008, 112–123.

(With M.V.Zinin) Involutive Method for Computing Gröbner Bases over F2. Programming and Computer
Software, Vol.34, No. 4, 2008, 191–203.

(With M.V.Zinin) A Pommaret Division Algorithm for Computing Gröbner Bases in Boolean Rings.
Proceedings of ISSAC 2008, ACM Press, pp.95–102.

(With Nguyen Van Hieu, Nguyen Bich Ha, O. Chuluunbaatar, A.A. Gusev, Yu. G. Palii and Nguyen
Van Hop) Analytical Asymptotic Expressions for the Green’s Function of the Electron in a SingleLevel
Quantum Dot at the Kondo and the Fano Resonances. Journal of the Korean Physical Society, Vol.
53, No. 6, 2008, 3645–3649.

(With M.V.Zinin) Role of Involutive Criteria in Computing Boolean Gröbner Bases. Programming and
Computer Software, Vol.35, No.2, 2009, 90–97.

(With M.Eliashvili, A.M.Khevedelidze) On precession of entangled spins in a strong laser field. Physics
of Atomic Nuclei, Vol.72, No.5, 2009, 18.

(With Yu.A.Blinkov and M.V.Zinin) On computation of Boolean involutive bases. Proceedings of
the 2nd International conference “Polynomial Computer Algebra”, POMI RAS, St.Petersburg, 2009,
pp.17–24.

(with Yu.A.Blinkov) Involution and Difference Schemes for the NavierStokes Equations.
In: “Computer Algebra in Scientific Computing / CASC
2009'', V.P.Gerdt, E.W.Mayr, E.V.Vorozhtsov (Eds.), LNCS 5743, SpringerVerlag, Berlin, 2009, pp.94105.

(with R.Kragler, A.N.Prokopenya) A Mathematica Package for Simulation of Quantum Computation.
In: "Computer Algebra in Scientific Computing / CASC 2009", V.P.Gerdt, E.W.Mayr, E.V.Vorozhtsov
(Eds.), LNCS 5743, SpringerVerlag, Berlin, 2009, pp.106117.

(with S.I. Vinitsky, O. Chuluunbaatar, A.A. Gusev, V.A. Rostovtsev) SymbolicNumerical Algorithms
for Solving Parabolic Quantum Well Problem with HydrogenLike Impurity. In: \Computer Algebra
in Scientific Computing / CASC 2009", V.P.Gerdt, E.W.Mayr, E.V.Vorozhtsov (Eds.), LNCS 5743,
SpringerVerlag, Berlin, 2009, pp.334349.

On Completion of Nonlinear Differential Systems to Involution. Proceedings of the 4th World Conference on 21st Century Mathematics, A.D.R.Choudary (ed.), Lahore, Pakistan, 2009, pp.7987.

(with M.V.Zinin) An algorithmic approach to solving polynomial equations associated with quantum
circuits. Physics of Particles and Nuclei Letters, Vol.6, No.7, 2009, 521525.

(with R.Kragler, A.N.Prokopenya) A Mathematica Program for Constructing Quantum Circuits and
Computing Their Unitary Matrices. Physics of Particles and Nuclei Letters, Vol.6, No.7, 2009, 526529.

(with O.Chuluunbaatar, A.A.Gusev, M.S.Kaschiev, V.A.Rostovtsev, Y.Uwano, S.I.Vinitsky) Multi
Layer Evolution Schemes for the FiniteDimensional Quantum Systems in External Fields. Physics of
Particles and Nuclei Letters, Vol.6, No.7, 2009, 550553.

Algebraically Simple Involutive PDEs and Cauchy Problem. Journal of Mathematical Sciences, Vol.168,
No.3, 2010, 362367.

(with A.Khvedelidze and Yu.Palii) On the ring of local invariants for a pair of entangles qubits. Journal
of Mathematical Sciences, Vol.168, No.3, 2010, 368378. arXiv:quantph/1007.0968

(with D.Stefanescu and S.Yevlakhov) Estimations of Positive Roots of Polynomials. Journal of Math
ematical Sciences, Vol.168, No.3, 2010, 468474.

(with A.N.Prokopenya) On Some Algorithms of Computing Unitary Matrices for Quantum Circuits.
Programming and Computer Software, Vol.36, No.2, 2010, 111116.
(with Yu.A.Blinkov and M.V.Zinin) On Computing Boolean Involutive Bases. Programming and Com
puter Software, Vol.36, No.2, 2010, 117123.

(with D.Robertz) Consistency of Finite Difference Approximations for Linear PDE Systems and its
Algorithmic Verification. Proceedings of ISSAC 2010, ACM Press, 2010, pp.5359.

(with T.Bächler, M.LangeHegermann and D.Robertz). Thomas Decomposition of Algebraic and Differential Systems. In: "Computer Algebra in Scientific Computing / CASC 2010", V.P.Gerdt,
W.Koepff, E.W.Mayr, E.V.Vorozhtsov (Eds.), LNCS 6264, SpringerVerlag, Berlin, 2010, pp.3154.

(with A.A. Gusev, O. Chuluunbaatar, V.A. Rostovtsev, S.I. Vinitsky, V.L. Derbov and V.V. Serov)
SymbolicNumeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models. In: “Computer Algebra in Scientific Computing / CASC 2010", V.P.Gerdt, W.Koepff, E.W.Mayr, E.V.Vorozhtsov
(Eds.), LNCS 6264, SpringerVerlag, Berlin, 2010, pp.106122. arXiv:condmat.meshall/1004.4202

(with A.N.Prokopenya) Simulation of the quantum algorithm for order finding with the QuantumCircuit
package. Vestnik of Brest Technical University, Series Physics, Mathematics, Informatics, No.5, 2010, 7883 (in Russian).

(with A.Khvedelidze and Yu.Palii) Constraints on SU(2) ⊗SU(2) invariant polynomials for entangled
qubit pair. Physics of Atomic Nucleii, Vol. 74, No. 6, 2011, 893900.

(with Yu.A.Blinkov) Involutive Division Generated by an Antigraded Monomial Ordering. In: “Computer Algebra in Scientific Computing / CASC
2011'', V.P.Gerdt, W.Koepff, E.W.Mayr, E.V.Vorozhtsov (Eds.), LNCS 6885, SpringerVerlag, Berlin, 2011, pp.158174.

(with A.A. Gusev, S.I. Vinitsky, O. Chuluunbaatar and V.A. Rostovtsev) SymbolicNumerical Algorithms to Solve the Quantum Tunneling Problem for a Coupled Pair of Ions. In: “Computer Algebra in Scientific Computing / CASC
2011'', V.P.Gerdt, W.Koepff, E.W.Mayr, E.V.Vorozhtsov (Eds.), LNCS 6885, SpringerVerlag, Berlin, 2011, pp.175191.

(with A.Khvedelidze and Yu.Palii) Separability of TwoQubit State in Terms of Local Invariants. Physics of Particles and Nuclei Letters Vol.8, No.5, 2011, 451454.

(with A.Khvedelidze, D.Mladenov and Yu.Palii). SU(6) Casimir Invariants and SU(2) ⊗SU(3) Scalars for a Mixed QubitQutrit States. Journal of Mathematical Sciences, Vol. 179, No. 6, 2011, 690701. arXiv:quantph/1106.4905

Consistency Analysis of Finite Difference Approximations to PDE Systems. Proceedings of MMCP 2011 (July 38, 2011, Stara; Lesna;, High Tatra Mountains, Slovakia), G.Adam, J.Busa, M.Hnatic (Eds.), LNCS 7175, Springer, Heidelberg, 2012, pp.2842. arXiv:math.AP/1107.4269

(with A.N. Prokopenya) The Circuit Model of Quantum Computation and its Simulation with Mathematica. Proceedings of MMCP 2011 (July 38, 2011, Stara Lesna, High Tatra Mountains, Slovakia), G.Adam, J.Busa, M.Hnatic (Eds.), LNCS 7175, Springer, Heidelberg, 2012, pp.4355.

(with T.Bächler, M.LangeHegermann and D.Robertz). Algorithmic Thomas Decomposition of Algebraic and
Differential Systems. Journal of Symbolic Computation, 47(10), 12331266, 2012. \\ arXiv:math.AC/1108.0817

(with A.Hashemi and B.M.Alizadeh) A Variant of Gerdt`s Algorithm for Computing Involutive Bases. Herald of Peoples' Friendship University of Russia: Series Mathematics, Information Sciences, Physics, No.2, 2012, 4354. arXiv:math.RA/1108.3261

(with A.Hashemi) Comprehensive Involutive Systems. In: “Computer Algebra in Scientific Computing / CASC
2012'', V.P.Gerdt, W.Koepff, E.W.Mayr, E.V.Vorozhtsov (Eds.), LNCS 7442, SpringerVerlag, Berlin, 2012, pp.98116. arXiv:cs.SC/1206.0181

(with A.Gusev, S.Vinitsky, O.Chuluunbaatar, L. Le Hai, V. Rostovtsev) SymbolicNumerical Algorithm for
Calculations of Highm Rydberg States and Decay Rates. In: "Computer Algebra in Scientific Computing / CASC
2012'', V.P.Gerdt, W.Koepff, E.W.Mayr, E.V.Vorozhtsov (Eds.), LNCS 7442, SpringerVerlag, Berlin, 2012, pp.155171.

On investigation of finite difference approximations to partial differential equations systems. Electronic journal ''System analysis in science and education'' (in Russian). http://www.sanse.ru/archive/24

(With D.Robertz) Computation of Difference Gröbner Bases. Computer Science Journal of Moldova, 20(2), 2012, 203226. arXiv:cs.SC/1206.3463

(With A.Hashemi) On the Use of Buchberger Criteria in G2V Algorithm for Calculating Gröbner Bases. Programming and Computer Software, Vol.39, No.2, 2013, 8190.

(with S.Gogilidze, A.Khvedelidze, D.Mladenov, V.Sanadze). Entanglement of spins under strong laser
in
uence. Physica Scripta, T153, 2013, 014026 (5pp). arXiv:quantph/1306.2074

(with A.Prokopenya) Simulation of Quantum Error Correction by Means of QuantumCircuit Package.
Programming and Computer Software, Vol.39, No.3, 2013, 143149.

(with A.Hashemi and B.M.Alizadeh) An Involutive Bases Algorithm Incorporating F5 Criterion. Journal
of Symbolic Computation, 59, 2013, 120. arXiv:math.AC/1306.6811

(with P.Amodio, Yu.A.Blinkov and R.La Scala) On Consistency of Finite Dierence Approximations
to the NavierStokes Equations. In: "Computer Algebra in Scientific Computing / CASC 2013",
V.P.Gerdt, W.Koepff, E.W.Mayr, E.V.Vorozhtsov (Eds.), LNCS 8136, Springer, Cham, 2013, pp.46
60. arXiv:math.NA/1307.0914

(with A.Prokopenya) Simulation of Quantum Error Correction with Mathematica. In:"Computer
Algebra in Scientific Computing / CASC 2013", V.P.Gerdt, W.Koepff, E.W.Mayr, E.V.Vorozhtsov
(Eds.), LNCS 8136, Springer, Cham, 2013, pp.116129.

(with A.Khvedelidze and Yu.Palii) Describing the orbit space of global unitary actions for mixed qudit
states. Journal of Mathematical Sciences, Vol.200, No.6, 2014, 682689. arXiv:quantph/1311.4649

(with D.Michels, D.Lyakhov, G.Sobottka and A.Weber) Lie Symmetry Analysis for Cosserat Rods.
In: "Computer Algebra in Scientifc Computing / CASC 2014", V.P.Gerdt, W.Koepff, W.M. Seiler,
E.V.Vorozhtsov (Eds.), LNCS 8860, Springer, Cham, 2014, pp.324334.

(with R.La Scala) Noetherian Quotient of the Algebra of Partial Difference Polynomials and Gröobner
Bases of Symmetric Ideals. Journal of Algebra, Vol. 423, 2015, 12331261. arXiv:math.AC/1304.7967

(with A.Khvedelidze and Yu.Palii) Constructing SU(2) x U(1) orbit space for qutrit mixed states.
Journal of Mathematical Sciences, Vol. 209, No. 6, 2015, 878889. arXiv:quantph/1408.6697

(with A.A.Gusev, S.I.Vinitsky, V.L.Derbov, A.Góźdź and A. Pędrak ) Symbolic algorithm for generating irreducible bases of point groups in the space of SO(3) group. In: "Computer Algebra in Scientific
Computing / CASC 2015", V.P.Gerdt, W.Koepff, W.M.Seiler, E.V.Vorozhtsov (Eds.), LNCS 9301,
Springer, Cham, 2015, pp.166181.

(with D.Michels, D.Lyakhov, G.Sobottka and A.Weber) On Partial Analytical Solution to the Kirchhoff Equation. In: "Computer Algebra in Scientic Computing / CASC 2015", V.P.Gerdt, W.Koepff,
W.M.Seiler, E.V.Vorozhtsov (Eds.), LNCS 9301, Springer, Cham, 2015, pp.320331.

(with D.Robertz) Lagrangian constraints and Differential Thomas decomposition. (2015), http://dx.doi.org/10.1016/j.aam.2015.09.005. arXiv:math.DS/1509.01464

(with A.A.Gusev, L.L.Hai, V.L. Derbov, S.I.Vinitsky, O.Chuluunbaatar) SymbolicNumeric Algorithms
for Solving BVPs for a System of ODEs of the Second Order: Multichannel Scattering and Eigenvalue
Problems. In: \Computer Algebra in Scientific Computing / CASC 2016", V.P.Gerdt, W.Koepff,
W.M.Seiler, E.V.Vorozhtsov (Eds.), LNCS 9890, Springer, Cham, 2016, pp.212227.

(with A.A.Gusev, S.I.Vinitsky, V.L.Derbov, A.Góźdź and A. Pędrak, A.Szulerecka and A.Dobrowolski)
Symbolic algorithm for generating irreducible rotationalvibrational bases of point groups. In: \Computer
Algebra in Scientific Computing / CASC 2016", V.P.Gerdt, W.Koepff, W.M.Seiler, E.V.Vorozhtsov
(Eds.), LNCS 9890, Springer, Cham, 2016, pp.228242.

(with D.Michels, D.Lyakhov, Z.Hossain, I.RiedelKruse and A.Weber) On the General, Analytical
Solution of the Kinematic Cosserat Equations. In: \Computer Algebra in Scientific Computing /
CASC 2016", V.P.Gerdt, W.Koepff, W.M.Seiler, E.V.Vorozhtsov (Eds.), LNCS 9890, Springer, Cham,
2016, pp.367380.

(with A.Khvedelidze and Yu.Palii) On the ring of local unitary invariants for mixed Xstates of two
qubits. Zapiski Nauchnyh Seminarov POMI 448, 2016, 107123. arXiv:quantph/1603.03262

(with A.A.Gusev, S.I.Vinitsky, O.Chuluunbaatar, V.L.Derbov) Symbolic numerical algorithms and
programs for the solution of boundaryvalue problems of dynamics of fewbody quantum systems. In the
Proceedings of the 9th International Scientific Conference "Distributed Computer and Communication
Networks: Control, Computation, Communications (DCCN2016), V.M.Vishnevskiy, K.E.Samouylov
(Eds.), Vol.2, Mathematical Modelling Simulation and Control Problems, Moscow, 2016, pp.100108.

(with Yu.A.Blinkov, K.B.Marinov) Computer Algebra Based Discretization of Quaslinear Evolution
Equations. Programming and Computer Software, 43(2), 2017, 8489.
Communications of Joint Institute for Nuclear Research
 (With V.A.Meshcheryakov) New Type of Sum Rules for p N  Scattering in Subthreshold Region, JINR R2 7222, Dubna, 1973.
 (With V.A.Meshcheryakov) Local Study of Rest Points of the ChewLow Type Equation, JINR R27976, Dubna, 1974.
 (With V.E.Aleinikov, M.A.Ignatenko and V.I.Zovbun) Radiation Situation in the Area of the Canal of Slow Beam Which Is Extracted from the 10 Gev Synchrophasotron, JINR 168583, Dubna, 1975.
 Local Uniformization of Amplitude of Elastic HadronHadron Scattering, JINR 29709, Dubna, 1976.
 (With O.V.Tarasov and D.V.Shirkov) Analytical Calculations by Computer in Physics and Mathematics, JINR R211547, Dubna, 1978.
 With F.Kh.Abdullaev and J.S.Vaklev) The Role of Nonlinearity in a Model with a Strange Attractor, JINR R480446, Dubna, 1980.
 (With A.Yu.Zharkov) Elementary Fraction Decomposition of Rational Functions in System REDUCE2, JINR R582187, Dubna, 1982.
 (With N.A.Kostov and A.B.Shvachka) Investigation of Nonlinear Water Waves Using Computer Algebra System REDUCE2, JINR E1183750, Dubna, 1983.
 (With A.B.Shvachka and A.Yu.Zharkov) Classification of Integrable HighOrder KdVLike Equations, JINR R584489, Dubna, 1984.
 (With A.Yu.Zharkov) On Asymptotic Expansion of General Solution of ChewLow Equations, JINR R584431, Dubna, 1984.
 (With N.A.Kostov, P.P.Raychev and R.P.Russev) Calculation of the Matrix Elements of the Hamiltonian of the Interacting Vector Boson Model Using Computer Algebra. Basic Concepts of the Interacting Vector Boson Model and Matrix Elements of the SU(3) Quadrupole Operator, JINR E485262, Dubna, 1985.
 (With N.A.Kostov, P.P.Raychev and R.P.Russev) Calculation of the Matrix Elements of the Hamiltonian of the Interacting Vector Boson Model Using Computer Algebra. Matrix Elements of the Hamiltonian and Some U(6) ClebshGordon Coefficients, JINR E485263, Dubna, 1985.
 (With N.A.Kostov, P.P.Raychev and R.P.Russev) Calculation of the Matrix Elements of the Hamiltonian of the Interacting Vector Boson Model Using Computer Algebra. Matrix Elements of the Hamiltonian Analytical Results, JINR E485264, Dubna, 1985.
 (With A.S.Ilchev, V.K.Mitrjushkin and A.M.Zadorozhny) On the Phase Structure of Lattice SU(2) GaugeHiggs Theory, JINR E285104, Dubna, 1985.
 (With M.G.Meshcherykov and D.V.Shirkov) Computers in Theoretical Physics, JINR R286848, Dubna, 1986.
 (With A.Yu.Zharkov) Solving the Polynomial Equations Arising in Classification of Integrable Coupled KdVlike Systems, JINR R589231, Dubna, 1989.
 (With N.A.Kostov, Z.T.Kostova and I.P.Yudin) AlgebraicNumeric Calculations of Proton Trajectories in Bending Magnets of Synchrotron Accelerator, JINR E1189755.
 (With L.M.Berkovich, Z.T.Kostova and M.L.Nechaevsky) Computer Algebra Generating Related 2nd Order Linear Differential Equation, JINR E590509, Dubna, 1990.
 (With A.Yu.Zharkov) Algorithms for Investigating Integrability of Quasilinear Evolution Systems with Nondegenerated Main Matrix, JINR R591225, Dubna, 1991.
 (With P.Tiller) A Reduce Program for Symbolic Computation of Puiseux Expansions, JINR E591401, Dubna, 1991.
 (With W.Lassner) Verifying Isomorphisms of Finite Dimensional Lie Algebras by Gröbner Basis Technique, JINR E592145, Dubna, 1992.
 Computer Algebra Methods in Investigation of Integrability of Nonlinear Evolution Equations, JINR 1192258, Dubna, 1992.
Preprints and Technical Reports
 Computer Algebra and Nonlinear Equations: Recent Achievements, Publication IT270, Laboratoire d'Informatique Fondamentale de Lille, Lille, 1995.
 (With Yu.A.Blinkov) Involutive Polynomial Bases, Publication IT271, Laboratoire d'Informatique Fondamentale de Lille, Lille, 1995.
Papers Submitted/Accepted for Publication

(with P.Amodio, Yu.A.Blinkov and R.La Scala) Algebraic construction and numerical behavior of a new
s consistent difference scheme for the 2D NavierStokes equations. Submitted to Applied Mathematics
and Computation.

(with D.A.Lyakhov and D.Michels) Algorithmic Verication of Linearizability for Ordinary Differential
Equations. Proceedings of ISSAC 2017 (University of Kaiserslautern, Kaiserslautern, Germany, July
2528, 2017), to appear.

(with D.A.Lyakhov, A.Weber and D.Michels) SymbolicNumeric Integration of Dynamical Cosserat
Equations. Submitted to CASC 2017 (September 1822, 2017, Beijing, China).

(with A.A.Gusev, O.Chuluunbaatar, G.Chuluunbaatar, S.I.Vinitsky, V.L.Derbov,A.Góźdź ) Symbolic
Numerical Algorithm for Generating Interpolation Multivariable Hermite Polynomials of HighAccuracy
Finite Element Method. Submitted to CASC 2017 (September 1822, 2017, Beijing, China).

(with A.A.Gusev, O.Chuluunbaatar, G.Chuluunbaatar, S.I.Vinitsky, V.L.Derbov, A.Góźdź ) Symbolic
Numerical Algorithms for Solving the Parametric SelfAdjoint 2D Elliptic BoundaryValue Problem
Using HighAccuracy Finite Element Method. Submitted to CASC 2017 (September 1822, 2017,
Beijing, China).
Work in Progress

(with Yu.A.Blinkov and D.Michels) Strongly consistent finite difference approximations to Navier
Stokes equations.
 (with Yu.A.Blinkov) Compact Involutive Bases.
 (with Yu.A.Blinkov and K.B.Marinov) Algorithmically generated implicit difference schemes for the
KdV equation.
