Login / Signup
Foreword on the relationship of computer algebra with mathematics and physics - Special issue on applications of computer algebra.
Jacques Calmet
Published in:
Ann. Math. Artif. Intell. (2012)
Keyphrases
</>
computer algebra
special issue
computer algebra systems
theorem prover
ai edam
international journal
ecml pkdd
special section
applied intelligence
computer science
automated theorem provers
artificial intelligence