RSS 658 projects tagged "Mathematics"

No download Website Updated 08 Nov 2012 ocamlmath

Screenshot
Pop 13.60
Vit 22.95

ocamlmath provides modules that may be used as interactive calculation constructions for general mathematics when loaded in the OCaml pseudo-interpreter, or as calculation library for the OCaml compiler.

Download Website Updated 10 Feb 2014 Tk-Yupana

Screenshot
Pop 108.39
Vit 9.60

Tk-Yupana emulates the Yupana, an ancient calculating device of the Incas.

No download No website Updated 18 Dec 2012 Verish

Screenshot
Pop 16.03
Vit 22.09

Verish is a language for reasoning that resembles a natural language. It is equivalent to Lower Predicate Calculus, and has a built-in framework for defining and using abbreviations, and for introducing additional principles of reasoning that can be automatically expanded into a sequence of steps that use only basic principles of reasoning. It has a basic reasoning checking function, and can automatically expand one additional principle of reasoning into a sequence of steps using only the basic principles. It can also add HTML markup to a proof for display as a Web page.

No download No website Updated 28 Mar 2013 SYMDIFF

Screenshot
Pop 29.19
Vit 21.83

SYMDIFF is a tool for symbolic differentiation of mathematical expressions. It includes Python and Tcl interfaces.

No download Website Updated 14 Jan 2013 safe numerics

Screenshot
Pop 21.21
Vit 21.45

safe numerics provides safe integer operations for C++ integers. Arithmetic operations in C++ are not guaranteed to yield the correct mathematical result. The feature is inherited from the early days of C, when the behavior of int, unsigned int, and others were designed to map closely to the underlying hardware. These types can silently overflow or change sign. This library contains drop-in replacements for the standard C types which throw exceptions whenever invalid operations occur.

Download No website Updated 28 Jan 2013 LifeV

Screenshot
Pop 27.42
Vit 21.44

LifeV is a finite element (FE) library providing implementations of state of the art mathematical and numerical methods. It serves both as a research and production library. It has already been used in medical and industrial contexts to simulate fluid structure interaction and mass transport. LifeV is the joint collaboration between four institutions: École Polytechnique Fédérale de Lausanne (CMCS) in Switzerland, Politecnico di Milano (MOX) in Italy, INRIA (REO, ESTIME) in France, and Emory University (Sc. Comp) in the U.S.A.

No download Website Updated 07 Mar 2014 librsb

Screenshot
Pop 189.55
Vit 6.92

librsb is a library for sparse matrix computations featuring the Recursive Sparse Blocks (RSB) matrix format. This format allows cache-efficient and multithreaded (that is, shared memory parallel) operations on large sparse matrices. The most common operations necessary to iterative solvers are available (matrix-vector multiplication, triangular solution, rows/columns scaling, diagonal extraction/setting, blocks extraction, norm computation, formats conversion). The RSB format is especially well-suited for symmetric and transposed multiplication variants. On these variants, librsb has been found to be faster than Intel MKL's implementation for CSR. Most numerical kernels code is auto-generated, and the supported numerical types can be chosen by the user at buildtime. librsb implements the Sparse BLAS standard, as specified in the BLAS Forum documents.

No download No website Updated 25 Mar 2014 SCaVis

Screenshot
Pop 285.32
Vit 10.28

SCaVis is an environment for scientific computation, data analysis, and data visualization designed for scientists, engineers, and students. The program can be used for function and data plotting in 2D and 3D, histograms, statistical analysis, and symbolic calculations using the Matlab/Octave high-level interpreted language.

No download Website Updated 20 Apr 2013 Papertrail

Screenshot
Pop 17.35
Vit 19.09

Papertrail is a ballot scanning and processing software suite which supports elections based on paper ballots which can be scanned and counted automatically.

No download Website Updated 30 Apr 2013 QMentat

Screenshot
Pop 26.91
Vit 1.43

QMentat helps you practice mental arithmetic. It uses arbitrary-length fixed point arithmetic, and can handle any size numbers, only limited by the size of your screen (and in the case of division with an integer result, the speed at which the number can be factored). It is also quite configurable, allowing you to tailor the questions to your needs.

Screenshot

Project Spotlight

TXR

A data munging language.

Screenshot

Project Spotlight

Monit

A utility for monitoring Unix system services.