Jurgis wrote: > I also know that some math packages can show steps, how to solve equations. > But here the idea is - you make steps yourself, just you are guided by > math rules (system keeps an eye on illegal actions, might give > hints, count bonuses/mistakes or so..)
Recently, I have been working on a step-by-step equation solving program that is based on rewrite rules. Here is an example that shows it solving a simple equation: http://206.21.94.61/misc/permalink/equation_solving_with_steps_and_trees.png The following document contains an explanation for how rewrite rules can be used to solve simple equations: http://206.21.94.61/misc/permalink/using_rewrite_rules_to_perform_mathematics.html A rules-based system like this can be configured to support the application you have in mind. The rules it contains should be able to be implemented in SymPy or Maxima. Ted -- You received this message because you are subscribed to the Google Groups "sage-edu" group. To post to this group, send email to sage-edu@googlegroups.com. To unsubscribe from this group, send email to sage-edu+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-edu?hl=en.
