datastructures. It allows building of directed and undirected graphs, with
data and metadata stored in nodes. The library provides functions for graph
traversing as well as for characteristic extraction from the graph topology.
PR: ports/78624
Submitted by: Antonio Carlos Venancio Junior <antonio@php.net>
Thus, it includes several shapes (boxes, balls, lines), in addition to the
basic math objects that are used to build these shapes (points, vectors,
matricies).
PR: ports/77046
Submitted by: jannisan@t-online.de (Jan Rochel)
statistics components addressing the most common problems not available in the
Java programming language or Commons Lang.
WWW: http://jakarta.apache.org/commons/math/
standard distribution contains tool collections for the algorithmic treatment
of polytopes and polyhedra, and finite simplicial complexes. It offers an
unified interface to a wide variety of algorithms and free software packages
from the computational geometry field, such as convex hull computation or
visualization tools.
PR: ports/75405
Submitted by: Ewgenij Gawrilow <gawrilow@math.TU-Berlin.DE>
Fast C routines (Single Percision)
FFTW is a C subroutine library for computing the Discrete Fourier Transform
(DFT) in one or more dimensions, of both real and complex data, and of
arbitrary input size. We believe that FFTW, which is free software, should
become the FFT library of choice for most applications. Our benchmarks,
performed on a variety of platforms, show that FFTW's performance is
typically superior to that of other publicly available FFT software.
Moreover, FFTW's performance is portable: the program will perform well on
most architectures without modification.
The FFTW package was developed at MIT by Matteo Frigo and Steven G.
Johnson. Please send email to fftw@theory.lcs.mit.edu so that we can keep
track of users and send you information about new releases. The latest
version of FFTW, benchmarks, links, and other information can be found at
the FFTW home page
PR: ports/71271
Approved by: pav (co mentor)
mechanically checked by the machine.
In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".
PR: ports/72718
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>
It is small and simple to use but with much power and
versatility underneath. Features include customizable
functions, units, arbitrary precision, plotting, and
a user-friendly interface.
PR: ports/68979
Submitted by: Sergey Akifyev <asa@gascom.ru>
If you want to convert from inches per decade, that's fine. Or from
meter-pounds. Or from cubic nautical miles. The units don't have to
make sense to anyone else.
PR: ports/71081
Submitted by: Michael Johnson <ahze@ahze.net>
LAPACK95 is a Fortran 95 interface to the Fortran 77 LAPACK library.
It improves upon the original user-interface to the LAPACK package,
taking advantage of the considerable simplifications which
Fortran 95 allows. The design of LAPACK95 exploits assumed-shape arrays,
optional arguments, and generic interfaces. The Fortran 95 interface
has been implemented by writing Fortran 95 ``wrappers'' to call
existing routines from the LAPACK package. This interface can persist
unchanged even if the underlying Fortran 77 LAPACK code is rewritten to
take advantage of the new features of Fortran 95.
