17-TH WORKSHOP ON COMPUTER ALGEBRA
May 21-22, 2014, Dubna

 
 
Abstracts
 
 
 
 

 

ABSTRACTS

 
S.A. Abramov (Computing Centre of RAS and MSU, Moscow)
«Computable infinite power series in role of coefficients of linear differential systems»
   
 
S. Adlaj (Computing Centre of RAS, Moscow)
«Elliptic and coelliptic polynomials»
   
 
Yu.A. Blinkov (SSTU, Saratov), A.V. Mesyanzhin (KBPA, Saratov), O.M. Romakina (SSTU, Saratov)
«Generation of difference schemes for the Boussinesq-type equations by constructing Gröbner bases»
   
 
Ph.B. Burtyka (CSC SFEDU, Rostov-on-Don)
«On Complexity of Expression Binary Operations via Polynomials over Finite Fields»
   
 
A.B. Batkhin (KIA RAS, RAS, Moscow) «On Perturbation of Normal Form of a Hamilton System»
   
 
A.B. Batkhin (KIA RAS, RAS, Moscow), V.F. Edneral (SINP MSU MSU, Moscow),   O.D. Timofeevskaya (MSU, Moscow) «Searching for Integrals of Motion of One Case of Hill’s System»
   
 
E.G. Eferina, M.N. Gevorkyan, A.V. Korolkova, D.S. Kulyabov, L.A. Sevastyanov (Peoples' Friendship University of Russia, Moscow)
«Simulation of one-step stochastic processes in computer algebra systems»
   
 
Yu.A. Blinkov (SSTU, Saratov),   P.V. Fokin (SSTU, Saratov)
«Solution of the SAT using ZDD diagrams»
   
 
V.P. Gerdt (JINR, Dubna)
«Singular field-theoretical models, Lagrangean constraints and Thomas decomposition»
   
 
G. Giorgadze (Tbilisi State University, Georgia)
«On the solvability criterion of Fuchsian systems in quadratures»
   
 
A.A. Gusev, O. Chuluunbaatar, S.I. Vinitsky, L. Le Hai, V.A. Rostovtsev (JINR, Dubna), V.L. Derbov (SSU, Saratov)
«Symbolic-numerical algorithm of solution of boundary-value problems using the finite element method with interpolation Hermite polynomials»
   
 
V.V. Kassandrov   (IGC PFUR, Moscow), I.Sh. Khasanov (IGC PFUR, Moscow)
«Algebraic approach to the problem of collective dynamics of identical particles»
   
 
S. Khashin (Ivanovo State University, Ivanovo)
«Three step error estimation for runge-Kutta methods of order 4»
   
 
V.V. Kornyak (JINR, Dubna)
«Permutational view of quantum evolution and quantum measurements»
   
 
M.A. Limonov (MSU, Moscow)
«Generalized separants»
   
 
Luong Le Hai (JINR, Dubna)
«Symbolic-numerical algorithm for solving quantum tunneling problem of a diatomic molecule through repulsive barriers»
     
 
G.I. Malaschonok (Tambov State University, Tambov)
«Programming with "MathPartner"»
     
 
M.D. Malykh (Peoples' Friendship University of Russia, Moscow)
«On computation of integrals for systems of ordinary differential equations»
     
 
S.D. Meshveliani (PSI RAS, Pereslavl-Zalessky)
«Computer proof for a `mysterious' equality for quartic roots»
   
 
V.P. Gerdt (JINR, Dubna), A. Khvedelidze (JINR, Dubna & MI, Tbilisi) and Yu.G. Palii (JINR, Dubna & Institute of Applied Physics, Chisinau, Moldova)
« On the semialgebraic structure of SU(2)⊗U(1)-orbit space for qutrit mixed states»
     
 
A.A. Panferov (MSU, Moscow)
«First-order differential systems with selected part of the unknowns»
     
 
S.V. Paramonov (MSU, Moscow)
«Testing Existence of Analytic Solutions of PLDE and Hilbert's Tenth Problem»
     
 
S.N. Perepechko (PetrSU, Petrozavodsk)
«Cases of Dimer Problem on Rectangular Grids and Cylinders»
     
 
S.  Poryazov (Institute of Mathematics and informatics, Bulgarian Academy of Sciences)
«On the Foundations of the Concepts ‘Sign’ and ‘Analog’»
     
 
V.S. Rikhvitsky (JINR, Dubna)
«Hamiltonian structure of Bianchi type-I cosmological model with time dependent gravitational and cosmological constants»
     
 
A. Khvedelidze (RMI & JINR, Tbilisi & Dubna), I. A. Rogojin (JINR, Dubna)
«On the problem of absolute separability for mixed bipartite quantum states»
     
 
A.A. Ryabenko (Computing Centre of RAS, Moscow)
«On Exponential-Logarithmic Solutions of Linear Differential Systems with Power Series Coefficients»
   
 
A.L. Sevastyanov, A.A. Tyutyunnik (Peoples' Friendship University of Russia, Moscow)
«ANALYTICAL COMPUTATIONS IN ADIABATIC WAVEGUIDE MODES METHOD»
   
 
D. Stefanescu (University of Bucharest, Romania)
«Irreducibility of polynomials over discrete valuation domains»
   
 
E.I. Shemyakova (Computing Centre of RAS, Moscow)
«An algorithm for constructing invertible Darboux transformations»
   
 
I.H. Dimovski, M.N. Spiridonova (IMI BAS, Sofia, Bulgaria)
«Periodic Solutions of Linear Ordinary Differential Equations with Constant Coefficients»
   
 
O.V. Tarasov (JINR, Dubna)
«Differential equations and Gröbner bases for Feynman integrals»
   
 
A.V. Trepacheva (CSC SFEDU, Rostov-on-Don)
«An Efficient Algorithm for Decomposing Boolean Polynomials and Its Applications»
   
 
N.N. Vasilyev (Steklov Institute of Mathematics, St.Petersburg), A. Terentiev (St. Petersburg State Polytechnical University)
«Computer investigation of some problems of asymptotic combinatorics and representation theory»
   
 
D.A. Yanovich (JINR, Dubna)
«Compact Representation of Polynomials for Calculation of Gröbner and Involutive Bases»
   
 
Ivan Yudin(JINR, Dubna)
«Boundary Value Inverse Problem for a Dynamical System with Boundary Conditions in the Form of Sets»

 


Copyright © 2007 compalg.jinr.ru. All rights reserved.