sortmail - sort email messages by date/time
sortmail is a front end for decomposemail(1) and recom-
posemail(1). Each mailbox argument is disassembled into
its component messages, then these messages are reassem-
bled into new mailboxes based on command line selection
criteria. Some additional functionality is provided, such
as backup copies, recursion, etc.
Software written by: Daniel E. Singer (a.k.a. Toolman)
Lasse L. Johnsen
lasse@freebsdcluster.org
dlmodeler is a set of user-friendly functions to simplify the state-space
modelling, fitting, analysis and forecasting of Generalized Dynamic Linear
Models (DLMs). It includes functions to name and extract individual components
of a DLM, build classical seasonal time-series models (monthly, quarterly,
yearly, etc. with calendar adjustments) and provides a unified interface
compatible with other state-space packages including: dlm, FKF and KFAS.
The MPFR library is a C library for multiple-precision floating-point
computations with exact rounding (also called correct rounding). It
is based on the GMP multiple-precision library.
The main goal of MPFR is to provide a library for multiple-precision
floating-point computation which is both efficient and has a well-defined
semantics. It copies the good ideas from the ANSI/IEEE-754 standard for
double-precision floating-point arithmetic (53-bit mantissa).
Alt-Ergo is an automatic theorem prover dedicated to program verification.
Alt-Ergo is based on CC(X), a congruence closure algorithm parameterized by
an equational theory X. Currently, CC(X) can be instantiated by the empty
equational theory and by the linear arithmetics. Alt-Ergo contains also a
home made SAT-solver and an instantiation mechanism.
Alt-Ergo is compact, safe, and modular. Each component is described by a small
set of inference rules and is implemented as an Ocaml functor.
Minpack includes software for solving nonlinear equations and nonlinear least
squares problems. Five algorithmic paths each include a core subroutine and
an easy-to-use driver. The algorithms proceed either from an analytic
specification of the Jacobian matrix or directly from the problem functions.
The paths include facilities for systems of equations with a banded Jacobian
matrix, for least squares problems with a large amount of data, and for
checking the consistency of the Jacobian matrix with the functions
JAGS is Just Another Gibbs Sampler -- a program for analysis of
Bayesian hierarchical models using Markov Chain Monte Carlo (MCMC)
simulation.
The functionality of JAGS is based on the BUGS program created by the
MRC Biostatistics Unit (http://www.mrc-bsu.cam.ac.uk/). There is a short
manual that describes the differences between JAGS and BUGS.
Some of the BUGS examples have been modified to run with JAGS, and have
been turned into a test suite.
The octave-forge package is the result of The GNU Octave Repositry project,
which is intended to be a central location for custom scripts, functions and
extensions for GNU Octave. contains the source for all the functions plus
build and install scripts.
This is bim.
Package for solving Diffusion Advection Reaction (DAR)
Partial Differential Equaltions based on the Finite Volume Scharfetter-Gummel
(FVSG) method a.k.a Box Integration Method (BIM)
The octave-forge package is the result of The GNU Octave Repositry project,
which is intended to be a central location for custom scripts, functions and
extensions for GNU Octave. contains the source for all the functions plus
build and install scripts.
This is odebvp.
To approximate the solution of the boundary-value problem
y''=p(x)*y' + q(x)*y + r(x), a<=x<=b, y(a)=alpha, y(b)=beta
by the linear finite-diffence method.
This module was adapted from Math::Vector.
It uses most of the same algorithms, and currently preserves the same
names as the original functions, though some aliases have been added
to make the interface more natural.
The "object" for the object oriented calling style is a blessed array
reference which contains a vector of the form [x,y,z]. Methods will
typically return a list.
The Math::VectorReal package defines a 3D mathematical "vector",
in a way that is compatible with the previous CPAN module
Math::MatrixReal. However it provides a more vector oriented set
of mathematical functions and overload operators, to the MatrixReal
package. For example the normal perl string functions "x" and "."
have been overloaded to allow vector cross and dot product
operations. Vector math formula thus looks like vector math formula
in perl programs using this package.