Abstracts from RIMS workshop on developments in computer algebra research.
Akira TeruiPublished in: ACM Commun. Comput. Algebra (2011)
Keyphrases
- computer algebra
- theorem prover
- artificial intelligence
- invited paper
- computer algebra systems
- information extraction
- scientific literature
- image sequences
- evidence based medicine
- automated theorem provers
- text mining
- biomedical literature
- current status
- selected papers
- search engine
- panel discussion
- acm sigkdd
- data mining