Open Source Linux Mathematics Software - Page 48

Interval Analysis is a collection of interval analysis tools, allowing for robust root-finding and tracking of bounds of numerical error due to uncertain inputs and floating-point error.

This terminal app runs on PCs or laptops running OSX or GNU/Linux. It attempts to mimic the functionality of an HP ReversePolishNotation [RPN] calculator with the added enhancement of interval output. So along with your answer, you get a good idea of its trustworthiness. This app uses GAOL, a C++ library to perform arithmetic with floating-point intervals.

这是一个用来演示二分查找树的程序。 它会随机生成大量的整数，并且将这些整数插入到一个二分查找树中。最后会按照计数的情况绘制出一幅图片。

IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.

IterInt is a numerical integration package that implements iterated numerical integration methods. Iterated methods can be used to compute low dimensional (less than ten, for example) integration problems to get very accurate results.

libidp is a C library implementation of the iterative dynamic programming (IDP) optimal control algorithm, which solves the optimal control problem for ODE and DAE dynamic equation models. An example problem is included.

This project provides a set of libraries written in Java to easily manipulate Multi-Criteria Decision Aid (MCDA) concepts, especially related to outranking methods, and XMCDA files.

J³calc was initially a little project for my school but I enhanced it on and on and now it is a quite powerful calculator. It is written in Java with Swing. The sourcecode is open under the GPL 3.0 license

JAGAL provides implementations for directed graphs (weighted and unweighted) and varoius types of transition systems as well as utils for graph traversal and modification. JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal.

With its updated version of Autograd, JAX can automatically differentiate native Python and NumPy functions. It can differentiate through loops, branches, recursion, and closures, and it can take derivatives of derivatives of derivatives. It supports reverse-mode differentiation (a.k.a. backpropagation) via grad as well as forward-mode differentiation, and the two can be composed arbitrarily to any order. What’s new is that JAX uses XLA to compile and run your NumPy programs on GPUs and TPUs. Compilation happens under the hood by default, with library calls getting just-in-time compiled and executed. But JAX also lets you just-in-time compile your own Python functions into XLA-optimized kernels using a one-function API, jit. Compilation and automatic differentiation can be composed arbitrarily, so you can express sophisticated algorithms and get maximal performance without leaving Python.

The project aims to build a set of Java-based mathematical programs.

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)

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/

This if calculator for complex numbers. It works with algebraic and trigonometrical form and has multiple memory slots. There are many mathematical functions like sin, cos and etc.

Planimetric Geometry (JCabri) is a rewrite of Cabri Geometry in Java. It provides solution for doing geometric constructions in 2D and exporting them as an animated GIF or Java applet.

JCalc is GUI calculator written entirely in Java. It can be run cross-platform on any OS with a Java Virtual Machine. It shall be portable, stable, and efficient.

JCharacterMatcher is an application for matching characters represented as graphs. It computes the distance between two characters. The smaller it is, the bigger is the probability that both graphs represent the same character.

[This project is frozen, but has an offspring with more features: https://github.com/jeffhain/jadecy ] JCycles provides treatments to compute cycles, or just strongly connected components, in directed graphs in general, or in classes or packages dependencies graphs parsed from class files (major version <= 51, else does best effort). It uses Tarjan's algorithm for SCCs, and Johnson's for cycles, with continuations instead of recursion, which allows to handle large graphs (< Integer.MAX_VALUE vertices). Requires Java 5 or later.

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.

JEXP is a small Java framework for the evaluation of expressions parsed from text strings. The code generated by JEXP executes very fast and has a small memory footprint.

JEquation provides an intuitive and fast way to input mathematical expressions into latex documents by using prestructured neural network based handwriting recognition.

A fuzzy logic toolbox written in Java.

A Java application for drawing dynamic mathematics features (as geometric figures, dynamic algebra) and for creating dynamic animations using geometrics tools. You can also export the figures to Latex2e pstricks, mfpic environment or JPEG, WMF, EPS image

Plotting of mathematical functions, including math expression evaluation

JFunctionViewer is a simple and fast OpenSource function plotter. Since it is written in Java it is Platform independend and can even be run from inside a Browser.