Yacas contains a small http server, with a little web-based user interface for doing calculations.
This entire site (including the documentation) can also be found in the source code distribution.
Yacas is written in very clean c++ code, and is very portable . It can compile stand-alone, and is easily embeddable. Yacas contains a native arbitrary precision arithmetic module, but can also be used with GMP.
Things implemented include: arbitrary precision, rational numeric, vector, complex, and matrix computations (including inverses and determinants and solving matrix equations), derivatives, solving, Taylor series, numerical solving (Newtons method), and a lot more non-mathematical algorithms. The language natively supports variables and user-defined functions. There is basic support for polynomials.
A new web-based user interface is in alpha stage, The distribution contains a small http server that can call on Yacas for doing calculations.
Your feedback is much appreciated.
Ginac |
Ginac is a c++ library for
doing computer algebra. It allows symbolic manipulation from
within a c++ program. It is currently in active development,
and looks very promising.
GiNaC is an iterated and recursive acronym for GiNaC is Not a CAS, where CAS stands for Computer Algebra System. It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like computation- intense numeric applications, graphical interfaces, etc.) under one roof. It is distributed under the terms and conditions of the GNU general public license (GPL). |
HartMath |
HartMath is a computer algebra system
written in Java. All math functionality is written in Java itself.
HartMath has roughly the same functionality as Yacas.
HartMath is an experimental computer algebra system written in Java 1.1. Some of the main implemented features are Big rational number arithmetic, symbolic differentiation, linear algebra functions, 2D plot functions, numeric computations, pattern matching transformation rules, functional programming, pure functions, runs on EPOC32 (i.e. Psion 5mx with Java virtual machine, ...) |
Jacal |
JACAL is an interactive symbolic mathematics program. JACAL can manipulate and simplify equations, scalars, vectors, and
matrices of single and multiple valued algebraic expressions containing numbers, variables, radicals, and algebraic differential,
and holonomic functions.
It is written in Scheme, and has the GPL license. |
Maxima |
Maxima is a Macsyma (early computer algebra system) clone, fully GPL'led. It can be found in the GNU repositories, and is written in Common Lisp. It seems there is currently no maintainer for Maxima. |
MockMMA |
MockMMA is a Mathematica-style parser and pattern matcher, written in Lisp, with some additional mathematical functionality. The link mentioned here directs you to Richard Fateman's page, which should contain a link to MockMMA. |