Open Source Java Mathematics Software for BSD

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.

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

Android, Symbian UIQ 3.0 and Symbian Series 60 Edition 5 open-source software, tools, libraries and themes. Most notable the FX-602P / FX-603P Simulator and the HP-45 Emulator are hosted here.

JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.

JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs. With JMCAD, users can quickly develop software or "virtual" prototypes of systems or processes to demonstrate their behavior prior to building physical prototypes. The user builds his system model by selecting predefined blocks from a block library and simply wiring the blocks together. Each block of the diagram performs a function. Users can also create custom blocks in Java and add them to the JMCAD block library. JMCAD is a block diagram language for creating complex nonlinear dynamic systems.

The JTS Topology Suite is an API for modelling and manipulating 2-dimensional linear geometry. It provides numerous geometric predicates and functions. JTS conforms to the Simple Features Specification for SQL published by the Open GIS Consortium.

CompPad is a LibreOffice extension that provides live mathematical and engineering calculations within a Writer document. It is intended to provide a free / open-source alternative to Mathcad .

JUNG provides a common and extendible language for the modeling, analysis, and visualization of data that can be represented as a graph or network. New version now available on GitHub: https://github.com/jrtom/jung/releases/tag/jung-2.1

JEuclid is a complete MathML rendering solution, consisting of: a MathViewer application, command line converters from MathML to other formats, an ant task for autmated conversion, display components for AWT and Swing and a component for Apache Cocoon

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

Statcato is a Java software application for elementary statistics. Its features include data and graph generation, probability distributions, descriptive statistics, confidence intervals, hypothesis tests, correlation, regression, and analysis of var

NCE Calculation Framework is a library of routines, models and data applicable to chemical and process engineering calculations, written in Java. -- NEW -- www.chesolver.com *ONLINE CALCULATORS*. A set of solvers to perform calculations consistently on any device, from smart-phone to desktop. The project includes the following ready to use software all based on the same core library: * Online Calculators at www.chesolver.com * Extensions for Libreoffice/Openoffice Calc spreadsheet: - NCE: https://extensions.libreoffice.org/extensions/nce - NCE-Units: https://extensions.libreoffice.org/extensions/nce-units Check out also our video channel: https://www.youtube.com/channel/UCt2EGdw33k2u19PnZAi8YJA

UnBBayes is a probabilistic network framework written in Java. It has both a GUI and an API with inference, sampling, learning and evaluation. It supports Bayesian networks, influence diagrams, MSBN, OOBN, HBN, MEBN/PR-OWL, PRM, structure, parameter and incremental learning. Please, visit our wiki (https://sourceforge.net/p/unbbayes/wiki/Home/) for more information. Check out the license section (https://sourceforge.net/p/unbbayes/wiki/License/) for our licensing policy.

It's a program that plots Bode diagrams with an excellent precision. In this new version it's very easy to provide the function to plot thanks to a simply graphic interface in style "what you see is what you got". A smart output window allows to plot more than one graph at the same time, and easily compare them. The plotted graphs can be exported as images, in various format. Language supported: italian. Next version probably will include other languages; certainly english will be the first. This is a beta version, so please report any bug if you find something wrong! Your help will be very appreciated! NEWS! asymptotic diagram plotting function added! the function is in beta test, and does not support complex factor.

Kandid generates images using genetic algorithms. In a simulated evolution surprising images can be found calculated with Lisp expressions, Textures, Iterated Function Systems, Linear Cellular Automata, Voroni diagrams, Lindenmayer Systems and POVray

Calculation of camshafts - allows to define a camshaft profile on the set trajectory which should provide the given mechanism. The trajectory can be set graphically, co-ordinates or function.

Jep is a Java package for parsing and evaluating mathematical expressions. It currently supports user defined variables, constants, and functions. The open-source Jep project was halted in favor of commercial development of version 3.0 upwards.

The Decision Deck project aims at developing a generic decision aid platform composed of modular "software components". These software components implement the common functionalities of a large range of multiple criteria decision aid methods. This

Parallel Iterative Deconvolution is a multithreaded ImageJ plugin for iterative image deblurring.

Puran2 is a real random number generator based on electronic noise. The random bits are stored on a CD. The software allow the access to the random bits like a pseudo random number generator and is easy to use. It can be mixed with random number of a tausworthe generator to grow the count of random number.

Calcoo is a scientific calculator (with both RPN and algebraic modes) designed to provide maximum usability.

ADaMSoft is a free and Open Source Data Mining software developed in Java. It contains data management methods and it can create ready to use reports. It can read data from several sources and it can write the results in different formats.

The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of conclusions, so the Logic Calculator displays the truth table of each premise / conclusion and the result of whether or not these premises logically entail the given conclusions. (3) Conversion of a formula to Disjunctive Normal Form (DNF) and Conjunctive Normal Form (CNF): In this mode the user inserts a logic formula and the Logic Calculator outputs its representation in both a DNF and CNF.

Perceptron is a video feedback engine with a variety of extraordinary graphical effects. Perceptron is an endless flow of transforming visuals. Perceptron * recursively transforms images and video streams in realtime and produces a combination of Julia fractals, IFS fractals, and chaotic patterns due to video feedback * evolves geometric patterns into the realm of infinite details and deepens the thought * records animations (movies) * saves and opens presets (state files) * loads user photographs or captures screen and webcam input * has user interface based on multiple mouse cursors, and almost the entire keyboard * has multiple windows and fullscreen mode * takes complex geometric transforms as input * applies numerous coloring techniques * smoothly transforms fractals and creates endless psychedelic journeys * resonates with the human perception Visit the Perceptron home page at http://perceptron.sourceforge.net