flypig.co.uk

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.

Download

  • Symbolic Library Symbolic Library
    Version 0.21 (15 Jun 2009) for Linux and Windows.
    Symbolic is a library for manipulating mathematical expressions. Expressions are stored in a structured symbolic form allowing various operations to be performed on them, such as simplification, differentiation and simple theorem proving. It's used by Functy, so at the moment the projects live together in the same place. More info...
    Download: source.