21 projects tagged "Mathematics"
Updated 02 Nov 2004
Cactus
| Pop | 127.00 |
|---|---|
| Vit | 3.52 |
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.
Updated 30 Jan 2001
easter
| Pop | 36.86 |
|---|---|
| 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.
Updated 18 Dec 2012
Genius
| Pop | 218.13 |
|---|---|
| Vit | 37.52 |
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.
Updated 17 Sep 2012
Groups, Algorithms, and Programming
| Pop | 92.26 |
|---|---|
| Vit | 8.40 |
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.
Updated 07 Apr 2005
OBJ3
| Pop | 35.79 |
|---|---|
| Vit | 2.51 |
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.
Updated 25 Aug 2004
The Graph Template Library
| Pop | 85.12 |
|---|---|
| Vit | 3.36 |
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.
Updated 06 Mar 2003
A practical lambda-calculator
| Pop | 28.25 |
|---|---|
| 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 19 Aug 2007
Calcoo
| Pop | 105.12 |
|---|---|
| Vit | 6.48 |
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+).
Updated 08 Mar 2002
Mceitor
| Pop | 11.49 |
|---|---|
| Vit | 64.18 |
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.
Updated 07 May 2002
Freehand Formula Entry System
| Pop | 40.19 |
|---|---|
| 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.
