Aamath is a program that reads mathematical expressions in infix notation
and renders them as ASCII art. It may be useful to send mathematics through
text-only media, such as e-mail or newsgroups.
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.
The ATLAS (Automatically Tuned Linear Algebra Software) project is an ongoing
research effort focusing on applying empirical techniques in order to provide
portable performance. At present, it provides C and Fortran77 interfaces to
a portable, efficient BLAS implementation, as well as enhanced versions of a
few routines from LAPACK. To link with ATLAS shared libraries:
Serial (thread-safe) Fortran77 BLAS:
-lf77blas
Multi-threaded Fortran77 BLAS:
-lptf77blas
Serial (thread-safe) C BLAS:
-lcblas
Multi-threaded C BLAS:
-lptcblas
ATLAS-enhanced LAPACK, serial (thread-safe) interface:
-lalapack -lf77blas -lcblas
ATLAS-enhanced LAPACK, multi-threaded interface:
-lalapack -lptf77blas -lptcblas
The BLACS (Basic Linear Algebra Communication Subprograms)
project is an ongoing investigation whose purpose is to create
a linear algebra oriented message passing interface
that may be implemented efficiently and uniformly across
a large range of distributed memory platforms.
Blitz++ is a C++ class library for scientific computing which provides
performance on par with Fortran 77/90. It uses template techniques to
achieve high performance. The current versions provide dense arrays and
vectors, random number generators, and small vectors and matrices.
CLN is a library for computations with all kinds of numbers. It has a
rich set of number classes:
- Integers (with unlimited precision),
- Rational numbers,
- Floating-point numbers:
Short float,
Single float,
Double float,
Long float (with unlimited precision),
- Complex numbers,
- Modular integers (integers modulo a fixed integer),
- Univariate polynomials.
The subtypes of the complex numbers among these are exactly the types
of numbers known to the Common Lisp language. Therefore CLN can be used
for Common Lisp implementations, giving `CLN' another meaning: it
becomes an abbreviation of "Common Lisp Numbers".
Dr. Geo is a GTK interactive geometry software. It allows one to create
geometric figure plus the interactive manipulation of such figure in respect
with their geometric constraints. It is useable in teaching situation with
students from primary or secondary level.
GKmap is a free K-Map disclosure software, which is developed to solve
the Digital Electronics design problems. Along with design it also helps
in analysis of information flow in the digital circuits.
This is eispack from research.att.com. I've cleaned up the Makefile, but
it is otherwise the same. The package is described in:
1. Smith, B.T, Boyle, J.M, Dongerra, J.J., Garbow, B.S., Ikebe, Y.,
Klema, V.C., and Moler, C.B., Matrix Eigensystem Routines -- EISPACK
Guide, Lecture Notes in Computer Science, Vol. 6, Second Edition,
Springer-Verlag, New York, Heidelberg, Berlin, 1976
2. Garbow, B.S., Boyle J.M., Dongerra, J.J, and Moler C.B., Matrix
Eigensystem Routines -- EISPACK Guide Extension, Lecture Notes in
Computer Science, Vol. 51, Springer-Verlag, New York, Heidelberg,
Berlin, 1977
As the package is in FORTRAN there are no include files for the library,
and the only thing to install is the library itself.
ent applies various tests to sequences of bytes stored in files and reports the
results of those tests. The program is useful for evaluating pseudorandom
number generators for encryption and statistical sampling applications,
compression algorithms, and other applications where the information density of
a file is of interest.