Title :
Table of contents
Abstract :
The following topics are dealt with: scientific computing; symbolic computation; numerical computing; formal logic; metaprogramming; artificial intelligence; distributed computing; cloud computing; sky computing; high performance computing; and complex system.
Keywords :
artificial intelligence; cloud computing; formal logic; numerical analysis; parallel processing; symbol manipulation; artificial intelligence; cloud computing; complex system; distributed computing; formal logic; high performance computing; metaprogramming; numerical computing; scientific computing; sky computing; symbolic computation;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2013 15th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4799-3035-7
DOI :
10.1109/SYNASC.2013.4
