660 projects tagged "Mathematics"

Download Website Updated 07 Sep 2007 libirt

Screenshot
Pop 10.30
Vit 49.76

The Item Response Theory (IRT) library is a set of functions to estimate the items and abilities from the responses of subjects to a questionnaire. The IRT models supported are the logistic model, the nominal response model, the graded response model, and smoothing by penalization and kernel. The project also hosts rirt, a package for the R Project for Statistical Computing, and eirt, an add-in for Excel.

Download Website Updated 20 Sep 2007 libgvectors

Screenshot
Pop 23.56
Vit 49.63

Libgvectors is a C++ library for visualizing three dimensional mathematical vectors, providing three fundamental classes for achieving its purpose. It makes as few assumptions as possible about the graphics library used to draw vectors on a screen and is not bound to any particular graphics library.

Download Website Updated 20 Sep 2007 Gvectors

Screenshot
Pop 22.32
Vit 49.63

Gvectors visualizes three dimensional vectors using gtkmm, cairomm, and libgvectors. It is capable of handling complex vector constructions, which can be freely rotated in space.

No download Website Updated 24 Feb 2008 QtOctave

Screenshot
Pop 18.81
Vit 48.02

QtOctave is a front-end for Octave. Octave is a high-level language primarily intended for numerical computations like Matlab.

Download Website Updated 08 May 2009 trojuhelnik

Screenshot
Pop 18.57
Vit 48.00

trojuhelnik is a general solver for triangles. It computes all possible solutions for a triangle that is specified by an arbitrary triple of the following elements: sides, angles, altitudes, medians, angle bisectors, area, radius of circumscribed and inscribed circle, sum a+b, perimeter and difference of the angles. All other elements, triangle visualization, and graphs of elements dependencies are also available.

Download Website Updated 14 Jan 2014 DOLFIN

Screenshot
Pop 267.63
Vit 47.22

DOLFIN is the C++ interface of the FEniCS project for the Automation of Computational Mathematical Modeling (ACMM), providing a consistent PSE (Problem Solving Environment) for solving ordinary and partial differential equations. Key features include a simple, consistent and intuitive object-oriented API; automatic and efficient evaluation of variational forms through FFC; automatic and efficient assembly of linear systems; and support for general families of finite elements.

Download Website Updated 21 May 2014 mcl-edge

Screenshot
Pop 234.86
Vit 46.18

MCL-edge is an integrated command-line driven workbench for large scale network analysis. It includes programs for the computation of shortest paths, diameter, clustering coefficient, betweenness centrality, and network shuffles. A module for loading and analyzing gene expression data as a network is provided. The MCL algorithm is a fast and highly scalable cluster algorithm for networks based on stochastic flow. The flow process employed by the algorithm is mathematically sound and intrinsically tied to cluster structure, which is revealed as the imprint left by the process. The threaded implementation has handled networks with millions of nodes within hours and is widely used in the fields of bioinformatics, graph clustering, and network analysis.

No download Website Updated 28 Sep 2008 GPOPS

Screenshot
Pop 11.58
Vit 45.71

GPOPS (which stands for Gauss Pseudospectral Optimal Control Software) is a MATLAB program that solves optimal control problems using pseudospectral methods. In particular, GPOPS uses the Gauss pseudospectral method (GPM).

Download No website Updated 29 Sep 2008 GraSy

Screenshot
Pop 9.22
Vit 45.69

GraSy is a tool that converts context-free grammars, which are written in the "Backus-Naur Form" (BNF), into syntax diagrams and the other way around. The grammar and the syntax diagrams can be saved with g2s-file. It is also possible to export syntax diagrams as PostScript files. To keep a good overview while creating syntax diagrams it is possible to change the zoom level.

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.

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.