RSS 4 projects tagged "Mathematics"

Download Website Updated 16 Mar 2014 FFTW

Screenshot
Pop 515.27
Vit 70.18

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

Screenshot
Pop 70.94
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

Screenshot
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

Screenshot
Pop 50.41
Vit 6.72

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.

Screenshot

Project Spotlight

NTRU

The NTRU public-key cryptosystem.

Screenshot

Project Spotlight

bashstyle-ng

A graphical tool for styling Bash.