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 |

Continue