Open Source Java Mathematics Software

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example

JEPLite is a light-weighted (re)implementation of the Java Expression Parser (jep.sourceforge.net). The intention is to strip some of its not-so-often-used features, and thus speeding the rest. Includes expression optimizer.

3-layer neural network for regression and classification with sigmoid activation function and command line interface similar to LibSVM. Quick Start: "java -jar nen.jar"

A Java library and set of tools to quickly and easily manipulate graphs (set of nodes and edges) and dynamic graphs. The principal trait of this library is its ability to manage (create, edit, layout, display) continuously evolving graphs. The development of this project now takes place on Github. Visit the official Graphstream website at http://graphstream-project.org

OpenForecast is a package of general purpose, forecasting models written in Java that can be applied to any data series. No knowledge of forecasting is required. Using this package, the most appropriate algorithm for your data will be selected.

This project aims to deliver a high-quality number base converter utility in Java. It will support decimal, binary, hexadecimal, octal, and a user specified base and convert between numbers of any base from 2 through 36.

LOOP (Language Object Oriented Parallel) is a visual programming language project dedicated to creating a full suite of components for simulation of hierarchical dynamical systems in discrete time.

This project has moved. Please follow the WWW link below.

Fully playable Java game demo illustrating basic game programming technics, such as sprite animation, pixmap fonts, time or frame related game loop, affine transformations, convolution filters, sound generation and playback...

Interdependent Java frameworks: AMath (abstract numbers support); AFuzzy (fuzzy numbers and methods); AMathSys (flexible solvers of linear and nonlinear algebraic and differential equations); ADSM (multi-criteria ranking and grading of alternatives).

A java based neural network framework. The Auratus network is built around an XML messaging system, allowing for a complete MVC design. Additionally, Auratus networks are constructed and at the node/edge level, allowing for advanced topologies.

FNA is a command line tool for creating and analyzing financial networks with concepts developed in social network analysis and network science. NOTE: the project has been moved to http://code.google.com/p/financial-network-analyzer/

Fuzzy numbers and basic fuzzy arithmetics (+, -, *, /, 1/x) implementation written in Java. Should be used as a library, but it also has a GUI which demonstrates its capabilities (using SWT widgets).

G.A.V. (Graph Algorithm Visualizer) is a tool that visualizes algorithms from graph theory. A step-by-step visualization from each different algorithm allows the user to understand the particular algorithm very easily.

GSH builder is a free Galois Sub-Hierarchy visualization tool. The algorithm for calculating GSH is called Pluton and the present Java realization is based on two articles. "Efficiently computing a linear extension of the sub-hierarchy of a Concept Lattice" by Anne Berry, Marianne Huchard, Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad. "Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and Alain Sigayret In you're in need of other GSH algorithms or their realizations in C++, you might want to investigate a project called Galicia on sourceforge. This program is free software and is licensed under GNU General Public License as published by the Free Software Foundation. Only jre7 compliant at the moment.

The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC) ; the General Eduction Engine (GEE), and the Intensional Run-time Programming Environment (RIPE).

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

Das Horner-Schema ist ein schnelles und einfaches Verfahren, um einen Funktionswert von Polynomen an einem gegeben Wert zu berechnen. Dieses Projekt beinhält eine Facharbeit und Programmierbeispiele in Pascal und Java zum Thema.

The K.U.Leuven JCHR System is an integration of Constraint Handling Rules (CHR) and Java designed with three aims in mind: user-friendliness, flexibility and efficiency. http://www.cs.kuleuven.be/~petervw/JCHR/

JVClifford is composed of Java/Java3D packages and executables jars that provide for Clifford element definition, Geometric Algebra operations and geometric scenes modelling and rendering using the n-dimensional geometric algebra affine model

The JAccumulator package brings the convenient type conversion and ad hoc composition capabilities of Javascript to Java programming structures. JAccumulator is dependent upon the Jupperware (http://jupperware.sf.net) to provide Javascript-like associative list capabilities and the convenience of easy hierarchical construction.

Java Kohonen Neural Network Library Kohonen neural network library is a set of classes and functions for design, train and use Kohonen network (self organizing map).

Symbolic math Java applet. Features: big number arithmetic; symbolic and numeric evaluation; programming language constructs;plot functions

This project provides an interface to Java expression evaluator software. It does not itself provide expression capabilities but instead provides a common interface.