Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing-Title
2006
The following topics are dealt with: symbolic and numeric algorithms; scientific computing; mathematical theory exploration; computer algebra; data mining; automated reasoning; logics; planning; image processing; geometric visualization; learning and fuzzy control; formal methods; software design; agents for complex systems; grid computing; natural computing; Petri nets; and workflow management