The topics addressed at the workshop will cover algorithmic and applied issues of scientific computing by means of computer algebra systems used for symbolic and numerical computations. They will comprise algorithms and methods of symbolic computation used in automated proof theory, parallel symbolic computations, symbolic methods for solving ordinary differential equations, partial differential equations and systems of such equations, complexity theory including analytic complexity for holomorphic functions, methods for data analysis including big data analytics, design of software and hardware environments for symbolic and algebraic computation, as well as applications of the above in various fields of natural sciences and technology. The goal of the workshop is to explore and discuss recent developments related to the field of scientific computing and symbolic computation, with specific focus on the role of software development and data analysis.
|