News and Events

February 20, 2010

The meeting of the Computer Algebra seminar will take place on Wednesday, February 24, at 16.20 in room 782 of building VMK of Moscow State University.
Agenda.
Report: "Valuations of rational solutions of linear difference equations at irreducible polynomials".
A. Gheffar (Limoges uni­ver­sity, CNRS), S. Abramov (Computing Centre of the Russian Academy of Sciences).

MMCP'2009

International Conference MATHEMATICAL MODELING AND COMPUTATIONAL PHYSICS, 2009 (MMCP 2009) will be held at the Laboratory of Information Technologies of the Joint Institute for Nuclear Research on July 7 - July 11, 2009 in Dubna.  

The scope of the MMCP 2009 will be enlarged to include special sections covering the two traditional Workshops, on Computer Algebra and on Quantum Physics and Communications, which were until now organized separately.

April 8-12, 2009

The International conference "Polynomial Computer Algebra' 2009" took place in Saint-Petersburg, Russia.

June 3-6, 2008

The International conference "CHAOTIC MODELING AND SIMULATION" (CHAOS2008) took place in Chania Crete, Greece. Read more…

CA Workshop Dubna-2008

The 12-th three-day workshop on Computer Algebra was held on May 14-16, 2008.   Read more…

01.02. 2007

The LIT Seminar was held on February 1, 2007 to mark the 60th anniversary of the Head of our Group, Professor Vladimir Gerdt. He presented talk "Computer  algebra, integrability, involutivity and all that".

 

Archives

About the Group

Group of Algebraic and Quantum Computations is a part of the Laboratory of Information Technologies (LIT) of the Joint Institute for Nuclear Research (JINR). The main research and activity directions of the Group are:
1. Development of computer algebra methods, algorithms and software to solve scientific and technical problems arising in research conducted at JINR and its member states.
2. Provision of the JINR users with information about non-commercial computer algebra systems and with open source software oriented to symbolic and algebraic computation.
3. Information support of research in JINR based on the use of computer algebra; and of educational programs in JINR relied on computer algebra software. Maintenance of the specialized Web server http://compalg.jinr.ru .
4. Elaboration and analysis of mathematical models for quantum computations and quantum informatics.

Basic algorithmic methods developed in the Group

The most universal algorithmic method for investigating and solving systems of polynomial algebraic, differential and difference equations is the method of Groebner bases [1]. In the last 10 years new highly efficient algorithms for computation of Groebner bases have been designed and implemented in C/C++, Maple and Reduce [2]. In paper [3] a Mathematica program was created to simulate quantum computation. An alternative approach to analyze discrete relations arising in the last problem was developed in [4]. In addition, it is planned to use symbolic-numeric methods of factorizing the evolution operator for nonstationary Schroedinger's equation developed in [5] to investigate evolution of multi-qubit systems.

1. http://www.ricam.oeaw.ac.at/Groebner-Bases-Bibliography .
2. V. P. Gerdt, http :// arXiv . org / math . AC /0501111 .
3. V. P. Gerdt, R.Kragler, A.N.Prokopenya. Proceedings of the DST-UNISA-JINR symposium, University of South Africa, Pretoria, 2007, pp.219-232.
4. V.V. Kornyak. http://arXiv.org/ math-ph/0504048 .
5. V.P. Gerdt, A.A. Gusev, M.S. Kaschiev, V.A. Rostovtsev, V.N. Samoylov, T.V. Tupikova, S.I. Vinitsky, Y.Uwano. Programming and Computer Software, Vol. 32, No. 2, 2006, 58–-70.

Some recent references are:

1. Gröbner Bases and Generation of Difference Schemes for Partial Differential Equations.
   V.P.Gerdt, Yu.A.Blinkov, V.V.Mozzhilkin. Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) 2 (2006) 051, 26 pages. URL: arXiv:math.RA/0605334 
2. Deducing the constraints in the light-cone SU(3) Yang-Mills mechanics via Gröbner bases.
   V.P.Gerdt, A.M.Khvedelidze, Yu.G.Palii. In: “Computer Algebra in Scientific Computing / CASC 2007”, V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.) LNCS 4770, Springer-Verlag, Berlin, 2007, pp. 145–159.
3. Symmetries and Dynamics of Discrete Systems.
   V.V. Kornyak. Computer Algebra in Scientific Computing 2007, LNCS 4770, V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov (Eds.), Springer-Verlag Berlin Heidelberg 2007, 236-251; URL: http://ru.arxiv.org/abs/0706.3646 .
4. On the Hamiltonian reduction of geodesic motion on SU(3) to SU(3)/SU(2),
   V. Gerdt, R. Horan, A. Khvedelidze, M. Lavelle, D. McMullan and Y. Palii. J. Math. Phys. 47 112902-26 (2006)
5. On computer algebra-aided stability analysis of difference schemes generated by
   means of Gr¨obner bases.
   V.P.Gerdt, Yu.A.Blinkov. Computer Algebra and Differential Equations, Acta Academiae Aboensis, Ser. B, Vol. 67, no. 2, 2007, pp.168-177.

Upcoming conferences

Please, see also Events

• 2nd International Conference on Symbolic Computation and Cryptography
  Royal Holloway, University of London, Egham - UK. 23 - 25 June 2010.
  Deadline for extended abstract submission: March 14, 2010.
• Symbolic Computation and its Applications
  Maribor, June 30, 2010 to July 2, 2010
• Applications of Computer Algebra 2010
  Session "Parallel Computer Algebra" ACA 2010. Vlora, Albania, June 24-27, 2010.
• The 12th International Workshop on Computer Algebra in Scientific Computing (CASC 2010). Tsakhkadzor, Armenia. September 5 - 12, 2010.
  Deadline for submission: April 12, 2010.