# 660 projects tagged "Mathematics"

## Updated 07 Sep 2007 libirt

 Pop 10.3 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.

## Updated 20 Sep 2007 libgvectors

 Pop 23.56 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.

## Updated 20 Sep 2007 Gvectors

 Pop 22.32 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.

## Updated 24 Feb 2008 QtOctave

 Pop 18.81 48.02

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

## Updated 08 May 2009 trojuhelnik

 Pop 18.57 48

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.

## Updated 14 Jan 2014 DOLFIN

 Pop 267.63 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.

## Updated 21 May 2014 mcl-edge

 Pop 234.86 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.

## Updated 28 Sep 2008 GPOPS

 Pop 11.58 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).

## Updated 29 Sep 2008 GraSy

 Pop 9.22 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.

## Updated 16 Jan 2009 Mobius Program Verification Environment

 Pop 27.06 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.

## Project Spotlight

### Aspose.Email for Java

A Java componentomor reading and writing Outlook MSG files.

## Project Spotlight

### nss-pam-ldapd

NSS and PAM modules for name lookups using LDAP.