RSS 21 projects tagged "Mathematics"

No download Website Updated 27 Jan 2009 FriCAS

Screenshot
Pop 37.52
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.

Download Website Updated 09 Apr 2011 trad4

Screenshot
Pop 66.63
Vit 5.18

Trad4 is a fully concurrent, thread safe, graph based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk. Trad4 is proposed as an alternative to the Von Neumann model of computer architecture. It is a new way of arranging programs in memory and a new style of flow-of-control.

No download Website Updated 27 Mar 2007 gfit

Screenshot
Pop 10.05
Vit 50.81

gfit analyzes data using models. gfit lets the user create a model for virtually any type of system using a minimal amount of computer code. It is particularly useful for studying various systems in biophysics, biochemistry, and cell biology. The interface for gfit models specifies relationships between input and output variables in a rule-based fashion. It provides flexibility and allows the user to reuse same models for many related problems.

Download Website Updated 24 Mar 2010 SINGULAR

Screenshot
Pop 35.87
Vit 2.92

SINGULAR is a computer algebra system for polynomial computations in commutative algebra, algebraic geometry, and singularity theory. Its main computational objects are ideals and modules over a large variety of baserings. The baserings are polynomial rings over a field (eg. finite fields, the rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof, or quotient rings with respect to an ideal. It features fast and general implementations for computing Groebner and standard bases, including Buchberger's algorithm and Mora's Tangent Cone algorithm. Its interactive shell and C-like programming language can be extended by libraries written in the SINGULAR programming language.

Download Website Updated 05 Jul 2005 algorithms

Screenshot
Pop 43.70
Vit 1.43

The algorithms package is aimed at being both simple and powerful for typesetting pseudo-code/algorithms in LaTeX documents. Since it uses the (La)TeX engine to generate its output, the results obtained are frequently of high-quality. The package comes with a manual and is quite easy to use in day-to-day documents.

Download Website Updated 26 Mar 2013 VisIt

Screenshot
Pop 277.80
Vit 18.01

VisIt is an interactive parallel visualization and graphical analysis tool for viewing scientific data. Users can quickly generate visualizations from their data, animate them through time, manipulate them, and save the resulting images for presentations. VisIt contains a rich set of visualization features so that you can view your data in a variety of ways. It can be used to visualize scalar and vector fields defined on two- and three-dimensional (2D and 3D) structured and unstructured meshes. It was designed to interactively handle very large data set sizes in the terascale range, and works well down to small data sets in the kilobyte range.

Download Website Updated 11 Sep 2004 matrixss

Screenshot
Pop 20.98
Vit 2.47

matrixss is a package for the GAP system (gap-system.org) implementing the Schreier-Sims algorithm for matrix groups, using different approaches. This can be used as an alternative to the built-in GAP implementation.

No download Website Updated 28 Jan 2008 FrAid

Screenshot
Pop 74.23
Vit 2.88

FrAid (Fr[actal] Aid) is a programming language that is appropriate for mathematical computations, visualization, batch processing, and more. It features both a standalone application that provides a programming environment for the language and a system for integrating the language with Java. The Java interface allows mathematical equations and formulas to be used with Java code, making it easier to process numerical computations, symbolic computations, imaging, CAD, and more.

No download Website Updated 18 Dec 2003 DELORES

Screenshot
Pop 64.19
Vit 1.42

DELORES (DEfeasible LOgic REasoning System) is a forward-chaining reasoning engine for defeasible logic, a less-expressive but more efficient non-monotonic logic. In contrast with most other non-monotonic logics, defeasible logic has linear complexity, allowing DELORES to execute large theories very quickly. DELORES's algorithm extends to general defeasible theories through the use of a pre-processing transformation which eliminates all uses of defeaters and superiority relations.

Download Website Updated 27 Oct 2013 Kent Retargettable Occam Compiler

Screenshot
Pop 106.13
Vit 28.36

The Kent Retargettable Occam Compiler is a multi-platform Occam 2.1 compiler that is designed to allow the Occam programming language to be used on non-Transputer platforms. Extensions from a subset of the Occam 3 specification and from pi calculus have been added over time. As a result, the version of the language supported by the compiler is also sometimes referred to as Occam 2.5 or Occam-pi.

Screenshot

Project Spotlight

Makagiga

A combined to-do manager, notepad, and RSS reader.

Screenshot

Project Spotlight

HTML Forms generation and validation

A PHP class to dynamically generate and validate HTML forms.