11 projects tagged "Mathematics"
A practical lambda-calculator is a normal-order evaluator for the untyped lambda-calculus, extended with convenient commands and shortcuts to make programming in it more productive. Shortcuts are distinguished constants that represent terms. Commands define new shortcuts, activate tracing of all reductions, compare terms modulo alpha-conversion, print all defined shortcuts and evaluation flags, etc. Terms to evaluate and commands are entered at a read-eval-print-loop (REPL) "prompt" or "included" from a file by a special command. A Haskell branch is an embedding of the lambda calculator (as a domain-specific language) into Haskell. The calculator can be used interactively within Hugs or GHCi.
L2P creates PNG images from LaTeX math expressions. It can work with just a fragment of LaTeX code (such as $\frac{x^2+1}{3-x}$) or with a full LaTeX document. It is fully documented, and designed to be fast, robust, and to offer the user a great degree of flexibility and control.
The Template Numerical Toolkit (TNT) is a collection of interfaces and reference implementations of numerical objects useful for scientific computing in C++. The toolkit defines interfaces for basic data structures, such as multidimensional arrays and sparse matrices, commonly used in numerical applications. The goal of this package is to provide reusable software components that address many of the portability and maintenance problems with C++ code.
PHAML is a parallel program for the solution of 2D elliptic partial differential equations using low or high order finite elements, adaptive mesh refinement based on newest node bisection of triangles, and multigrid. All aspects of the method are based on the hierarchical basis functions.
Parallel Three-Dimensional Fast Fourier Transforms, dubbed P3DFFT, is a library for computing 3D FFTs using 2D (pencil) decomposition. It is written using Fortran with MPI, and is tuned to work on multiple single-CPU systems (up to 32768 of them). It is built to leverage high-performance serial 1D FFT libraries, such as FFTW or ESSL.
jHepWork (jWork) is an environment for scientific computation, data analysis, and data visualization for scientists, engineers, and students. The program is fully multi-platform (written in Java). Programs can be written in the Java, Jython/Python, and BeanShell scripting languages. Matlab/Octave is supported for symbolic calculations. The program can be used to display data and functions in D and 3D. It comes with a friendly IDE and a code assist.
SLEEF (SIMD Library for Evaluating Elementary Functions) is a library that facilitates programming with SIMD instructions. It implements the trigonometric functions, inverse trigonometric functions, exponential and logarithmic functions in double precision without table look-ups, scattering from, or gathering into SIMD registers, or conditional branches. This library also includes some functions for evaluation in single precision.
A tool which splits a single WAV file into multiple wav files based on silence.