Computational Differential and Difference Algebra, ACA 2018

Session Title	Computational Differential and Difference Algebra Special Session at the 24th Conference on Applications of Computer Algebra, Santiago de Compostela, Spain, June 18-22, 2018
Organizers	Vladimir Gerdt (Dubna, Russia) Alexander Levin (Washington D.C., USA) Daniel Robertz (Plymouth, UK)
Objectives	Algebraic differential and 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. Differential / difference computer algebra studies algebraic differential / difference equations in a constructive way that extends the methods and algorithms of commutative algebra and algebraic geometry. The main goal of the session is to consider the computational problems in differential/difference algebra to explore new constructive ideas and approaches oriented toward various applications.
Topics	Topics of the session include, but are not limited to: Differential and Difference Equations and Systems Differential and Difference Gröbner (Standard) and Involutive Bases Differential and Difference Characteristic Sets Triangular Decompositions of Differential and Difference Systems Differential and Difference Elimination Algorithmic Generation of Finite Difference Approximations to PDEs Consistency and Stability Analysis of Finite Difference Approximations Difference-Differential Polynomials and Systems Software Packages for Differential and Difference Algebra Applications of Differential and Difference Algebra in Mathematics and Natural Sciences
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. Submission of talks : see important dates. The submissions are requested a specific format for the abstracts: 1-2 pages, with some references. This can help the readers to understand what it is exactly about and also yield some homogeneity to the abstract book. More information about the conference can be found at the ACA 2018 conference web page .
Talks	Bounds for Proto-Galois Groups Eli Amzallag (Department of Mathematics, CUNY Graduate Center, New York), Andrei Minchenko (Department of Mathematics, University of Vienna), Gleb Pogudin (Courant Institute of Mathematical Sciences, New York University, New York) The global dimension of the algebras of integro-differential operators and their factor algebras V. V. Bavula (University of Sheffield, Sheffield, UK) Effective calculation in studying the Jacobian Conjecture Paweł Bogdan (Jagiellonian University, Kraków, Poland ) Dimension Polynomials and the Einstein's Strength of Some Systems of Quasi-linear Algebraic Difference Equations Alexander Evgrafov (Sechenov First Moscow State Medical University, Moscow, Russia), Alexander Levin (The Catholic University of America, Washington, USA) Formal Power Series Solutions of First Order Autonomous Algebraic Ordinary Differential Equations Sebastian Falkensteiner (RISC, Johannes Kepler University, Linz, Austria) and J.Rafael Sendra (ASYNACS, Universidad de Alcalá , Madrid, Spain) Computation of differential Chow forms for ordinary prime differential ideals Wei Li, Ying-Hong Li (KLMM, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China) Group Classification of ODEs: a Challenge to Differential Algebra? Dmitry Lyakhov ( King Abdullah University of Science and Technology, Thuwal, Saudi Arabia), Vladimir Gerdt ( Joint Institute for Nuclear Research, Dubna, Russia), Dominik Michels (King Abdullah University of Science and Technology, Thuwal, Saudi Arabia) Power series solutions of systems of nonlinear PDEs Daniel Robertz (School of Computing, Electronics and Mathematics, Plymouth University, Plymouth, UK))