14 projects tagged "Mathematics"
GLE (Graphics Layout Engine) is a graphics scripting language designed for creating publication quality figures (e.g., a chart, plot, graph, or diagram). GLE supports various chart types (including function plot, histogram, bar chart, scatter plot, contour plot, color map, and surface plot) through a simple but flexible set of graphing commands. More complex output can be created by relying on GLE's scripting language, which is full featured with subroutines, variables, and logic control. GLE relies on LaTeX for text output and supports mathematical formulae in graphs and figures.
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
MayaVi is a free, cross platform, easy-to-use scientific data visualizer. It provides a powerful GUI to ease the visualization process. It is written in Python and uses the Visualization Toolkit (VTK) for the graphics. MayaVi can be scripted from other Python programs and also from the interactive Python interpreter. MayaVi includes the VTK Pipeline browser. The VTK Pipeline browser is a Python module (vtkPipeline) that enables one to view and configure the objects in the VTK pipeline graphically with a Tkinter-based GUI. The browser should work for any Python script that uses VTK. MayaVi also provides classes to pickle a VTK object and a simple class documentation browser.
The Chombo package provides a set of tools for implementing finite difference methods for the solution of partial differential equations on block-structured adaptively refined rectangular grids. Both elliptic and time-dependent modules are included. Support for parallel platforms and standardized self-describing file formats are included.
The ATLAS (Automatically Tuned Linear Algebra Software) project is an ongoing research effort focusing on applying empirical techniques in order to provide portable performance. It provides C and Fortran77 interfaces to a portably efficient BLAS implementation, as well as a few routines from LAPACK.
PBZIP2 is a parallel implementation of the bzip2 block-sorting file compressor that uses pthreads and achieves near-linear speedup on SMP machines. The output of this version is fully compatible with bzip2 1.0.2 or newer (ie: anything compressed with PBZIP2 can be decompressed with bzip2).
OPAL (Open Physics Abstraction Layer) has two main goals: to provide a high-level physics interface, and to provide an abstract interface that is independent of the underlying physics engines. Although some similar libraries focus mainly on the second goal, OPAL is more focused on the high-level physics interface. Even though the abstract interface is important for comparing physics engines or using multiple physics engines in the same application, the primary concern is giving developers a simple, powerful interface with high-level constructs.
Convert protected M4V files to MP4, MOV, iPod, iPhone, or Audio format.