Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra.
Kazuhiro YokoyamaPublished in: J. Symb. Comput. (2017)
Keyphrases
- special issue
- computer algebra
- theorem prover
- automated deduction
- international journal
- ecml pkdd
- ai edam
- selected papers
- advances in artificial intelligence
- applied intelligence
- annual conference
- knowledge discovery and data mining
- automated theorem provers
- international conference
- computer algebra systems
- imperative programs
- multi agent systems
- international workshop
- data mining
- special section
- neuro fuzzy