Open Source Java Mathematics Software

This is an implementation of the Granular Neural Network architecture defined by S. Dick, A. Tappenden, C. Badke, O. Olarewaju. It is provided for the use of the public, and the convenience of researchers who may wish to develop or use this new system.

Gavrog stands for "Generation, Analysis and Visualization of Reticular Ornaments using Gavrog". It is a Java library together with a suite of interactive applications for the study of periodic net-like structures in space and their applications.

A Kron server can assings some informations to its website. Assinging under discussion based on a mathematical model, a dynamics model.

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large)

MIC* comes with a new vision of multi-agent system engineering: The multi-agent system is devided explicitly into two dimensions: the deployment environment and the autonomous agents. MIC* is an algebraic model of a deployment environment (container of a

Project VDW serves as a repository for all things pertaining to Van Der Waerden sequences. Volunteers to run the distributed client, mathematicians to help with theory, and anyone interested in VDW sequences are welcome!

A simple little program, that can convert quaternions from a exponential form to a usual form. I will argue for this method, which I find very natural and quite intuitive.

RandService is a Web Service which supplies pseudo- or true- random numbers through JAX-RPC API. Any random number generators can be used behind this Web Service.