This video shows one configuration of the step-by-step solver being used with a manual manipulation application:
https://www.youtube.com/watch?v=cy6bwNBkAK0 The following tutorial provides a brief explanation of how the equation solver works: 1) Parsing and the Language of Expression Trees ( http://patternmatics.org/temp_1/mathfuture/lesson4/) 2) Tree Pattern Matching and Transformation Rules ( http://patternmatics.org/temp_1/mathfuture/lesson5/) 3) The Hidden Rules Mathematicians Use to Solve Elementary Algebra Equations (http://patternmatics.org/temp_1/mathfuture/lesson6/) Ted On Sat, Jan 28, 2017 at 5:21 AM, Imran Iqbal <[email protected]> wrote: > Yes I would like to have the details... > > > On Sunday, October 9, 2016 at 11:09:11 PM UTC+5, tkosan wrote: >> >> For the past few years I have been working on an artificial intelligence >> step-by-step equation solver for elementary algebra equations that solves >> these equations using steps that a human would typically use. Here is an >> example of what I have working so far: >> >> In> LineForm(SolveSteps(MathParse("(8*x - 2 == -9 + 7*x)"), _x)) >> >> 8*x - 2 == (-9) + 7*x The original equation. >> (8*x - 2) - ((-9) + 7*x) == 0 Subtract (-9) + 7 * x from both >> sides. >> (8*x - 2) + (-1)*((-9) + 7*x) == 0 Undefine a binary '-' >> operator. >> (8*x + (-1)*2) + (-1)*((-9) + 7*x) == 0 Undefine a binary '-' >> operator. >> (8*x + (-2)) + (-1)*((-9) + 7*x) == 0 Arithmetic. >> (8*x + (-2)) + ((-1)*(-9) + (-1)*(7*x)) == 0 Move occurrences of >> the unknown higher. >> (8*x + (-2)) + (9 + (-1)*(7*x)) == 0 Arithmetic. >> (8*x + (-2)) + (9 + ((-1)*7)*x) == 0 Change the association of * >> operators. >> (8*x + (-2)) + (9 + (-7)*x) == 0 Arithmetic. >> ((-2) + 8*x) + (9 + (-7)*x) == 0 Move a copy of the unknown to >> the right. >> ((-2) + 8*x) + ((-7)*x + 9) == 0 Move a copy of the unknown to >> the left. >> (((-2) + 8*x) + (-7)*x) + 9 == 0 Change the association of + >> operators. >> ((-2) + (8*x + (-7)*x)) + 9 == 0 Change the association of + >> operators. >> ((-2) + (8 + (-7))*x) + 9 == 0 Eliminate one copy of the unknown. >> (-2) + (8 + (-7))*x == 0 - 9 Subtract 9 from both sides. >> (8 + (-7))*x == (0 - 9) - (-2) Subtract -2 from both sides. >> x == ((0 - 9) - (-2))/(8 + (-7)) Divide both sides by 8 + (-7). >> x == (-7) Arithmetic. >> >> Is anybody interested in having step-by-step equation solving abilities >> like this added to Sage? >> >> Ted >> > -- > You received this message because you are subscribed to the Google Groups > "sage-edu" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sage-edu. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-edu" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-edu. For more options, visit https://groups.google.com/d/optout.
