IMACS Applications of Computer Algebra Conference 1999: summary.
Michael J. WesterEugenio Roanes-LozanoPublished in: SIGSAM Bull. (1999)
Keyphrases
- computer algebra
- theorem prover
- advances in artificial intelligence
- international conference
- computer algebra systems
- panel discussion
- selected papers
- program chairs
- annual conference
- graphics and image processing
- invited paper
- asia pacific
- knowledge discovery and data mining
- knowledge discovery
- learning analytics and knowledge
- automated theorem provers
- artificial intelligence
- document summarization
- poster session
- video summarization
- expert systems
- video sequences