Keyphrases
- scientific computing
- computer algebra
- international conference
- lecture notes in artificial intelligence
- lecture notes
- high performance computing
- theorem prover
- computer science
- computational intelligence
- expert systems
- international workshop
- file system
- international symposium
- computer systems
- workflow management
- automated theorem provers
- machine learning
- artificial intelligence
- computational geometry
- selected papers
- scheduling problem
- computer algebra systems