Keyphrases
- computer algebra
- invited paper
- algorithmic aspects
- book constitutes the refereed proceedings
- invited talk
- carefully reviewed and selected from submissions
- accepted papers
- short papers
- international conference
- theorem prover
- special session
- conference proceedings
- acceptance rate
- international symposium
- review process
- selected papers
- international workshop
- computer algebra systems
- computer personnel research group
- knowledge discovery and data mining
- poster session
- program committee
- program committee members
- automated theorem provers
- ant colony algorithm
- workshop proceedings
- invited speakers
- computer science
- neural network
- databases and information systems
- lecture notes
- learning technologies
- artificial intelligence