Keyphrases
- scientific computing
- computer algebra
- international conference
- lecture notes in artificial intelligence
- high performance computing
- ifip th world computer congress
- knowledge discovery and data mining
- lecture notes
- theorem prover
- czech republic
- international workshop
- artificial intelligence
- computer science
- file system
- international symposium
- expert systems
- computational intelligence
- computer systems
- selected papers
- workflow management
- computer algebra systems
- automated theorem provers
- computational geometry
- ambient intelligence
- computing systems
- highly parallel
- computer vision
- fine grained
- sensor networks
- bayesian networks