SYNASC 2002 - TOPIC
 
 
 
 

The workshop will be an interaction forum between the two scientific communities  
of symbolic and numeric computing, with the purpose of exhibiting interesting  
applications of these areas both in theory and in practice. 

Topics for submissions to SYNASC: 
 
          - 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. 

A special symposium concerning numerical methods will be organized in honour  
of Prof.Dr. Stefan Maruster, the mentor of the Department of Computer Science 
from Timisoara University. 

The official language of the workshop is English.