The Library allows exact computation with discrete random variables in
terms of their distributions by using a monad. The monad is similar to
the List monad for non-deterministic computations, but extends the List
monad by a measure of probability. Small interface to R plotting.
It is a R package for the detection of the point of a sharp turn
of the behavior of the time series.
The GLPK package is a set of routines written in ANSI C and organized
in the form of a callable library. This package is intended for solving
large-scale linear programming (LP), mixed integer linear programming (MIP)
and other related problems.
The GLPK package includes the following main components:
* implementation of the simplex method;
* implementation of the exact simplex method based on
bignum (rational) arithmetic;
* implementation of the primal-dual interior-point method;
* implementation of the branch-and-bound method;
* application program interface (API);
* GNU MathProg modeling language (a subset of AMPL);
* GLPSOL, a stand-alone LP/MIP solver.
General purpose computer algebra system released under GPLv3. French
documentation by Renee De Graeve is for non-commercial use only. The
package consists of:
- C++ library (libgiac). It is build on C and C++ libraries: PARI,
NTL (arithmetic), CoCoA (Groebner basis), GSL (numerics), GMP
(big integers), MPFR (bigfloats) and provides algorithms for basic
polynomial operations (product, GCD) and symbolic computations
(simplifications, limits/series, symbolic integration, summation,
...). The library can be configured to accept Maple or TI syntax
to ease the transition for users of these systems.
- Command line interpreter (icas or giac). It can be called from
texmacs.
- FLTK-based GUI (xcas). It is a GUI for symbolic computation with
several modules added: 2-d and 3-d graphics, dynamic 2-d and 3-d
geometry (exact or numeric), spreadsheet, programming environment.
JTransforms is the first, open source, multithreaded FFT library
written in pure Java. Currently, four types of transforms are
available: Discrete Fourier Transform (DFT), Discrete Cosine Transform
(DCT), Discrete Sine Transform (DST) and Discrete Hartley Transform
(DHT). The code is derived from General Purpose FFT Package written
by Takuya Ooura and from Java FFTPack written by Baoshe Zhang.
JACAL is an interactive symbolic mathematics program. JACAL can
manipulate and simplify equations, scalars, vectors, and matrices of
single and multiple valued algebraic expressions containing numbers,
variables, radicals, and algebraic differential, and holonomic
functions.
JACAL is written in Scheme.
The goal of this Java API is to display mathematical formulas written in
LaTeX. The default encoding is UTF-8.
The most of LaTeX commands are available and :
1) macros from amsmath and symbols from amssymb and stmaryrd;
2) \includegraphics (without options);
3) the TeX macro \over;
4) accents from amsxtra package;
5) the macros \definecolor, \textcolor, \colorbox and \fcolorbox from the
package color;
6) the macros \rotatebox, \reflectbox and \scalebox from the package graphicx;
7) the most of latin unicode characters are available and cyrillic or
greek characters are detected for the loading of the different fonts;
8) the commands \newcommand and \newenvironment;
9) the environments array, matrix, pmatrix,..., eqnarray, cases;
10) the fonts are embedded in the jar file to be used by fop 0.95 to generate
PDF, PS or EPS (SVG export with shaped fonts works fine too);
11) and probably other things I forgot...
METIS is a software package for partitioning unstructured graphs,
partitioning meshes, and computing fill-reducing orderings of sparse
matrices.
Important note: this is not the original METIS, it has been specially
patched by EDF to be used by Code_Aster.
[ excerpt from developer's web site ]
MIRACL is a Big Number Library which implements all of the primitives
necessary to design Big Number Cryptography into your real-world
application. It is primarily a tool for cryptographic system
implementors. RSA public key cryptography, Diffie-Hellman Key
exchange, DSA digital signature, they are all just a few procedure
calls away. Support is also included for even more esoteric Elliptic
Curves and Lucas function based schemes. The latest version offers
full support for Elliptic Curve Cryptography over GF(p) and GF(2m).
Less well-known techniques can also be implemented as MIRACL allows
you to work directly and efficiently with the big numbers that are
the building blocks of number-theoretic cryptography. Although
implemented as a C library, a well-thought out C++ wrapper is
provided, which greatly simplifies program development. Most example
programs (25+ of them) are provided in both C and C++ versions.