RSS 9 projects tagged "Mathematics"

Download Website Updated 06 May 2002 deal.II finite element library

Screenshot
Pop 33.57
Vit 1.00

deal.II is a C++ library supporting the generation of complex adaptive finite element codes. It features locally-refined grids, various scalar and vector-valued finite elements, linear solvers of low and higher order, arbitrary mappings, and support for 1, 2, and 3D computations. It comes with extensive documentation and example programs showing the use of the library for modern finite element programs.

No download Website Updated 28 Jan 2008 FrAid

Screenshot
Pop 73.97
Vit 2.88

FrAid (Fr[actal] Aid) is a programming language that is appropriate for mathematical computations, visualization, batch processing, and more. It features both a standalone application that provides a programming environment for the language and a system for integrating the language with Java. The Java interface allows mathematical equations and formulas to be used with Java code, making it easier to process numerical computations, symbolic computations, imaging, CAD, and more.

Download Website Updated 18 Apr 2006 Concepts

Screenshot
Pop 25.92
Vit 1.90

Concepts is a C++ class library for solving elliptic partial differential equations (PDEs) numerically. The design principle is the transfer of mathematical objects and grammar used to specify mathematical and numerical models of physical systems isomorphically into simulation software. The design realization uses the C++ functionality of inheritance and derived classes.

Download Website Updated 29 Jul 2006 Vaucanson

Screenshot
Pop 23.66
Vit 1.00

Vaucanson is a finite state machine manipulation platform, composed of a library and tools implemented on top of it. The goal of this library is to enable the development of C++ programs in an abstract and general way with a large specialization power. On the one hand, it allows the writing of algorithms that work on every automaton with weights over any semirings and with words from any free monoids. And on the other hand, a particular algorithm can be specialized for a particular data structure implementing only a pseudo behavior.

No download Website Updated 27 Aug 2006 PROMPT

Screenshot
Pop 10.10
Vit 1.00

PROMPT is a system for retrieval, analysis, mapping and comparison of protein sets. It allows easy mapping of different types of sequence identifiers, automatic data retrieval and integration, many analysis and comparison algorithms, and a full-featured GUI application. Exhaustive statistical tests are conducted automatically in appropriate cases, but can be performed manually. All analysis results can be viewed or visualized and exported in various formats. All methods can be used in your own Java code or with beanshell scripting in your own scripts, a pipeline, or grid systems.

Download Website Updated 21 Mar 2012 CGAL

Screenshot
Pop 109.48
Vit 3.62

CGAL, the Computational Geometry Algorithms Library, is a large C++ library of geometric data structures and algorithms such as Delaunay triangulations, mesh generation, Boolean operations on polygons, and various geometry processing algorithms. CGAL is used in various areas: computer graphics, scientific visualization, computer aided design and modeling, geographic information systems, molecular biology, medical imaging, robotics and motion planning, and numerical methods.

Download Website Updated 14 Dec 2009 Virtual Ideal Functionality Framework

Screenshot
Pop 40.39
Vit 3.87

Virtual Ideal Functionality Framework is a framework for creating efficient and secure multi-party computations (SMPC). Players, who do not trust each other, participate in a joint computation based on their private inputs. The computation is done using a cryptographic protocol which allows them to obtain a correct answer without revealing their inputs. Operations supported include addition, multiplication, and comparison, all with Shamir secret shared outputs.

No download Website Updated 06 Mar 2013 DUNE (Numerics)

Screenshot
Pop 39.05
Vit 4.60

DUNE, the Distributed and Unified Numerics Environment, is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. DUNE is first of all a set of abstract interfaces which embody concepts from scientific computing. Modern C++ programming techniques enable very different implementations of the same concept using a common interface at a very low overhead. Thus, DUNE ensures efficiency in scientific computations and supports high-performance computing applications.

Download Website Updated 09 Apr 2011 trad4

Screenshot
Pop 66.80
Vit 5.18

Trad4 is a fully concurrent, thread safe, graph based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk. Trad4 is proposed as an alternative to the Von Neumann model of computer architecture. It is a new way of arranging programs in memory and a new style of flow-of-control.

Screenshot

Project Spotlight

Fanurio

A time tracking and billing application for freelancers.

Screenshot

Project Spotlight

unco

Undo any command.