google / mathsteps

Step by step math solutions for everyone
https://socratic.org
Apache License 2.0
2.12k stars 275 forks source link

Idea: create a RESOURCES.md #95

Closed evykassirer closed 7 years ago

evykassirer commented 7 years ago

This would have a list of similar apps/projects (to use for examples) and also point out relevant research papers for anyone interested in learning more about this stuff.

Would this be helpful to people?

tkosan commented 7 years ago

I think having a resource document like this would be very helpful. One open source application that I think would qualify for the list is a step-by-step equation solver that I have been working on for the past few years. Here is a video demonstration of it:

Solver with tree interface

I am hoping to implement some of the capabilities of this equation solver into mathsteps. I also accumulated a significant number of research papers that my equation solver is based on that I would like to add to this resource.

evykassirer commented 7 years ago

Awesome @tkosan ! I'll start off the resources file and you can make a pull request to add to it :)

Where is your open source code available to look at? I'd love to see what you've been doing.

I would be very grateful if you could bring what you've learned form mathpiper to mathsteps 😃 looking forward to your contributions!

evykassirer commented 7 years ago

I think @sangwinc would have some great stuff for this file too

tkosan commented 7 years ago

Chris Sangwin was the person who inspired me to create the MathPiper step-by-step equation solver.

Here is a link to the main files that contain the solver (SolveSteps.mpws) and the rules that the solver and the manual manipulator use (rulebase_elementary_algebra.mpws):

Solver and rules

If you would like to play with the solver and manipulator let me know, and I will put up instructions on how to use them somewhere.

When I read your blog post about mathsteps, I was very excited to see that you utilized expression trees to explain how the math was working. This is an approach that research indicates is very promising for math education:

Structure in algebra research paper

This research paper inspired me to create the following expression tree structure explorer application:

Expression tree structure app

evykassirer commented 7 years ago

Done! Feel free to add more to it :)