Combinatorics (1)
Differential Equations (17)
Dynamical Systems (4)
Education (1)
Geometry (3)
Linear Algebra (26)
Numerical Methods (5)
Optimization (12)
Probability (1)
Set Theory (1)
Statistics (8)
Topology (1)
A C++ library on graph optimization. The GUI includes a graph editor and can be used to run and to visualize the library algorithms. Find GOBLIN Graph Library at: http://www.math.uni-augsburg.de/opt/goblin.html
Metro is an open source tool designed to evaluate the hausdorff distance between two triangular meshes. Metro adopts an approximated approach based on surface sampling and point-to-surface distance computation. Find Metro at: https://github.com/cnr-isti-vclab/vcglib/tree/master/apps/metro
xmds – the eXtensible Multi-Dimensional Simulator – is a program for solving equations – fast. It is a tool to simplify the computer modelling of various systems, and is currently being developed within the Australian Centre for Quantum-Atom Optics at … Continue reading
Offers the possibility to request a sequence of random numbers. The length and the bounds of the sequence can be specified by the user. A quantum random number generator connected to the server is used to produce the numbers on … Continue reading
FreePOOMA is a C++ library supporting element-wise, data-parallel, and stencil-based physics computations using one or more processors. The library automatically handles all interprocessor communication, obviating the need for any explicit communication code. The library supports high-level syntax close to mathematical … Continue reading
Blitz++ is a C++ class library for scientific computing which provides performance on par with Fortran 77/90. It uses template techniques to achieve high performance. The current versions provide dense arrays and vectors, random number generators, and small vectors and … Continue reading
(1) precise (strictly formal) statement of the axioms for set theory; (2) proof of the equivalence between the Axiom of Choice and Zorn’s Lemma (3) cardinality theorems and other things Find Set Theory on ProvenMath at: http://www.apronus.com/provenmath/settheory.htm
JSci is a set of open source Java packages. The aim is to encapsulate scientific methods/principles in the most natural way possible. As such they should greatly aid the development of scientific based software. Features include: abstract math interfaces, linear … Continue reading
freeFEM3D is a 3D version of freeFEM. It is a 3D finite element PDE solver. It does not use standard FEM approximation but is based on fictitious domain method. The main reason for this is the absence of free 3D … Continue reading
FreeFem++ is an implementation of a language dedicated to the finite element method. It provides you a way to solve Partial Differential Equations (PDE) simply. Problems involving partial differential equations (pde) of several branches of physics such as fluid-structure interactions … Continue reading