RSS 4 projects tagged "Mathematics"

Download Website Updated 16 Mar 2014 FFTW

Pop 518.46
Vit 64.51

FFTW is a fast C FFT library. It includes complex, real, symmetric, multidimensional, and parallel transforms, and can handle arbitrary array sizes efficiently.It is typically faster than other freely available FFT implementations, and is even competitive with vendor-tuned libraries (benchmarks are available at the homepage). To achieve this performance, it uses novel code generation and runtime self optimization techniques (along with many other tricks).

No download Website Updated 21 Mar 2006 Isabelle

Pop 68.99
Vit 3.17

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

No download Website Updated 22 Feb 2003 mathplot

Pop 24.49
Vit 2.33

mathplot is an interactive function grapher. It supports equations, inequations, displaying tangent, finding roots, extrema, and the intersection of 2 functions, and much more.

Download Website Updated 28 Jul 2012 HOL

Pop 49.97
Vit 6.69

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.


Project Spotlight

KinderGate Parental Control

A combined URL and content filtering filter.


Project Spotlight


Display of GPU utilization on open Radeon drivers.