Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>.
The Coq Proof Assistant is designed to write formal specifications, programs
and to verify that programs are correct with respect to their specification.
workaround, since this is commercial, binary distributed software. This
file is installed world-writable and is modified at program startup.
Thanks to Morten Liebach <morten@hotpost.dk> for reporting it. ok lebel
GNU Octave is a high-level language, primarily intended for numerical
computations. It provides a convenient command line interface for
solving linear and nonlinear problems numerically, and for performing
other numerical experiments using a language that is mostly compatible
with Matlab. It may also be used as a batch-oriented language.
Grace is a tool to make two-dimensional plots of numerical data. It
runs under various (if not all) flavours of UNIX with X11 and M*tif.
Its capabilities are roughly similar to GUI-based programs like
Sigmaplot or Microcal Origin plus script-based tools like gnuplot or
Genplot. Its strength lies in the fact that it combines the
convenience of a graphical user interface with the power of a
scripting language which enables it to do sophisticated calculations
or perform automated tasks.
Flavors:
no_x11 - build command line tool only, no gui
fftw - use math/fftw for optimized FFT
netcdf - use math/netcdf for network common data form support
xmhtml - use www/xmhtml to use grace's internal HTML browser
for helpfiles etc.
WWW: http://plasma-gate.weizmann.ac.il/Grace/
MAINTAINER= Nikolay Sturm <Nikolay.Sturm@desy.de>
--
FFTW is a free collection of fast C routines for computing the
Discrete Fourier Transform in one or more dimensions. It includes
complex, real, and parallel transforms, and can handle arbitrary
array sizes efficiently. FFTW is typically faster than other
publically-available FFT implementations, and is even competitive
with vendor-tuned libraries. (See our web page for extensive
benchmarks.) To achieve this performance, FFTW uses novel code-generation
and runtime self-optimization techniques (along with many other
tricks).
WWW: http://www.fftw.org/
Submitted by Nikolay Sturm <Nikolay.Sturm@desy.de>
* Now respects CFLAGS/CPPFLAGS, no need for patches.
* autoconf removed, CONFIGURE_STYLE set to simple.
* Use do-install target now that the install method is so messy.
* New homepage.
COMMENTS don't end with .
HOMEPAGE is there for a reason.
Only bsd.port.mk uses tabspaces set to 4.
pre-package does not run as root, post-install does.
copying files is not good enough to make them executable.
and numerical analysis, very similar to Matlab.
Yorick's array syntax, interpreted programs are compact,
nearly free of explicit loops, and can run at speeds up to
20% of optimized compiled speed.
It can do interactive graphics via the X Window System,
including x-y plots, quadrilateral meshes and cell arrays.
Includes tools to assist making animated and simple 3d
graphs.
Supports output directly to your screen, in PostScript and
binary CGM format.
Maintainer: Peter Valchev <pvalchev@toxiclinux.org>
like a financial spreadsheet. When invoked it presents you
with a table organized as rows and columns of cells. If
invoked without a file argument, by default the initial
table is empty.
Each cell can be associated with a numeric value, a label
string and/or an expression which evaluates to a numeric
value or label string, often based on other cell values
(formula).
MAINTAINER= Peter Valchev <pvalchev@toxiclinux.org>
--
Math::GMP is designed to be a drop-in replacement both for Math::BigInt
and for regular integer arithmetic. Unlike BigInt, though, Math::GMP
uses the GNU gmp library for all of its calculations, as opposed
to straight Perl functions. This results in a speed increase of
anywhere from 5 to 30 times.
A Math::GMP object can be used just as a normal numeric scalar would
be -- the module overloads the normal arithmetic operators to provide
as seamless an interface as possible.
efficiently solves systems of linear equalities and inequalities.
Constraints may be either requirements or preferences. Client code
specifies the constraints to be maintained, and the solver updates the
constrained variables to have values that satisfy the constraints.
A technical report is included in the distribution that describes the
algorithm, interface, and implementation of the Cassowary solver.
Additionally, the distribution contains toy sample applications
written in Smalltalk, C++, Java, and Python, and a more complex
example Java applet, the "Constraint Drawing Application".
MAINTAINER= Peter Valchev <pvalchev@toxiclinux.org>
also performs standart or Monte Carlo simulations. It allows you
to specify a set of linear or nonlinear equations and solve them
using parameter values you choose or parameter values sampled
from specified statistical distributions. Outputs can be compared.
It consists of two pieces - a model generator and a simulation
engine. The model generator was created to facilitate the model
maintenance and simulation definition, while keeping execution
time fast. Other programs have been created to the same end, the
Matlab family of graphical interactive programs being some of the
more general and easy to use.
MAINTAINER= Peter Valchev <pvalchev@toxiclinux.org>
Submitted by Peter Stromberg <home@wilfried.net>.
wmcalc is a program designed to act as a simple four-function
calculator. It is different from other calculator programs,
however in that it is designed to take up very little desktop
space.
