search

Mathics3 / mathics-core

An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.
https://mathics.org
Other
733 stars 42 forks source link

Show step by step solution like Wolfram Alpha #1008

Open tansiret opened 4 months ago

tansiret commented 4 months ago

Wolfram has a "search engine" called Wolfram Alpha that shows step by step solutions of the calculus/algebra problems given to it. Can a similar feature added to Mathics as a plugin etc?

rocky commented 4 months ago

There are built in functions TraceBuiltins[] and TraceEvaluation[] that show the steps that Mathics3 performs in the calculation. But this is not the same thing as showing step-by-step solutions as a human would.

There is a "Rule Based Integrator" called Rubi that tries to show steps in used for calculus. However that currently does not work. Someone will need to study why or where this fails in detail. There may be several things that are wrong.

As for the more general problem that Wolfram Alpha handles, this is not as an easy problem to solve as it is to state.

There are many things that one would like to have, but few are willing to commit to do them. If you are someone who is willing to work on this, tackling Rubi is a good place to start. Otherwise, as you report, there is Wolfram Alpha.