1. 21 Century Math Method Autoprover - Automatic theorem prover and problems solver based on 21 Century Math Method (http://ex-code.com/~porton/math/method.html), a new method which is a replacement of axiomatic method. This future program is to surpass both Mizar and Mathematica.
| Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
2. 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.
| Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
3. 2DFormEdit - Graphic editor for graphically designing form. With those form you
can do operation like translation, rotation, projection, sym axial, sym central, homothetie.These project include MyMatrix, MyMatrix2, Vector2, and MathOperation and Form class like Squar
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
4. 3D Generator of Anisotropic Meshes - Fortran/C package Ani3D solves systems of PDE with variable tensor coefficients on unstructured adaptive tetrahedral meshes. It provides 4 portable libraries: mesh generation, anisotropic metric-based adaptation, finite element discretizations, ILU solve
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
5. 3D Quasi Gas Dynamics with Radiation - CFD scientific software.
Provides simulation of 3D CFD problem based on Quasi-Gas Dynamics approach
with radiation processes token into account.
Lots of spectral intervals are considered.
Parallel MPI/OpenMP-based implementation is provided.
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
6. 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.
| Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
7. 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.
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
8. A declarative logic programming system - A declarative logic programming system with first-class relations
embedded in a pure functional subset of Scheme. The system has true
unions, fair scheduling, lexically-scoped logical variables,
set-theoretical semantics, high performance without cuts
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
9. A Game Demo by The Old Game Factory - Fully playable Java game demo illustrating basic game programming technics, such as sprite animation, pixmap fonts, time or frame related game loop, affine transformations, convolution filters, sound generation and playback...
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
10. a generic NTCC interpreter capable of RT - Ntccrt is an interpreter for the Non-deterministic Timed Concurrent Constraint (ntcc) calculus and its probabilistic extension (pntcc). It allows to execute models either as a stand-alone program, as a patch in OpenMusic or as an plugin in Max/MSP or PD
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
|
Mac Deals
