Simon Colton;Volker Sorge;Ursula Martin
-;-;-
Understanding expression simplification
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge