liveBook · Manning

Symbolic computation

As explained in Geometry for Programmers

Symbolic computation is the manipulation of mathematical expressions and objects symbolically rather than only evaluating them numerically.

Symbolic computation manipulates mathematical expressions and objects instead of reducing everything to numerical answers. It turns formulas into other formulas, making relationships visible and preserving general solutions. SymPy provides a practical shortcut: it performs the symbolic mathematics and can convert resulting formulas into source code. section 1.7 section 1.5

Underspecified systems

A system of linear equations may describe a line, plane, or hyperplane rather than one point. Symbolic computation can retain that geometric object as the solution, whereas numerical methods generally seek a single set of numbers. This is useful for understanding families of solutions, but symbolic solving can become extremely slow: even an 8 × 8 system may take a long time. section 3.2.2

Use symbolic computation when:

  • You need a general formula rather than one evaluated result. section 1.7
  • A solution is naturally a geometric object such as a line or plane. section 3.2.2
  • You can accept slower computation in exchange for symbolic structure, or split a problem into symbolic and numerical stages. section 3.2.2

How Geometry for Programmers covers it

How deep it goes
Defines symbolic manipulation, illustrates geometric solution sets, and notes performance limits without developing internal algorithms.
Examples
Uses underspecified linear systems whose solutions are lines, planes, or hyperplanes.
What it assumes
Assumes elementary equations, coordinate planes, functions, and basic Python reading while introducing SymPy from zero.
What you can do after
Evaluate/understand when formulas or geometric solution sets should remain symbolic instead of becoming numerical results.
How it connects
Connects SymPy with applied geometry, linear equations, numerical computation, and source-code generation.

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.