The Java Algebra System (JAS) is an object oriented, type safe, multi-threaded approach to computer algebra. JAS provides a well designed software library using generic types for algebraic computations implemented in the Java programming language. The library can be used as any other Java software package, or it can be used interactively or interpreted through a Jython or JRuby front end. The focus at the moment is on commutative and solvable polynomials, power-series, multivariate polynomial factorization, Gröbner bases, and applications.
SCaVis is an environment for scientific computation, data analysis, and data visualization designed for scientists, engineers, and students. The program can be used for function and data plotting in 2D and 3D, histograms, statistical analysis, and symbolic calculations using the Matlab/Octave high-level interpreted language.
The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".
SLEEF (SIMD Library for Evaluating Elementary Functions) is a library that facilitates programming with SIMD instructions. It implements the trigonometric functions, inverse trigonometric functions, exponential and logarithmic functions in double precision without table look-ups, scattering from, or gathering into SIMD registers, or conditional branches. This library also includes some functions for evaluation in single precision.
VisIt is an interactive parallel visualization and graphical analysis tool for viewing scientific data. Users can quickly generate visualizations from their data, animate them through time, manipulate them, and save the resulting images for presentations. VisIt contains a rich set of visualization features so that you can view your data in a variety of ways. It can be used to visualize scalar and vector fields defined on two- and three-dimensional (2D and 3D) structured and unstructured meshes. It was designed to interactively handle very large data set sizes in the terascale range, and works well down to small data sets in the kilobyte range.
jHepWork (jWork) is an environment for scientific computation, data analysis, and data visualization for scientists, engineers, and students. The program is fully multi-platform (written in Java). Programs can be written in the Java, Jython/Python, and BeanShell scripting languages. Matlab/Octave is supported for symbolic calculations. The program can be used to display data and functions in D and 3D. It comes with a friendly IDE and a code assist.
The Shared Scientific Toolbox is a library that facilitates development of efficient, modular, and robust scientific/distributed computing applications in Java. It features multidimensional arrays with extensive linear algebra and FFT support, an asynchronous, scalable networking layer, and advanced class loading, message passing, and statistics packages.
jMathLab is a platform for mathematical and numerical computations. It uses the Matlab/Octave programming language. It runs on any platform where Java is installed, and can also run on the Web browser. The following packages are included: symbolic calculations (simplification, differentials, integration), numeric calculations, evaluations of mathematical functions, special functions, linear algebra with vectors and matrices, plotting data and functions, saving data (vectors and matrices) in files, random numbers, statistics, and solving linear and non-linear equations