We will be deploying GitLab 9.2.1 shortly, there is no downtime expected.

libsymbolic

libsymbolic

Maths library for symbolic algebra. See the libsymbolic webpage.

Name Last Update
config Loading commit data...
debian Loading commit data...
linux Loading commit data...
src Loading commit data...
windows Loading commit data...
AUTHORS Loading commit data...
COPYING Loading commit data...
INSTALL Loading commit data...
Makefile.am Loading commit data...
Makefile.in Loading commit data...
NEWS Loading commit data...
README Loading commit data...
Symbolic.sln Loading commit data...
Symbolic.vcproj Loading commit data...
aclocal.m4 Loading commit data...
config.h.in Loading commit data...
configure Loading commit data...
configure.ac Loading commit data...
libsymbolic-1.pc.in Loading commit data...
Symbolic ReadMe
===============

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. 


Install
=======

If you have autoconf you should be able to install using the following 3 commands:

./configure
make
make install


License
=======

Read COPYING for information on the license. Symbolic is released under the MIT License.


Contact and Links
=================

More information can be found at: http://functy.sourceforge.net/
The source code can be obtained via svn from: https://functy.svn.sourceforge.net/svnroot/functy

I can be contacted via one of the following.

 * My website: http://www.flypig.co.uk
 * Email: at david@flypig.co.uk