An interactive digital logic simulator to be used for teaching of logic design or testing simple digital designs.

Free

Perform mathematics using symbolic computation and variable-precision arithmetic

Trial

Solve partial differential equations using finite element methods

Trial

Convert 287 kinds of units in 18 different categories related to heat, light, and radiology.

Demo

Get a high-quality complex-number math library, covering both cartesian and polar coordinates.

Free

Get a high-performance vector and matrix lib for linear systems, signal processing, data fitting.

Free

Perform mathematics using symbolic computation and variable-precision arithmetic

Trial

Pythia is a program for the development and design of Neural Networks.

Free