Computer understanding and generalization of symbolic mathematical calculations: a case study in physics problem solving.

Jude W. Shavlik, Gerald DeJong

Browse the full ISSAC paper archive.