Login / Signup
) using computer algebra techniques.
Jinpeng Lv
Priyank Kalla
Florian Enescu
Published in:
HLDVT (2011)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
artificial intelligence
machine learning
knowledge base
natural language
automated theorem provers