ACA 2016
Kassel (Germany) August 1^st - 4^th

22nd Conference on
Applications of Computer Algebra
August 1^st - 4^th, 2016
Kassel University Germany

Invited Speakers

• David Jeffrey www.apmaths.uwo.ca/~djeffrey/

  Computer Algebra Systems and the Lambert W Function
  Abstract:
  I have worked on many aspects of computer algebra systems, mostly in conjunction with either Soft Warehouse (Derive) or Maplesoft (Maple). One particular project has touched many of the challenges that system developers face: the implementation of the Lambert W function. In this talk, I shall present some of the interesting properties of W, and use them to discuss the various challenges that our favourite systems continue to grapple with. Some examples of such challenges are branch cuts, simplification, numerical evaluation, integration.

• Pedro Real personales.us.es/real/

  Exploring a Homotopy Approach to the Science of Data: Huge Scenarios, Topological Scintigraphy and Flagellate Structures
  Abstract:
  Given a cloud of points (or dataset) embedded in some high dimensional space, Topological Data Analysis focuses on recovering topological information of an unknow lower dimensional space within which the previous dataset is sampled. At present, this information is obtained mainly using algorithms for computing persistent homology. In this talk, we introduce some basic notions and algorithms for providing a more advanced topological analysis of the datasets, based on homotopy concepts and higher order (co)homological statistics. This theory generating asymmetric topological dynamics in a "huge" or "classifying" data scenario is presented here using the relevant and informative analogy of "breathing topological life to a digital image". The promising conclusions regarding not only the power of topological discrimination of this technique but also its potential feasibility of a parallel processing allow to be optimistic about opening a door to a new area of Data Analysis: Homotopy-based Data Analysis and Recognition.

• Thomas Sturm www.loria.fr/~tsturm/

  Real Problems over the Reals: From Complete Elimination Procedures to Subtropical Decisions
  Abstract:
  Effective quantifier elimination procedures for first-order theories provide a powerful tool for generically solving a wide range of problems based on logical specifications. In contrast to general first-order provers, quantifier elimination procedures are based on a fixed set of admissible logical symbols with an implicitly fixed semantics. This admits the use of sub-algorithms from symbolic computation. We are going to focus on quantifier elimination for the reals and its applications giving examples from geometry and verification. Beyond quantifier elimination we are going to discuss recent results on an incomplete decision procedure for the existential fragment of the reals, which has been successfully applied to the analysis of reaction systems in chemistry and in the life sciences. We conclude with an overview on further quantifier-eliminable theories that have been realized in our open-source computer logic software Redlog (www.redlog.eu).

Featured Presentations by Sponsors

• Jürgen Gerhard Maplesoft

  What's New in Maple 2016
  Abstract:
  We will present some of the new features in Maple 2016, in the areas of thermophysical computations, structured data manipulation, physics, series and limit computations, symbolic integration and summation, differential equations, statistics, graph theory, and others, and discuss some applications.

• Sponsors: