Symbolic
Symbolic is a library for manipulating mathematical expressions. Expressions are stored in a structured symbolic form allowing various operations to be performed on them.
The library currently provides the following features.
- Conversion to and from text.
- Manipulation of logical propositional statements.
- Reduction of statements using tautologies allowing some basic theorem proving.
- Manipulation of mathematical expressions
- Simplification of equations based on a simple rule set.
- Differentiation of expressions.
- Numerical approximations of equations given variable assignments.
- Continued fraction approximations of decimals.
The Symbolic source is hosted on SourceForge as part of the
Functy package.
The source can be obtained from the
SVN repository and you can also
browse the source.
