As a result, giving feedback using CAS is difficult. Domain reasoners ... For example, solving linear equations is treated before and used in solving quadratic equations. ... This is the papera#39;s first contribution. Section ... We evaluate the advantages and disadvantages of our approach, and draw conclusions in the final section.
|Title||:||Intelligent Computer Mathematics|
|Author||:||Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton|
|Publisher||:||Springer - 2010-06-29|