OpenFst is a library for constructing, combining, optimizing, and searching
weighted finite-state transducers (FSTs). Weighted finite-state transducers
are automata where each transition has an input label, an output label, and
a weight. The more familiar finite-state acceptor is represented as a
transducer with each transition's input and output label equal.
Finite-state acceptors are used to represent sets of strings (specifically,
regular or rational sets); finite-state transducers are used to represent
binary relations between pairs of strings (specifically, rational
transductions). The weights can be used to represent the cost of taking
a particular transition.
FSTs have key applications in speech recognition and synthesis, machine
translation, optical character recognition, pattern matching, string
processing, machine learning, information extraction and retrieval
among others. Often a weighted transducer is used to represent a
probabilistic model (e.g., an n-gram model, pronunciation model). FSTs can
be optimized by determinization and minimization, models can be applied to
hypothesis sets (also represented as automata) or cascaded by finite-state
composition, and the best results can be selected by shortest-path algorithms.
Entropy is a program that will calculate the entropy of a given set
of data. This program is mainly used to benchmark the efficiency
of existing or developing compression algorithms.
CLooG is a free software and library generating loops for scanning
Z-polyhedra. That is, it finds a code (e.g. in C, FORTRAN...) that
reaches each integral point of one or more parameterized polyhedra.
CLooG has been originally written to solve the code generation problem
for optimizing compilers based on the polytope model.
Dynare is a software platform for handling a wide class of
economic models, in particular dynamic stochastic general
equilibrium (DSGE) and overlapping generations (OLG) models.
GeoGebra is a dynamic mathematics software that joins geometry,
algebra and calculus. It is developed for education in secondary
schools by Markus Hohenwarter at the University of Salzburg.
You can do constructions with points, vectors, segments, lines,
conic sections as well as functions and change them dynamically
afterwards. Equations and coordinates can be entered directly.
Thus, GeoGebra has the ability to deal with variables for numbers,
vectors and points, finds derivatives and integrals of functions
and offers commands like Root or Extremum.
GeoGebra received several international awards including the European
and German educational software award.
A compiler which allows to typeset geometry figures within a (La)TeX
document. This program is also useful to convert such figures in EPS
format or in various other vector graphic formats.
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.
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.
GiNaC is an iterated and recursive acronym for GiNaC is Not a CAS,
where CAS stands for Computer Algebra System. It is designed to allow
the creation of integrated systems that embed symbolic manipulations
together with more established areas of computer science (like
computation-intense numeric applications, graphical interfaces, etc.)
under one roof.
The dynamic mathematics software Geonext establishes new ways of teaching and
learning mathematics. It offers opportunities of visualisation that can't be
realised on paper or blackboard and with traditional construction tools.
Geonext enables autonomous and cooperative learning of mathematics in the
classroom. It encourages an active discovering approach to mathematical
thinking. Geonext can be used at school and at home for free (GPL).
Therefore the software can be handed out to students without any copyright
problems (GPL).
Geonext can be used from elementary school up to calculus at high school and
in teacher-training at university in a manifold and flexible way.
-Andreas Fehlner
fehlner@gmx.de