Automatic Translation of Computer Algebra Systems' Worksheets.

Lauri Eskor Marina Lepp Eno Tõnisson

Published in: ICCSA Workshops (2011)

Keyphrases

computer algebra systems
computer algebra
theorem prover
theorem proving
learning strategies
data sets
artificial intelligence
cooperative
expert systems
domain knowledge