Ports 搜索

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