Mathematics
Showing page 1 of 142.
-
ASCEND modelling environment ASCEND is a modelling environment and solver for large or small systems of non-linear equations, for use in engineering, thermodynamics, chemistry, physics, mathematics and biology. Solvers for both steady and dynamic (NLA & DAE) problems, are provid
184 weekly downloads -
Engauge Digitizer Convert graphs or map files into numbers.
1,367 weekly downloads -
Maxima -- GPL CAS based on DOE-MACSYMA Computer Algebra System written in Common Lisp
3,920 weekly downloads -
lpsolve Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS
687 weekly downloads -
Golly, a Game of Life simulator A cross-platform application for exploring Conway's Game of Life and other cellular automata. Features include bounded and unbounded universes, fast generating algorithms, Perl/Python scripting, and a state-of-the-art pattern collection.
669 weekly downloads -
CLISP - an ANSI Common Lisp CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
486 weekly downloads -
gretl GNU Regression, Econometrics and Time-series Library
4,604 weekly downloads -
Open Dynamics Engine A free, industrial quality library for simulating articulated rigid body dynamics - for example ground vehicles, legged creatures, and moving objects in VR environments. It's fast, flexible & robust. Built-in collision detection.
455 weekly downloads -
LaTeX to RTF converter LaTeX to RTF convertor that handles equations, figures, and cross-refe
708 weekly downloads -
wxMaxima wxMaxima is a cross-platform graphical front-end for the computer algebra system Maxima based on wxWidgets. It provides nice display of mathematical output and easy access to Maxima functions through menus and dialogs.
790 weekly downloads -
SciDAVis SciDAVis is a user-friendly data analysis and visualization program primarily aimed at high-quality plotting of scientific data. It strives to combine an intuitive, easy-to-use graphical user interface with powerful features such as Python scriptability.
676 weekly downloads -
FreeMat Freemat is an interpreted, matrix-oriented development environment for engineering and scientific applications, similar to the commercial package MATLAB. Freemat provides visualization, image manipulation, and plotting as well as parallel programming.
1,871 weekly downloads -
gnuplot development Famous scientific plotting package.
6,676 weekly downloads -
JAGS: Just Another Gibbs Sampler JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
365 weekly downloads -
MatCont MatCont is a Matlab software project for the numerical continuation and bifurcation study of continuous and discrete parameterized dynamical systems. Leaders of the project are Willy Govaerts (Gent,B) and Yuri A. Kuznetsov (Utrecht,NL).
409 weekly downloads -
Asymptote Asymptote is a powerful descriptive vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. Asymptote provides for figures the same high-quality typesetting that LaTeX does for scientific text.
488 weekly downloads -
JMCAD - modeling of dynamic systems JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs. With JMCAD, users can quickly develop software or "virtual" prototypes of systems or processes to demonstrate their behavior prior to building physical prototypes. The user builds his system model by selecting predefined blocks from a block library and simply wiring the blocks together. Each block of the diagram performs a function. Users can also create custom blocks in Java and add them to the JMCAD block library. JMCAD is a block diagram language for creating complex nonlinear dynamic systems.
211 weekly downloads -
JTS Topology Suite The JTS Topology Suite is an API for modelling and manipulating 2-dimensional linear geometry. It provides numerous geometric predicates and functions. JTS conforms to the Simple Features Specification for SQL published by the Open GIS Consortium.
136 weekly downloads -
Java Universal Network/Graph Framework JUNG provides a common and extendible language for the modeling, analysis, and visualization of data that can be represented as a graph or network.
384 weekly downloads -
Netgen Mesh Generator NETGEN is an automatic 3d tetrahedral mesh generator
364 weekly downloads -
Automatically Tuned Linear Algebra Soft. ATLAS (Automatically Tuned Linear Algebra Software) provides highly optimized Linear Algebra kernels for arbitrary cache-based architectures. ATLAS provides ANSI C and Fortran77 interfaces for the entire BLAS API, and a small portion of the LAPACK AP
842 weekly downloads -
Elmer finite element software Elmer is a finite element software for numerical solution of partial differential equations and multiphysical problems. It includes models of structural mechanics, fluid dynamics, heat transfer, electromagnetics etc. Elmer home is www.csc.fi/elmer
408 weekly downloads -
CompPad CompPad is an OpenOffice.org extension that provides live mathematical and engineering calculations within a Writer document. It is intended to provide a free / open-source alternative to Mathcad .
51 weekly downloads -
RODIN Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
782 weekly downloads -
XaoS Real-time interactive fractal zoomer
372 weekly downloads
