SMT Nonlinear Real Arithmetic and Computer Algebra: a Dialogue of the Deaf?

James Davenport

Published in: SMT (2017)

Keyphrases

computer algebra
theorem prover
sign language
artificial intelligence
natural language
real life
computer algebra systems
dialogue system