Skip to content

Personal tools
You are here: Home Topics
Document Actions


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.

                   Topics for submissions to SYNASC:

  • symbolic techniques applied to numerics; 
  • numerics and symbolics for geometry; 
  • automated reasoning; 
  • computer algebra; 
  • solving systems of nonlinear equations; 
  • parallel, distributed and web computing for symbolics and numerics; 
  • formal system verification;
  • software quality assesment;
  • programming with constraints,narrowing; 
  • artificial intelligence in numeric solving; 
  • multi-agent systems for complex problem solving; 
  • scientific visualization and image processing;
  • grid middleware and applications;
  • workflow management;
  • soft computing; 
  • data mining. 

but this list is not intended to be exhaustive.


© 2001-2012 SYNASC 2007 - Contact: