• DocumentCode
    3427215
  • Title

    Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing-Title

  • fYear
    2006
  • fDate
    26-29 Sept. 2006
  • Abstract
    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
  • Keywords
    Petri nets; data mining; data visualisation; fuzzy control; image processing; inference mechanisms; learning (artificial intelligence); planning (artificial intelligence); process algebra; software agents; symbol manipulation; workflow management software; Petri nets; automated reasoning; complex systems; computer algebra; data mining; formal methods; fuzzy control; geometric visualization; grid computing; image processing; learning; logics; mathematical theory exploration; natural computing; numeric algorithms; planning; scientific computing; software design; symbolic algorithms; workflow management;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on
  • Conference_Location
    Timisoara
  • Print_ISBN
    0-7695-2740-X
  • Type

    conf

  • DOI
    10.1109/SYNASC.2006.35
  • Filename
    4090276