What can Symbolic Computation Contribute to Mathematics?

Published in: SYNASC (2011)

Keyphrases

computer science
automated deduction
high level
pattern recognition
database
social networks
user interface
scheduling problem
computer assisted learning
computer algebra
middle school mathematics