- OS: OS X ×
Mathematics
Showing page 2 of 10.
-
Sage A mathematics software system
1 weekly downloads -
Unit Converter Converts length, temperature, and volume.
1 weekly downloads -
mcpd Tools to analyse and use passport data for biological collections.
1 weekly downloads -
ntccKMC ntccKMC: A Kripke-structure-based model checker for ntcc
1 weekly downloads -
phcfM R package for modelling anthropogenic deforestation
1 weekly downloads -
2D Discrete Wavelet Transforms This project is an attempt to write cross-platform code which implements the Haars Transform (Discrete Wavelet Transform / DWT) in 2D for image manipulation. The code provided will use SDL to half the size of an image in both the x and y directions.
0 weekly downloads -
3DGcalc 3DGCalc is a prject aimed at creating an open-source graphics calculator. It will be capable of doing everything that a physical graphics calculator can do in much higer resolution and in 3d - where applicable.
0 weekly downloads -
4D object viewer in wireframe 3D stereo 3D wireframe projection of 4D objects. rotations about the 6 planes of various 4D(R4) objects in Java. uses documented file format for the 4D objects. supports alternating lcd shutter 3D glasses and the red-blue 3D glasses. no 3d monitors yet
0 weekly downloads -
6Vertex 6Vertex is an Objective C/Cocoa application (and standard C functions) for computing and visualizing matrix models generated with the 6-vertex model for computing boundary shapes and phase transition shapes for differently weighted vertices.
0 weekly downloads -
APBS APBS is a software package for the numerical solution of the Poisson-Boltzmann equation, a popular continuum model for describing electrostatic interactions between molecular solutes over a wide range of length scales. <http://www.poissonboltzmann.org/>.
0 weekly downloads -
Agena Agena is an interpreted procedural programming language.
0 weekly downloads -
Archive of Formal Proofs A collection of machine-checkend mathematical proofs
0 weekly downloads -
Armadillo C++ matrix library Armadillo is a fast, template based, C++ matrix library with optional interface to LAPACK and ATLAS libraries, including high-performance versions such as Intel MKL, AMD ACML and OpenBLAS. Integer, floating point and complex numbers are supported, as well as disk storage and a subset of trigonometric and statistics functions. Armadillo has an easy to use syntax, deliberately similar to Matlab. For more details, see http://arma.sourceforge.net
0 weekly downloads -
AutoGuider AutoGuider is an integrated environment for continuation and bifurcation analysis. Based on Auto2000, it is designed to be portable and easy to use/install. Features includes a project manager, support for MathML and SBML, and SVG export of graphics.
0 weekly downloads -
Automatic LaTex Plugin for Vim Automatic (La)Tex Plugin is a comprehensive plugin for writing TeX and LaTeX files within vim. Its philosophy is to automate writing so the autor can focus on the article rather than LaTeX related problems. See the wiki page with feature list.
0 weekly downloads -
BADgui2 A C++ implementation of Dynamic Field Theory (DFT), Amari kind of space-time continuous fields representing activation of populations in neural cortex. Source code for the GUI is available through SVN.
0 weekly downloads -
Background Compute Background Compute is a middleware system written in JAVA for distributed applications (Primarily distributed computing applications).
0 weekly downloads -
Baculator Baculator is a Reverse Polish Notation (RPN) calculator program with an infinite scrollable stack and support for most common mathematical operations as well as some more esoteric operations. Available for Unix/Gtk+, Mac OS X, and MS Windows.
0 weekly downloads -
Bayesian Network Tools in Java (BNJ) Java/XML toolkit for research using Bayesian networks and other graphical models of probability (exact and approximate inference, structure learning, etc.)
0 weekly downloads -
Bayesian Network tools in Java (BNJ) Bayesian Network tools in Java (BNJ) is an open-source suite of software tools for research and development using graphical models of probability. It is published by the Kansas State University Laboratory for Knowledge Discovery in Databases (KDD).
0 weekly downloads -
Belle Belle is a generic higher order theorem prover in the style of Isabelle.
0 weekly downloads -
Bifurcation Analysis Library A C++ library for the computation of bifurcation diagrams: it provides tools for the integration of systems of ODEs that depend on parameters. A Python interface is included.
0 weekly downloads -
Biopsychology Nonlinear Toolbox The Biopsychology Nonlinear Toolbox is a MATLAB toolbox that combines established analysis routines in one easy to use graphical user interface.
0 weekly downloads -
C++ Revenue Management Open Library That project (RMOL) aims at giving developers concerned by the Revenue Management arena a library delivering a reference implementation for most of the published algorithms and methods. That library is intended to be used in simulated environment: it does not intend to be used in real world production systems.
0 weekly downloads -
Calcoo - Scientific calculator (GTK+) Calcoo is a scientific calculator (with both RPN and algebraic modes) designed to provide maximum usability.
0 weekly downloads
