Keyphrases
- invited talk
- computer algebra
- high energy physics
- theorem prover
- scientific data
- selected papers
- bitmap indices
- knowledge discovery and data mining
- computer algebra systems
- databases
- automated theorem provers
- program committee
- acceptance rate
- multi dimensional
- australasian database conference
- machine learning
- neural network