Identifiant pérenne de la notice : 217169333
Notice de type
Notice de regroupement
Note publique d'information : The 2006 Abel symposium is focusing on contemporary research involving interaction
between computer science, computational science and mathematics. In recent years,
computation has been affecting pure mathematics in fundamental ways. Conversely, ideas
and methods of pure mathematics are becoming increasingly important within computational
and applied mathematics. At the core of computer science is the study of computability
and complexity for discrete mathematical structures. Studying the foundations of computational
mathematics raises similar questions concerning continuous mathematical structures.
There are several reasons for these developments. The exponential growth of computing
power is bringing computational methods into ever new application areas. Equally important
is the advance of software and programming languages, which to an increasing degree
allows the representation of abstract mathematical structures in program code. Symbolic
computing is bringing algorithms from mathematical analysis into the hands of pure
and applied mathematicians, and the combination of symbolic and numerical techniques
is becoming increasingly important both in computational science and in areas of pure
mathematics. We are witnessing a development where a focus on computability, computing
and algorithms is contributing towards a unification of areas of computer science,
applied and pure mathematics. The 2006 Abel symposium brought together some of the
leading international researchers working in these areas, presented a snapshot of
current state of the art, and raised questions about future research directions