Cornish.PA@Xerox.ARPA (04/06/84)
I am interested in AI programs in the following areas listed below. Could someone provide me with pointers to the significant work done in these areas? Could someone advise me whether work done in these areas could feasibly run on existing Lisp systems for the IBM-PC. "feasibly run" means that the programs would be responsive enough to form the basis of a math ed product. 1. Solution of Algebra word problems 2. Analysis of proofs in plane Geometry Thank you very much, Jan Cornish