650 projects tagged "Mathematics"
Updated 27 Mar 2011
3D Lissajous Figures
| Pop | 64.19 |
|---|---|
| Vit | 4.87 |
qliss3d renders 3D Lissajous figures (figures made of a different sine function for each dimension) with a Qt interface. Users can look at the figures from any viewing position they like and even "listen" to the sound of the figures.
Updated 09 Aug 2005
3D Sierpinski fractal generator
| Pop | 29.90 |
|---|---|
| Vit | 53.29 |
3D Sierpinski fractal generator is a 3D Sierpinski fractal generator that uses OpenGL. It has several different sets of attractors, allows rendering parameters to be changed, and is fun to play with.
Updated 27 Jun 2004
3D depth sort
| Pop | 30.89 |
|---|---|
| Vit | 1.00 |
This project is a 3D depth sort implementation with clipping and object animation capabilities.
Updated 06 Mar 2003
A practical lambda-calculator
| Pop | 28.71 |
|---|---|
| Vit | 2.18 |
A practical lambda-calculator is a normal-order evaluator for the untyped lambda-calculus, extended with convenient commands and shortcuts to make programming in it more productive. Shortcuts are distinguished constants that represent terms. Commands define new shortcuts, activate tracing of all reductions, compare terms modulo alpha-conversion, print all defined shortcuts and evaluation flags, etc. Terms to evaluate and commands are entered at a read-eval-print-loop (REPL) "prompt" or "included" from a file by a special command. A Haskell branch is an embedding of the lambda calculator (as a domain-specific language) into Haskell. The calculator can be used interactively within Hugs or GHCi.
Updated 11 Apr 2011
ACL2
| Pop | 87.91 |
|---|---|
| Vit | 5.65 |
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Updated 23 Nov 2004
AMLET
| Pop | 30.89 |
|---|---|
| Vit | 1.00 |
AMLET is software designed to estimate multinomial and mixed logit discrete choices models, which are increasingly popular in econometry. The software supports cross- sectional and panel data, and offers various optimization methods, including the new variable sample-size approach.
Updated 24 Feb 2007
APBS
| Pop | 29.34 |
|---|---|
| Vit | 47.71 |
APBS is a software package for the numerical solution of the Poisson-Boltzmann equation (PBE), one of the most popular continuum models for describing electrostatic interactions between molecular solutes in salty, aqueous media. Continuum electrostatics plays an important role in several areas of biomolecular simulation, including simulation of diffusional processes to determine ligand-protein and protein-protein binding kinetics, implicit solvent molecular dynamics of biomolecules, solvation and binding energy calculations to determine ligand-protein and protein-protein equilibrium binding constants and aid in rational drug design, and biomolecular titration studies.
Updated 19 May 2007
APFP
| Pop | 40.45 |
|---|---|
| Vit | 3.77 |
Apfp (Arbitrary Precision Floating Point) is a Ruby class for performing arbitrary precision floating point calculations. It also includes a class Apc for calculating with arbitrary precision complex numbers. It also contains a Real class for built-in reals. Both classes keep an estimate of the accumulated error.
Updated 30 Sep 2007
ASCIIMathML
| Pop | 87.29 |
|---|---|
| Vit | 2.84 |
ASCIIMathML is a script that converts calculator-style ASCII math notation (and many LaTeX formulas) to Presentation MathML while your Web page loads. It works with HTML and XHTML files in Mozilla/Firefox/Netscape 7+ browsers, as well as in Internet Explorer 6 with MathPlayer. For example, the solutions for the equation 'ax^2+bx+c=0' are expressed in the HTML file as '(-b +- sqrt(b^2 - 4ac))/(2a)', and display as nicely formatted MathML. The script can be easily used in wikiservers and blogs, as a rudimentary MathML editor (with instant preview), and to preview math formulas as they are typed into a Web page input area.
Updated 11 Jul 2012
ATLAS
| Pop | 269.90 |
|---|---|
| Vit | 28.51 |
The ATLAS (Automatically Tuned Linear Algebra Software) project is an ongoing research effort focusing on applying empirical techniques in order to provide portable performance. It provides C and Fortran77 interfaces to a portably efficient BLAS implementation, as well as a few routines from LAPACK.
