660 projects tagged "Mathematics"

Download Website Updated 16 Jan 2009 Mobius Program Verification Environment

Screenshot
Pop 27.06
Vit 44.48

The Mobius verification environment supports the development of specifications, programs, and proofs of their security properties. It will support both source code and bytecode level verification, and be able to produce the output necessary for the generation of PCC certificates.

Download Website Updated 15 Jan 2009 Horncalc

Screenshot
Pop 22.67
Vit 1.00

Horncalc is simple full-range horn loudspeaker calculator. It can be used to calculate a loudspeaker's horn, throat, and mouth areas, and compression chamber volume based on driver parameters.

No download Website Updated 02 Jan 2009 HicCalc

Screenshot
Pop 24.80
Vit 1.00

HicCalc is a portable graphing utility written in Java. It is part of a bigger software package, but only the graphing utility has been released. Give it a function in the mentioned format, and it displays the graph for you. You can even save the graph in PNG format.

Download Website Updated 02 Jun 2014 Armadillo C++ Library

Screenshot
Pop 633.16
Vit 102.63

Armadillo is a C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. The API is deliberately similar to Matlab's. Integer, floating point, and complex numbers are supported, as well as a subset of trigonometric and statistics functions. Various matrix decompositions are provided through optional integration with LAPACK and ATLAS numerics libraries. A delayed evaluation approach, based on template meta-programming, is used (during compile time) to combine several operations into one and reduce or eliminate the need for temporaries.

No download Website Updated 29 Apr 2009 dnAnalytics

Screenshot
Pop 19.65
Vit 1.47

dnAnalytics is a numerical library for the .NET Framework and Mono. The library is written in C# and is available as a fully managed library or with a wrapper around the Intel® Math Kernel Library (MKL). The MKL wrapped version provides significantly better performance when working with large data sets. dnAnalytics is compatible with .NET 2.0 or later and Mono. The managed version will run on Windows XP or newer and on any platform that supports Mono. The MKL wrapped version supports 32-bit and 64-bit versions of Windows XP or newer and 32-bit and 64-bit versions of Linux.

Download Website Updated 06 Dec 2008 Mathnetics

Screenshot
Pop 34.19
Vit 1.00

Mathnetics is an API for creating advanced, interactive, Web-based mathematical applications. It defines various important mathematical objects that are inter-related and on which many numerical calculations can be done. It also features rendering of 3D objects onto an SVG canvas (to do so, it includes certain utilities such as browser sniffing, DOM node selection, and DOM readiness detection), which is quite robust. A few basic 3D objects are given (Line, Sphere, Cube), but the user can define any 3D object desired as per the specification.

No download Website Updated 27 Jan 2009 FriCAS

Screenshot
Pop 38.57
Vit 1.02

FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and differentiation) to abstract algebra. It can plot functions and ha san integrated help system. It is a fork of the wh-sandbox branch of the Axiom project.

No download Website Updated 30 Sep 2011 JAME

Screenshot
Pop 51.90
Vit 1.97

JAME is an application for creating fractals and other graphics artifacts. It is written in the Java language, with some native code to accelerate encoding of videos and images. It has a real-time, multi-threaded graphics engine with layers, filters, effects, a lot of formulas, and parameters. JAME supports operations such as continuous zoom of Mandelbrot and Julia sets, rotation, and color shifting. JAME has also advanced features such as networked computation and scripting. You can take photos of your fractals or record movies from your exploration paths. Photos and movies are stored in a database to be rendered in high resolution and exported to a file. JAME can be extended by plug-ins which provide fractals, formulas, filters, effects, and more.

Download Website Updated 14 Nov 2008 Seurat

Screenshot
Pop 16.73
Vit 1.00

Seurat is a visual processing application that uses cyclic space and Hodgepodge cellular automata to operate on images.

Download Website Updated 18 Dec 2008 Math::GSL

Screenshot
Pop 25.88
Vit 1.43

Math::GSL is a Perl API to the GNU Scientific Library, which contains a large set of tools for writing scientific computing applications, like statistical distributions, special functions, random number generators, linear algebra, numeric integration/derivatives, FFTs, wavelets, and much more.

Screenshot

Project Spotlight

Aspose.Email for Java

A Java componentomor reading and writing Outlook MSG files.

Screenshot

Project Spotlight

nss-pam-ldapd

NSS and PAM modules for name lookups using LDAP.