SYNASC 2001 - TOPIC
The workshop aims to be an interaction forum between the two communities of symbolic and numeric computing, with the purpose of exhibiting interesting applications of these areas both in theory and in practice.
We do not restrict the topic to work presenting successful integration of the two areas, rather we encourage researchers familiar with either symbolic or numerical computing, who would like to be heard by the other community.
Following the experience of the two previous workshops, we expect submissions relevant to:
- solving systems of nonlinear equations;
- symbolic techniques applied to numerics;
- applications of automated reasoning;
- artificial intelligence in numeric solving;
- multi-agent systems for complex problem solving;
- parallel computation for symbolics and numerics;
- programming with constraints, narrowing;
- reliable approximative computation with reals;
- numerics and symbolics for geometry;
- scientific visualization.
but this list is not intended to be exhaustive.
We also welcome system descriptions related to these areas.
The choice of this topic is motivated by the belief of the organizers that the dialogue of the two communities is very necessary in order to make significant progress in making the computer a truly intelligent aid for mathematicians and engineers.