RSS 21 projects tagged "Mathematics"

No download Website Updated 02 Nov 2004 Cactus

Screenshot
Pop 153.56
Vit 3.46

Cactus is a general, modular, parallel environment for solving systems of partial differential equations. The code has been developed over many years by a large international collaboration of numerical relativity and computational science research groups and can be used to provide a portable platform for solving any system of partial differential equations.

Download Website Updated 30 Jan 2001 easter

Screenshot
Pop 29.95
Vit 1.00

Easter calculates and displays the day in which Easter falls in a given year. It can also display Palm Sunday, Ash Wednesday, or the full list of Lenten dates, or the number of days resting to any of these.

Download Website Updated 26 Jun 2013 Genius

Screenshot
Pop 240.96
Vit 30.64

Genius is an arbitrary precision integer and multiple precision floating point calculator. It includes its own programming language similar in some aspects to C, bc, or Pascal. It can deal with rational numbers and complex numbers. It has matrix support as well. It uses the gmp library so it is very fast for calculations of large numbers. It has a command line and a GNOME interface. The GNOME interface supports plotting functions and 3D surfaces.

Download Website Updated 17 Sep 2012 Groups, Algorithms, and Programming

Screenshot
Pop 70.70
Vit 5.97

Groups, Algorithms, and Programming (GAP) is a system for computational discrete algebra with particular emphasis on computational group theory and related areas. It provides a Pascal-like interpreted language, data types for many algebraic objects, a function library, and large libraries of data.

Download Website Updated 07 Apr 2005 OBJ3

Screenshot
Pop 47.59
Vit 2.47

OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.

Download Website Updated 25 Aug 2004 The Graph Template Library

Screenshot
Pop 84.25
Vit 3.30

GTL can be seen as an extension of the Standard Template Library STL to graphs and fundamental graph algorithms. It is a platform independent and extendible C++ library, and is a useful aid to any software designer. It contains the classes needed to work with graphs, nodes, and edges, and some fundamental algorithms as building blocks for more complex graph algorithms. Customized algorithms can be developed by experienced programmers.

No download Website Updated 06 Mar 2003 A practical lambda-calculator

Screenshot
Pop 24.41
Vit 2.17

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.

Download Website Updated 19 Aug 2007 Calcoo

Screenshot
Pop 95.07
Vit 6.28

Calcoo is a scientific calculator designed to provide maximum usability. Its features bitmapped button labels and display digits to improve readability, no double-function buttons, undo/redo buttons, copy/paste interaction with the clipboard, both RPN and algebraic modes, two memory registers with displays, displays for Y, Z, and T registers, and tick marks to separate thousands. Calcoo is written in C using the GTK+ widget library (v.2.2+).

No download Website Updated 08 Mar 2002 Mceitor

Screenshot
Pop 9.22
Vit 66.51

Mceitor is a program to quickly and easily compute functions of matrices. It supports determinant calculation, inversions, and automatic or manual reduction of matrices. It requires the Ncurses library.

No download Website Updated 07 May 2002 Freehand Formula Entry System

Screenshot
Pop 35.07
Vit 1.00

The Freehand Formula Entry System is a research prototype for recognizing online handwritten mathematical notation, developed jointly by researchers in New Zealand, the United States and Canada. A user draws expressions with a mouse or data tablet, and LaTeX, a bitmap, and an operator tree are produced as output. Symbol recognition and expression interpretation are performed as the user draws.

Screenshot

Project Spotlight

Galera wsrep provider

A generic synchronous replication engine for transactional applications.

Screenshot

Project Spotlight

phpMyFAQ

A PHP-based FAQ system.