Library that implements automatic simplification of algebraic expressions in C#.

To get an idea of the kinds of expressions it handles, see the tests in this file.

The automatic simplification algorithm comes from the book "Computer Algebra and Symbolic Computation: Mathematical Methods" by Joel S. Cohen.

The core of the system is in Symbolism.cs.

Symbolism began as a port of the Scheme MPL library to C#.

GiNaC and SymbolicC++ are of course very inspirational.

The "PSE 5E" examples and problems in the unit tests are from the textbook "Physics for Scientists and Engineers, 5th Edition" by Serway and Jewett. Here's an index of some of the examples.

Here's a walk-through of solving a physics problem.

A slightly more complex walk-through.

Walk-through of solving a laws of motion problem.

In action:

Unit test for that example.

References:

Computer Algebra and Symbolic Computation: Elementary Algorithms by Joel S. Cohen

Computer Algebra and Symbolic Computation: Mathematical Methods by Joel S. Cohen