Open Source Java Mathematics Software - Page 26

A framework for utilising the Genetic Algorithm in the domain of Game Theory

A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.

Knot theory demonstration program.

Natura is a programming language designed to make number theoretic programming easier for mathematicians by describing computations in a language closer to that used by mathematicians than the methods of expression provided by other programming languages

Maximum entropy is a powerful method for constructing statistical models of classification tasks, such as part of speech tagging in Natural Language Processing. Several example applications using maxent can be found in the OpenNLP Tools Library.

The Wolfram Machine project is an effort to create a set of documentation and useful modules (both hardware and software) for a computing architecture based on the mathematical theories presented in Steven Wolfram's book _A_New_Kind_of_Science_.

Misc packages including a matrix application, a text based minesweeper, and simple console functions bundled to be run from a virtual console. Some packages are independently runnable. http://damf.sourceforge.net/ for more information.

Plots a parameterized family of curves

ThreeSpace is a 3D drawing program, or modeller if you will, primarily intended for visualizing and playing with mathematical functions. It allows you to superimpose these or otherwise alter objects in 3D using them.

The Tile Farm provides a user-interface for experimenting with pattern blocks and can used to teach the principles of patterns and symmetry to audiences ranging from elementary school children to PhD's in math, science and engineering.

This software is a time-aware geostatistical tool. Including time variability adds further issues to the already complicated field of geostatistical interpolation. On the other hand, most of the distributions of variables used in Earth and environmental sciences show patterns of change over time, not only in space. This tool is a free, open-source software, based on a generalization of the Inverse Distance Weighted algorithm. It outputs three-dimensional, layered discrete models from which time series and equal-time GIS Grid layers can be extracted.

Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.

The general triangle solver. It computes all solutions for a triangle specified by combination of sides, angles, altitudes, medians, angle bisectors, area, radius of circumscribed and inscribed circle, sum a+b, perimeter and difference of alpha-beta.

UDA stands for Universal Descriptive Algebra. It consists of a Java package handling universal algebras and relational structures as description systems.

Graph polynomials and view prime numbers on a ulam spiral graphing plot. Only integer numbers. Based on an old GPL version of the JEP equation parser. See website for additional examples/live applets Seems to be closely related to Cellular automaton.

This software has four major modes- Simple, Scientific, Base & Equation. It also has Unit Converter, Date Calculator & Prime Number Generator.

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse

The new Unit Conversions Lite 1.0.2 can be useful for convert some popular units. For example: oz -> g or in -> cm and so on... This application is written in Java programming language.

This app converts length, temperature, and fluidic volume.

A universal algebra calculator for working with general algebraic systems.

Uranograph is a set of classes and methods written in Java for generating printable and viewable star charts based on different data sources. Currently the Lambert azimuthal equal-area projection is implemented. Output in SVG and PDF (with iText library)

VMatrixLib is a little, handy, Java matrix library which implements a set of utility functions (such as calculus of the determinant of a matrix, calculus of the rank, inverse matrix, and many others..) that anyone who have to use matrices needs.

VectTens is an object-oriented numerical library designed to manipulate vectors, tensors, and other mathematical quantities in a simple and efficient manner.

Yet Another Data Mining Platform

This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. If you are more familiar with MATLAB language, we suggest you to try VeriSiMPL version 1.4 which is fully based on MATLAB.