Projects tagged ‘mathematics’

Graph visualization is a way of representing structural information as diagrams of abstract graphs and networks. Automatic graph drawing has many important applications in software engineering, database and web design, networking, and in visual ... [More] interfaces for many other domains. Graphviz is open source graph visualization software. It has several main graph layout programs. See the gallery for some sample layouts. It also has web and interactive graphical interfaces, and auxiliary tools, libraries, and language bindings. [Less]

gnuplot plots 2d and 3d graphs, from a data file or with a formula. It has an interactive mode with online help, or it can be used non-interactively. gnuplot does function fitting to data sets, and it does output to many terminals, among which are PostScript, X11 display, PNG, and GIF (via the old gd library).

R is a language and environment for statistical computing and graphics. It is a GNU project which is similar to the S language and environment which was developed at Bell Laboratories (formerly AT&T, now Lucent Technologies) by John Chambers and ... [More] colleagues. R can be considered as a different implementation of S. There are some important differences, but much code written for S runs unaltered under R. R provides a wide variety of statistical (linear and nonlinear modelling, classical statistical tests, time-series analysis, classification, clustering, ...) and graphical techniques, and is highly extensible. The S language is often the vehicle of choice for research in statistical methodology, and R provides an Open Source route to participation in that activity. [Less]

Octave is a high-level language, primarily intended for numerical computations. It provides a convenient command line interface for solving linear and nonlinear problems numerically, and for performing other numerical experiments. It may also be used as a batch-oriented language.

GNU CLISP is an ANSI Common Lisp implementation with an interpreter, compiler, debugger, object system (CLOS, MOP), sockets, fast bignums, arbitrary precision floats, and foreign language interface which runs on most UNIXes and Win32.

SciPy is a collection of mathematical routines that builds on the NumPy array extension. It collects a large number of general-purpose scientific and engineering routines. With NumPy + SciPy, you can use Python much as you would use Octave, Scilab, Matlab, or IDL

Anjuta is a versatile Integrated Development Environment (IDE) for C and C++ in GNU/Linux. It has been written for GTK/GNOME, and features a number of advanced programming facilities. These include project management, application wizards, an onboard interactive debugger, and a powerful source editor with source browsing and syntax highlighting.

mcrypt is a program for encrypting files or streams. It is intended to be a replacement for the old UNIX crypt. It uses well-known and well-tested algorithms like BLOWFISH, AES, ARCFOUR, CAST-128, and more in several modes of operation. It also has a compatibility mode with the old UNIX crypt program and the des program found in Solaris.

Maxima is a Common Lisp implementation of MIT's Macsyma system for computer based algebra. It features plotting over the network via netmath, computations over the network, extensive testing on a large array of problems, a source level debugger for ... [More] maxima code, ease of extension in fundamentally new ways, access to Common Lisp and portability to many systems. [Less]

Bullet is a 3D Collision Detection and Rigid Body Dynamics Library for games and animation. Free for commercial use, including Playstation 3, open source under the ZLib License. Discrete and continuous collision detection, integrated into Blender 3D, and COLLADA 1.4 Physics import.

ODE is an open source, high performance library for simulating rigid body dynamics. It is fully featured, stable, mature and platform independent with an easy to use C/C++ API. It has advanced joint types and integrated collision detection with ... [More] friction. ODE is useful for simulating vehicles, objects in virtual reality environments and virtual creatures. It is currently used in many computer games, 3D authoring tools and simulation tools. [Less]

Sage is mathematical software, very much in the same vein as Matlab, MAGMA, Maple, and Mathematica. Unlike these systems, every component of Sage is GPL-compatible. The interpretaive language of Sage is Python, a mainstream programming language. Use ... [More] Sage for studying a huge range of mathematics, including algebra, calculus, elementary to very advanced number theory, cryptography, numerical computation, commutative algebra, group theory, combinatorics, graph theory, and exact linear algebra. It is available for download from sagemath.org and its mirrors in source or binary form. If you have any questions and/or problems please report them to the Google groups sage-devel or sage-support. You can also drop by in #sage-devel or #sage-support in freenode. [Less]

GMP is a free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point numbers. There is no practical limit to the precision except the ones implied by the available memory in the machine GMP runs on. GMP has a rich set of functions, and the functions have a regular interface.

The GNU Scientific Library (GSL) is a numerical library for C and C++ programmers. The library provides a wide range of mathematical routines such as random number generators, special functions and least-squares fitting. There are over 1000 functions in total with an extensive test suite.

A mathematical open source library written in C#/.Net, aiming to provide a self contained clean framework for symbolic algebraic and numerical / scientific computations.

GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content ... [More] (text, graphics, mathematics, interactive content, etc.). The rendering engine uses high-quality typesetting algorithms so as to produce professionally looking documents, which can either be printed out or presented from a laptop. The software includes a text editor with support for mathematical formulas, a small technical picture editor and a tool for making presentations from a laptop. Moreover, TeXmacs can be used as an interface for many external systems for computer algebra, numerical analysis, statistics, etc. [Less]

SymPy is a Python library for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the code as simple as possible in order to be comprehensible and easily extensible. SymPy is written entirely in Python and does not require any external libraries, except optionally for plotting support.

The ATLAS (Automatically Tuned Linear Algebra Software) project is an ongoing research effort focusing on applying empirical techniques in order to provide portable performance. It provides C and Fortran77 interfaces to a portably efficient BLAS implementation, as well as a few routines from LAPACK.

Eigen is a C++ template library for linear algebra (vectors, matrices, and related algorithms). * It supports tiny, dense, and sparse matrices (the latter is still experimental), fully integrated with one another. * It takes full advantage of ... [More] expression templates to provide a great API. For example, m.row(i)+=m.row(j) just works. * Expression templates are also the basis for many optimizations: automatic determination of which temporaries to remove, and intelligent explicit vectorization (SSE and ALtiVec). * Performance is on par with the best BLAS implementations (see http://eigen.tuxfamily.org/index.php?title=Benchmark). * It keeps in mind the real needs of apps, for example the geometry features needed for 3D graphics [Less]

KmPlot is a mathematical function plotter. It has built in a powerfull parser. You can plot different functions simultaneously and combine their function terms to build new functions. KmPlot supports functions with parameters and functions in polar ... [More] coordinates. Several grid modes are possible. Plots may be printed with high precision in correct scale. Features * powerful mathematical parser * precise metric printing * different plot types (functions, parametric, polar) * highly configurable visual settings (plot line, axes, grid) * export to bitmap format (BMP and PNG) and scalable vector graphics (SVG) * save/load complete session in readable xml format * trace mode: cross hair following plot, coordinates shown in the status bar support zooming and more. [Less]

Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * to define functions or predicates, * to state mathematical theorems and software specifications, * to develop ... [More] interactively formal proofs of these theorems, * to check these proofs by a relatively small certification "kernel". [Less]

Kig is a program for exploring geometric constructions. It is meant as a better replacement for such free programs as KGeo, KSeg and Dr. Geo and commercial programs like Cabri. Kig is meant as a useful and powerful utility for high school students and teachers.

This is an interactive generative art application to evolve images/textures/patterns/animations through an iterative process of random mutation and user-selection driven evolution. This process is also often referred to as "evolutionary art" or ... [More] "genetic art". If you like lava lamps, and still think the Mandelbrot set is cool, this could be the software for you. [Less]

LAPACK provides routines for solving systems of simultaneous linear equations, least-squares solutions of linear systems of equations, eigenvalue problems, and singular value problems. The associated matrix factorizations (LU, Cholesky, QR, SVD ... [More] , Schur, generalized Schur) are also provided, as are related computations such as reordering of the Schur factorizations and estimating condition numbers. Dense and banded matrices are handled, but not general sparse matrices. In all areas, similar functionality is provided for real and complex matrices, in both single and double precision. Note: Ohloh's statistics are not accurate. LAPACK has dozens of major contributors, but most do not use any form of source control. Contributions are merged by only a few people, and then only in bursts. [Less]

KAlgebra is a mathematical calculator based content markup MathML language. Nowadays it is capable to make simple MathML operations (arithmetic and logical) and represent 2D and 3D graphs. It is actually not necessary to know MathML to use KAlgebra.

An implementation of linear algebra numerical structures and methods for the CLR. NPack is unique in that it uses generics for matrix element definitions, and a set of matrix operations via an interface, allowing a CLR-based operations engine as well ... [More] as the opportunity to use GPGPU-based operation engines. NPack was initially ported from Java Matrix Package (JAMA) by the US National Institute of Standards and Technology (which was a Java reinterpretation of LINPACK). [Less]

Lib2geom (2Geom in private life) is a library developed for inkscape to provide a robust computational geometry framework. It is not a rendering library, instead concentrating on high level algorithms such as computing arc length.

KTurtle is an educational programming environment. KTurtle aims to make programming as easy and touchable as possible, and therefore can be used to teach kids the basics of math, geometry and... programming. The programming language used in KTurtle ... [More] is loosly based on Logo. KTurtle allows, just like some implementations of Logo, to translate the programming language (the commands, the documentation and the error messages) to native language of the programmer. Translating the programming language to the native language of the programmer is one of the many ways KTurtle tries to make learning to programming more simple. Other features to help to achieve this goal are: intuitive syntax highlighting, simple error messages, integrated canvas to make drawings on, integrated help function, ... [Less]

JEuclid is a complete MathML rendering solution, consisting of: * A MathViewer application * Command line converters from MathML to other formats * An ant task for automated conversion * Display components for AWT and Swing * A component for Apache Cocoon * A plug-in for Apache FOP