Kalamaris is a mathematics research framework which is similar to Mathematica in some aspects, while offering a new approach to solve mathematical problems and simulate physics models in an easy way.
KANT is a software package for mathematicians interested in algebraic number theory. For those KANT is a tool for sophisticated computations in number fields and in global function fields.
you are able to use the powerful KANT V4 functions within a shell and you do not need to know anything at all about programming in C
Kayali is a Qt based Computer Algebra System (CAS) that can also be used as an advanced replacement for KDE KCalc. It is essentially a front end GUI for Maxima (and is easily extended to other CAS back-ends) and Gnuplot.
Kig is an application for interactive geometric construction, allowing students to draw and explore mathematical figures and concepts using the computer. Read more
KLab is a matrix math engine and high-level prototyping language interpreter. It provides plotting services through externally-defined functions.
KSEG is for exploring Euclidean geometry. You create a construction, such as a triangle with a circumcenter, and then, as you drag verteces of the triangle, you can see the circumcenter moving in real time.
Lazy-L is an interpreter for pure untyped lambda calculus using combinator graph reduction techniques.
Learning Logic is a highly interactive, computerized mathematics program currently used to teach Algebra I, (Pre-algebra and Algebra II on a limited basis).
LEGO is a powerful tool for interactive proof development in the natural deduction style. It supports refinement proof as a basic operation. The system design emphasizes removing the more tedious aspects of interactive proofs. For example, features of the system like argument synthesis and universe polymorphism make proof checking more practical by bringing the level of formalization closer to that of informal mathematics.
LMP is a command line "calculator" comparable to the GNU command expr, but more flexible. It supports floating point and complex numbers and even higher level operations like differenziation and integration.
Library of Location Algorithms: designed as a software system comprising the algorithmic methods known in location planning
Macaulay is a software system devoted to supporting research in algebraic geometry and commutative algebra, whose development has been funded by the National Science Foundation.
Magma is a large, well-supported software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics. It provides a mathematically rigorous environment for computing with algebraic, number-theoretic, combinatoric and geometric objects.
The MAGNUS Computational Group Theory Package is an innovative symbolic algebra package providing facilities for doing calculations in and about infinite groups. Almost all symbolic algebra systems are oriented toward finite computations that are guaranteed to produce answers, given enough time and resources. By contrast, MAGNUS is concerned with experiments and computations on infinite groups which in some cases are known to terminate, while in others are known to be generally recursively unsolvable.
Matgen is a command line matrix generator. It uses an input file describing the features of the matrix and writes it to stdout as an ASCII formatted stream according to the MatrixMarket file format.
Mathomatic is a small, portable symbolic math program that can automatically solve, simplify, differentiate, combine, and compare algebraic equations, perform polynomial and complex arithmetic. Read more
MathSpad is a general-purpose structure editor that is particularly
useful for writing articles that contain substantial amounts of mathematical calculations.
mathtools is for calculating different geometrical figures or applications of algebra-functions.
MathXplorer/T provides numerical analysis and visualization capabilities within the Tcl/Tk environment. It extends the Tcl environment with two Tcl packages: Mxt and MxtGr. Package Mxt provides minterp, a command used to create MathViews interpreters. Package MxtGr provides a command graph for creating Tk widgets capable of rendering MathViews figures.
MatLisp is a set of CLOS classes for handling matrices. The classes allow a simple and consistent interface to matrix operations. Matlisp is powered by the well-known and well-tested linear algebra packages BLAS and LAPACK.
MatPy is a Python package for numerical computation and plotting with a MatLab-like interface. It currently consists of wrappers around the Numeric, Gnuplot and SpecialFuncs packages. It provides an alternative interface to NumPy that is somewhat more convenient for matrix and vector computation.
Matrix Math is a package currently in an early phase that allows auser to quickly and easily perform mathematical operations on matrices.
Matrix Operations is a program designed to do basic matrix operations such as determinants, inverses, adjoints, multiplication, addition/substraction and others. It is written in c++ for Linux, and it uses basic I/O display to output the matrices.
MatView is a handy tool for viewing and exploring large sparse matrices. Using MatView, a sparse matrix with millions of elements can be reduced to a graphically viewable size for overviews of the high-level structure, or a detailed view can be obtained by zooming in and navigating through small regions of the matrix.
mcl-algorithm is a fast and scalable cluster algorithm for graphs based on simulation of (stochastic) flow in graphs.
MCS is a Matlab program for bound constrained global optimization using function values only, based on a multilevel coordinate search that balances global and local search.
MINQ is a Matlab program for bound constrained indefinite quadratic programming based on rank 1 modifications. It solves the optimization problem.
MMACH is a toolbox for Mathematical Morphology for the Khoros System. MMACH stands for Morphological Machine.
MODELbuilder is a free opensource mathematical program which is designed to give scientists and engineers the means to find any multivariate model for any dataset, how complex or large both may be. MODELbuilder has a built-in model library, but can easily be exended for user defined models.
Mtk is a basic mathematical package for X11. It makes no claim to rival large commercial computer algebra systems but it is handy for quickly doing small calculations. The main window of the application consists of a list of equations and an output display. Equations can be entered in. Mtk supports a large range of common functions and there will hopefully be more in the future.
MuPAD is a mathematical expert system for doing symbolic and exact algebraic computations as well as numerical calculations with almost arbitrary accuracy. For example, the number of significant digits can be chosen freely. Apart from a vast variety of mathematical libraries the system provides tools for high quality visualization of 2- and 3-dimensional objects.
OpenEuclide is a 2D geometry software: figures are defined dynamically by describing formal geometrical constraints. This project is a basic tool for educational or modeling purpose that aims to be extended as far as possible in response to user needs.
PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...), but also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers etc., and a lot of transcendental functions. PARI is also available as a C library to allow for faster computations. Read more
Project Lima is a software tool for factorizing arbitrary integers using probabilistic algorithms and distributed computing methods.
Parallel Software for Implicit Differential Equations is a Fortran 77 code for solving implicit differential equations on shared memory parallel computers.
PYDL is a free clone of IDL for Linux. It is developed in Python using Numerical Python, Python Imaging Library and Dislin (plotting) packages. Array arithmetic, plotting, 24 and 8-bit imaging and some numerical routines are implemented.
Python Stencil Environment
Python Stencil Environment (PySE) is a framework for solving partial differential equations with the Finite Difference Method. Its main focus is on Stencil Abstractions.
Queen Mckliskey is a well known Logic Minimization algorithm, which has the power and flexibilty to remove redundant terms in a boolean algebra equation, and finds only the essential terms.
RandomCsp can be used to generate random constraint satisfaction problems using several parameters to produce CSPs that are supposed to be difficult to solve.
Relational is an interface to load relations from a file, to write relational algebra queries, and to see their result.
Ricci is a Mathematica package for doing tensor calculations in differential geometry. It has the following features and capabilities: Manipulation of tensor expressions with and without indices, Implicit use of the Einstein summation convention, Correct manipulation of dummy indices, and more.
Rlab is an interactive, interpreted scientific programming environment. Rlab is a very high level language intended to provide fast prototyping and program development, as well as easy data-visualization, and processing. Rlab is not a clone of languages such as those used by tools like Matlab or Matrix-X/Xmath. However, as Rlab focuses on creating a good experimental environment (or laboratory) in which to do matrix math, it can be called ``Matlab-like''; since the programming language possesses similar operators and concepts.
RLaBPlus is a continuation of work on an open-source scripting environment for scientific computations RLaB2. Project rlabplus provides release 2 of RLaB2, which contains upgrades of the numerical libraries used in the first release, and many new libraries and toolkits, e.g., Gnu Scientific Library (GSL).
SADE is a genetic based optimisation method that uses differential operators and is a derivative of Differential Evolution invented by K. Price and R. Storn.
Sage is a computer algebra system written in Python and Cython and integrates an included distribution of specialized mathematics software into a common experience. It tries to cover many aspects of mathematics, including algebra, combinatorics, numerical mathematics and calculus. Read more
SegyMAT is a set of m-files that allows matlab programs to easily read and write segy data, and a Matlab GUI to read and write SEG-Y files, and edit the SEG-Y headers.
(commercial) ShapeKit Suite is a highly specialized software focused on data modeling. It helps engineers and researchers in creating a data model based on empirical data gathered from experiments.
SIMATH is a computer algebra system mostly designed for computations in number theory.
SINGULAR is a Computer Algebra System for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, singularity theory, and polynomial system solving. Read more
Prev 50 Next 50