liveBook · Manning

Symbolic solver

As explained in Geometry for Programmers

A symbolic solver is a computational procedure or software component that derives algebraic solutions in symbolic form.

A symbolic solver derives algebraic results from equations. With SymPy, introduce coefficient symbols, form the matrix equation, and solve for the unknowns. section 6.2.3

A practical workflow is:

  • Build the least-squares matrix from powers of the input values. section 6.2.3
  • Build the right-hand column vector from output values and input powers. section 6.2.3
  • Represent polynomial coefficients symbolically, solve the matrix equation, and collect the returned dictionary values. section 6.2.3

Approximating rowing progress

Workout times become input data for a polynomial approximation. The solver returns coefficients that can be used to construct the approximating polynomial, while plots reveal that a linear trend may misrepresent longer-term progress. section 6.2.3

How Geometry for Programmers covers it

How deep it goes
Explains matrix assembly, symbolic variables, equation solving, and result extraction, but does not develop solver internals.
Examples
Demonstrates fitting rowing workout times and plotting the resulting linear approximation over short and larger intervals.
What you can do after
Apply it via SymPy to solve for polynomial coefficients and convert the result into usable numeric values.
How it connects
Connects symbolic solving to SymPy, least-squares methods, matrices, polynomial approximation, and linear approximation.
Cover of Geometry for Programmers
liveBookmanning.com
Read Geometry for Programmers on liveBook Get the book at manning.com

Related concepts

This explainer was generated by Manning's knowledge graph from the text of Geometry for Programmers. The section links point to the parts of the book it draws on.