Keyphrases
- scientific computing
- computer algebra
- lecture notes in artificial intelligence
- lecture notes
- knowledge discovery and data mining
- high performance computing
- international conference
- international workshop
- computer science
- theorem prover
- expert systems
- international symposium
- file system
- selected papers
- computer systems
- computer algebra systems
- workflow management
- pacific rim
- artificial intelligence
- general purpose
- distributed memory
- parallel algorithm
- data processing
- computational geometry
- information technology
- information systems
- automated theorem provers