SYNASC aims to stimulate the interaction 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. The choice of this topic is motivated by the belief of the organizers that the dialogue between the two communities is very necessary in order to make significant progress in making the computer a truly intelligent aid for mathematicians and engineers.<br><b>Keywords:</b> * symbolic techniques applied to numerics;<br>* numerics and symbolics for geometry;<br>* automated reasoning;<br>* computer algebra;<br>* solving systems of nonlinear equations;<br>* parallel, distributed and web computing for symbolics and numerics;<br>* formal system verification;<br>* software quality assesment;<br>* programming with constraints,narrowing;<br>* artificial intelligence in numeric solving;<br>* multi–agent systems for complex problem solving;<br>* scientific visualization;<br>* grid middleware and applications;<br>* soft computing;<br>* image processing.<br>
Abbrevation
SYNASC
City
Timisoara
Country
Romania
Deadline Paper
Start Date
End Date
Abstract