# Category/Mathematics/symbolic

**Broaden your selection:** Category/Mathematics

## Category/Mathematics

###
*symbolic* (11)

- DataMelt
- DataMelt (DMelt) is an environment for numeric computation, statistical analysis, data mining, and graphical data visualization on the Java platform. This Java multiplatform program is integrated with a number of scripting languages: Jython (Python), Groovy, JRuby, BeanShell. DMelt can be used to plot functions and data in 2D and 3D, perform statistical tests, data mining, numeric computations, function minimization, linear algebra, solving systems of linear and differential equations. Linear, non-linear and symbolic regression are also available. Neural networks and various data-manipulation methods are integrated using powerful Java API. Elements of symbolic computations using Octave/Matlab scripting are supported.

- Dezyne
- The
**Dezyne**language has formal semantics expressed in mCRL2 developed at the department of Mathematics and Computer Science of the Eindhoven University of Technology (TUE). Dezyne requires that every model is finite, deterministic and free of deadlocks, livelocks, and contract violations. This achieved by means of the language itself as well as by builtin verification through model checking. This allows the construction of complex systems by assembling independently verified components.

- GiNaC
- GiNaC is an acronym for GiNaC Is Not A CAS, where CAS stands for Computer Algebra System. It lets the user create integrated systems that embed symbolic manipulations together with more established areas of computers sciences under one roof. It has been specifically developed to become a replacement engine for xloops. However, it is not restricted to high energy physics applications. Its design is revolutionary in that contrary to other CAS it does not try to provide extensive algebraic capabilities and a simple programming language but instead accepts a given language (C++) and extends it by a set of algebraic capabilities.

- Giac
- Giac/Xcas is a free computer algebra system. It has a compatibility mode for maple, mupad and the TI89. It is available as a standalone program (graphic or text interfaces) or as a C++ library.

- Jacal
**JACAL**is an interactive symbolic math program that 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.

- MathEOS
- This is a text editor for writing math lessons and providing tools for doing all the exercises from elementary school to junior high. The software is especially designed to fulfil the needs of disabled pupils, and pupils suffering from dyspraxia in particular. The program manages the child's documents like a notebook, organized with chapters, and separating lessons, exercises and evaluations, making it very easy to navigate through the documents.

- MathGene
- MathGene is a comprehensive JavaScript mathematics engine that delivers the ability to perform advanced numerical and symbolic mathematics processing of LaTeX expressions and send the output to pure HTML for rendering on a conventional web browser or via web server. MathGene has two modules: •mg_translate.js, which translates between LaTeX, HTML, and native MG format. •mg_calculate.js, which performs the calculations. mg_translate.js can be used without mg_calculate.js to perform mathematics rendering only. Both modules are required to perform calculations.

- MathStudio
- 'MathStudio' is a project intended to make typing and resolution of mathematical expressions easier and more comfortable. Many other programs like this force the user to write input data using one row only (everything is typed at the same level, exponents and bases are on the same row) and use a lot of brackets to make the operation order explicit. Since this is very different from the math you do manually, the aim of this project is to reduce this gap providing both cross-platform libraries which can be embedded in other programs and a program, MathStudio, which demonstrates their usage.

- Mathomatic
- 'Mathomatic' is a small, portable, general purpose symbolic math program that can solve, simplify, combine, differentiate, and compare algebraic equations. It can do standard, complex number, and polynomial arithmetic, and is designed to be as general as possible, with few options.

- Maxima
**Maxima**is a fairly complete computer algebra system written in lisp with an emphasis on symbolic computation. It is the Common Lisp implementation of MIT's Macsyma system for computer based algebra.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.