OStatic

RKWard aims to provide an easily extensible, easy to use IDE/GUI for the R-project. RKWard tries to combine the power of the R-language with the (rela...

gnuplot is a command-line program that can generate two- and three-dimensional plots of functions and data. The program runs on all major computers an...

CLISP is a portable ANSI Common Lisp implementation by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in Eng...

HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathemat...

Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-continuous and special ordered sets (SOS) mod...

surfit is a computer program which enables to recalculate scattered data to regular grid (gridding). surfit implements the original gridding method CM...

Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as...

The math category theory software with diagram graphical user interface.

LaTex to braille translator for Maths, intended to be able to support multiple braille codes.

GiANT is a graphical interface for computer algebra systems (OS X/UNIX/Win). Currently GiANT lets the user work with number fields via KASH, but we ai...