Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Title page
2007
The following topics are dealt with: scientific computing; automated reasoning and formal verification; parallel and distributed computing; software quality; symbolic and numeric algorithms; data mining; security; image and text processing; grid computing applications development; iterative methods; nonlinear equations; real time and embedded systems; rule-based applications; natural computing and applications; workflows and process management.