Group of 

Session Title 
Difference computer algebra and its applications Special Session at the 22nd Conference on Applications of Computer Algebra, August 1st  4th, 2016. Kassel University, Germany 

Organizers 

Objectives 
Algebraic difference equations and systems of such equations arise in many areas of mathematics, natural sciences and engineering. One can say that difference equations relate to differential equations as discrete mathematics relates to continuous mathematics. Difference computer algebra studies algebraic difference equations in a constructive way that extends the methods and algorithms of commutative algebra and algebraic geometry. Even though many computational methods in difference algebra have been developed as difference counterparts of the corresponding techniques for differential algebraic structures, the computational difference algebra is a rapidly developed theory with its own methods that are very useful in the study of system of equations in finite differences, functional equations, differential equations with delay, algebraic structures with operators, theory of discretetime nonlinear systems and many other areas. The main goal of the session is to look at the computational problems in differential algebra to explore new constructive ideas and approaches to computational difference algebra oriented on various applications. 
Topics 
Topics of the session include, but are not limited to:

Submissions 
If you are interested in giving a presentation at this session, please email an abstract to one of the organizers. The duration of a talk is to be 30 minutes including time for discussion. Tentative abstract submission deadline is May 25, 2016. More information about the session can be found at the ACA2016 conference web page 
Talks 
Bases for Modules of DifferenceOperators by Gröbner
Reduction
C. Fürst, G. Landsmann ( Johannes Kepler University Linz, Austria, Research Institute for Symbolic Computation (RISC)) Difference algebra aided discretization of quasilinear
evolution equations Difference Dimension Quasipolynomials Gröbner basis driven construction of a new sconsistent
difference approximation to NavierStokes equations Binomial partial difference ideals Order Bounds for a Difference Decomposition Algorithms Maple packages for the analysis of linear systems of partial difference equations and applications On Computing Rational Generating Function of a
Solution to the Cauchy Problem of Difference Equation Computing difference algebraic relations among solutions of linear differential equations 
Copyright © 2007 compalg.jinr.ru. All rights reserved.