36 projects tagged "Mathematics"
Updated 21 Mar 2006
Isabelle
| Pop | 77.90 |
|---|---|
| Vit | 3.24 |
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).
Updated 01 Oct 2009
MersenneTwister
| Pop | 46.21 |
|---|---|
| Vit | 5.60 |
MersenneTwister is a C++ class for generating 32-bit random numbers as integers or floating-point. Seeds can be obtained automatically from /dev/urandom or system time, and the generator state may be saved and restored. It includes an example program and performance tests.
Updated 03 Mar 2013
Botan
| Pop | 482.50 |
|---|---|
| Vit | 80.53 |
Botan is a crypto library written in C++. It provides a variety of cryptographic algorithms, including common ones such as AES, MD5, SHA, HMAC, RSA, Diffie-Hellman, DSA, and ECDSA, as well as many others that are more obscure or specialized. It also offers SSL/TLS (client and server), X.509v3 certificates and CRLs, and PKCS #10 certificate requests. A message processing system that uses a filter/pipeline metaphor allows for many common cryptographic tasks to be completed with just a few lines of code. Assembly and SIMD optimizations for common CPUs offers speedups for critical algorithms like AES and SHA-1.
Updated 28 Jul 2012
HOL
| Pop | 63.28 |
|---|---|
| Vit | 8.98 |
Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.
Updated 18 Jul 2012
Kiss FFT
| Pop | 117.20 |
|---|---|
| Vit | 9.93 |
Kiss FFT is a small and simple FFT library. It has no complicated platform-specific optimizations, is able to do fixed or floating point with just a recompile, and is efficient enough for all but the most demanding applications.
Updated 26 Apr 2006
Free Finite Element Package
| Pop | 54.50 |
|---|---|
| Vit | 2.36 |
The Free Finite Element Package is a modular collection of C libraries which contain numerical methods required when working with linear and quadratic finite elements in two dimensions. FFEP works on GNU/Linux and is portable to every system where MEML (i.e. LAPACK and BLAS) are available. The goal of FFEP is to provide basic functions for approximating the solution of elliptic and parabolic partial differential equation in two dimensions with Dirichlet and Neumann boundary conditions.
Updated 28 Jul 2012
LAPACK
| Pop | 137.75 |
|---|---|
| Vit | 11.55 |
LAPACK is a linear algebra library, based on LINPACK and EISPACK, designed to provide routines for handling simultaneous equations and matrix algebra efficiently, particularly on shared memory vector processors, parallel processors, and clusters. The code is written in Fortran, and requires the BLAS (Basic Linear Algebra Subprograms) library.
Updated 01 Oct 2012
FLENS
| Pop | 147.51 |
|---|---|
| Vit | 13.77 |
FLENS is short for Flexible Library for Efficient Numerical Solutions. This C++ can be used as a builing block for the implementation of other (higher-level) numerical libraries or numerical applications. It is a C++ library (requires a C++11 conform compiler). Easy install, as FLENS is headers only. It gives you Matrix/vector types for dense linear algebra; a generic (i.e. templated) implementation of BLAS; and a generic reimplementation of LAPACK. If high performance BLAS libraries like ATLAS, GotoBLAS, etc. are available, you simply can link against them and boost performance.
Updated 29 Mar 2008
The VXL Project
| Pop | 78.83 |
|---|---|
| Vit | 2.69 |
VXL is a set of portable C++ libraries designed for computer vision research and implementation. Numerics, imaging, and geometry are provided by stand-alone core libraries, with easy to use APIs and sophisticated processing algorithms. Other libraries provide stereo, video, structure from motion, probability modeling, GUI design, classification, robust estimation, feature tracking, topology, 3d imaging, and much more. It is written and used by an international team from academia and industry.
Updated 31 Jan 2004
Brook for GPUs
| Pop | 55.20 |
|---|---|
| Vit | 1.00 |
Brook for GPUs is a compiler and runtime implementation of the Brook stream programming language for modern graphics hardware. The goals for this project are to demonstrate general purpose programing on GPUs, to provide a useful tool for developers who want to run applications on GPUs, and to research the stream language programming model, streaming applications, and system implementations.
