For exploring cellular automata like the Game of Life.
A cross-platform application for exploring Conway's Game of Life and other cellular automata. Features include bounded and unbounded universes, fast generating algorithms, Lua/Python scripting, and a state-of-the-art pattern collection.
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Graph is a program used for drawing graphs of mathematical functions. It is easy to use while having a lot of features and settings. Official web site is located at http://www.padowan.dk
A cross-platform statistical package for econometric analysis
gretl is a cross-platform software package for econometric analysis, written in the C programming language.
Intelligent formulas: Numeric and symbolic calculations in Openoffice Writer. The iMath extension to Libreoffice and OpenOffice enables numeric and symbolic calculations inside a Writer document. If your OS can install .deb packages, have a look at my PPA http://launchpad.net/~jrheinlaender/+archive/ppa
A web-based minimisation service
Based on MinimPy (http://sourceforge.net/projects/minimpy/), QMinim is a web-based minimization application, for allocation of subject to different arms of a clinical trial. It is an alternative to randomization, with the advantage of balancing arms of trial with respect to preselected prognostic factors. All aspects of minimization procedure including treatments, factors, minimization protocole, and including a preload can be customized using QMinim.
A Portable General-Purpose Computer Algebra System
REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development. REDUCE has a long and distinguished place in the history of computer algebra systems. Other systems that address some of the same issues but sometimes with rather different emphasis are Axiom, Derive, Macsyma (Maxima), Maple, Mathematica and MuPAD. REDUCE primarily runs on either Portable Standard Lisp (PSL) or Codemist Standard Lisp (CSL), both of which are included in the SourceForge distribution. By modern standards, REDUCE is a surprisingly small and compact application, which runs well on all major operating systems.
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.
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
Within the SIROCCO suite of numerical tools, the purpose of SDAP is to provide a flexible platform to carry out multivariate assimilation of geophysical data in a numerical model. The program is multi-grid (finite differences or finite elements), multi-algebra (plug-in analysis kernels), multi-model (simple standardized interface). The program supports reduced-order data assimilation methods, as well as Ensemble assimilation approaches such as the Ensemble Kalman Filter. Recent additions include extensions towards simultaneous assimilation and downscaling (AMICO project), and a toolbox for ensemble assessment (SCRUM project). *Please note that due to frequent updates the code is only available via the svn repository. Please get in touch with us to obtain access.*
Open Source and data mining software
ADaMSoft is a free and Open Source Data Mining software developed in Java. It contains data management methods and it can create ready to use reports. It can read data from several sources and it can write the results in different formats.
Bifurcation analysis for delay-differential equations
DDE-BIFTOOL is a set of routines for performing numerical bifurcation analysis of delay-differential equations, running in Matlab or Octave. It was originally created by Koen Engelborghs at KU Leuven (Belgium).  Tutorial demo <http://ddebiftool.sourceforge.net/demos/neuron/html/demo1_simple.html> shows the output of an illustrative demo. <http://ddebiftool.sourceforge.net> links to documentation, a list of contributors and current maintainers. The original DDE-BIFTOOL webpage at KU Leuven  stores versions up to 3.0 and their documentation.  <http://twr.cs.kuleuven.be/research/software/delay/ddebiftool.shtml>  <https://www.gnu.org/software/octave> Further tutorials (by M Bosschaert) at <https://sites.google.com/a/uhasselt.be/maikel-bosschaert/home> (pdf files).
An open source Java geometry library with a focus on 2D/3D space.
Geometric Regression Library (GeoRegression) is an open source Java geometry library for scientific computing with a focus on 2D/3D space. GeoRegression provides the ability to estimate the closest point/distance between geometric primitives, best-fit shapes, and best fit geometric transform between sets of objects. It is designed for high performance and ease of use. GeoRegression has been release under an LGPL license for both commercial and non-commercial use.
OpenPFGW is software that is designed to perform PRP and primality tests on numbers of specific forms. This software currently run on any x86 hardware with the support of George Woltman's gwnum library, the same library behind GIMPS and Prime95.
System dynamics program with additional features for economics
Minsky enables the simulation of models (particularly from economics) defined in terms of coupled ordinary differential equations. The models are defined using a drawing canvas (rather like VisSim), and a double entry bookkeeping system known as a Godley table.
The Multivariate Regression Composer, a Matlab toolbox. It generates a regression model of the optimal structure. Uses the source data set, the initial models and the primitive functions.
The main goal of this project is to develop new algorithms of machine learning and collect examples of existing methods. This collection pursues scientific and educational purposes.
Evaluador de expresiones matemáticas para Java en español
Biblioteca para Java que implementa un potente evaluador matemático en español. Puede evaluar expresiones altamente complejas, que incluyen vectores, matrices, números complejos, números enteros y reales de precisión arbitraria, expresiones booleanas, conjuntos, operaciones y funciones definidas por el usuario y muchos operadores y funciones predefinidas. También implementa un potente modo REPL que permite usar interactivamente la mayoría de características del lenguaje implementado por la biblioteca JME, incluida la importación y exportación CSV y HTML. El manual del desarrollador puede encontrarse en la pestaña Files y en la página del proyecto. Puede consultarse la documentación de usuario del lenguaje en la página https://miguelalejandromorenobarrientos.github.io/JmeDoc/
JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
A Buddhabrot generator for large (>20000² px) renderings.
A escape time orbit fractal renderer written in C#. Consists of two separate programs, one focused on high resolution and high quality rendering ("Buddhabrot Max"), the other focused on realtime exploration / zooming ("Buddhabrot Mag"). Uses multithreading and hardware acceleration. Allows creating of huge renderings (if enough memory is available) and saving files with full 32 bit float dynamic range as OpenEXR files. You can easily add new formulas which are then runtime compiled for maximum performance.
R interface to the Corpus Query Protocol
Implements the Corpus Query Protocol as a package for the R statistical environment. It allows to query linguistic corpora and manipulate the data as native R objects. It is based on the CWB software.
An easy-to-use tool for data visualization and statistical analysis
PANDA-view, an affiliated tool of PANDA, includes the methods for differentially expressed protein detection, missing value imputation and the parametric and non-parametric statistical tests. Meanwhile, the most commonly-used data visualization methods are also implemented in PANDA-view.
A portable, multi-platform, command-line driven graphing utility
A famous scientific plotting package, features include 2D and 3D plotting, a huge number of output formats, interactive input or script-driven options, and a large set of scripted examples.
Computer Algebra System written in Common Lisp
Maxima is a computer algebra system comparable to commercial systems like Mathematica and Maple. It emphasizes symbolic mathematical computation: algebra, trigonometry, calculus, and much more. For example, Maxima solves x^2-r*x-s^2-r*s=0 giving the symbolic results [x=r+s, x=-s]. Maxima can calculate with exact integers and fractions, native floating-point and high-precision big floats. Maxima has user-friendly front-ends, an on-line manual, plotting commands, and numerical libraries. Users can write programs in its native programming language, and many have contributed useful packages in a variety of areas over the decades. Maxima is GPL-licensed and largely written in Common Lisp. Executables can be downloaded for Windows, Mac, Linux, and Android; source code is also available. An active community maintains and extends the system. Maxima is widely used: annual direct downloads exceed 300,000. Many other users receive it through secondary distribution.
The open source advanced command-line calculator
Advanced Trigonometry Calculator is a rock-solid calculator allowing you perform advanced complex math calculations. Enter your complex math expression on its integrity and in the final press “Enter” button, after some instants the solution for your expression will be displayed. Anyone can use this calculator since the syntax used is very similar with scientific handheld calculators, e.g. TI 84-Plus.
FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and differentiation) to abstract algebra. It can plot functions and has integrated help system.