Is there an algorithm for deriving an unknown from a formula?

Question

Mathematics

Hello , there was an idea to create a Vk Mini App for converting values ​​​​to each other (yes, there really aren’t any, I want to be the first), and there were no problems with this, but then I had a really cool idea (for me): application to express the unknown from the formula.

Let's say we have a formula for the amount of heat that a conductor emits (Joule-Lenz Law): Q \u003d I ^ 2 * R * t

And we want to find the current strength from all this

1. For convenience, let's swap them: I^2*R*t=Q
   
2. Let's get rid of the product of the conductor resistance with the current passage time on the left side of our equation: I ^ 2 * R * t \u003d Q | :Rt
   
3. We get I^2=Q : Rt
   
4. The result of solving this incomplete quadratic equation will be taking the square root of the right side: I=+√Q : Rt
   

Great, we just saw the human logic of solving an equation, but what about a computer?

What subtasks should this task be divided into? To teach the program to read equations of this kind (without square ones, for a start), to teach them to act according to mathematical laws?

Answer 1

Well, you're about to write a symbolic algebra system from scratch, which is a difficult task. Better just write a connector to maxima or octave, they know how to do it.
Development from scratch is a huge amount of RnD, and even requires rather specific knowledge in the field of higher algebra (it has nothing to do with school algebra).
First, you need to learn how to at least store the equation (in the form of a string or in the form of an OPV , or in the form of an AST , or something else) and do equivalent transformations with it.