Open Source Linux Mathematics Software - Page 84

VMMLib is a vector and matrix math library implemented using C++ templates, thus making it very easy to integrate into other libraries and programs. It is developed at the VMML, University of Zürich.

Over 75 C++ function for working with vectors, matrix and quaternions. Inside the package there is no cycles, if's, classes or structures. Ideal for designing 3D engines. Headlines of functions are intuitive. For each headline there is a one line comment in Russian. Matrix are presented in OpenGL form 0 4 8 12 1 5 9 13 2 6 10 14 3 7 11 15 Now we are working on adding 50+ more functions for processing the planes, splines, bezier curves and interpolation methods.

VectorAlgebra is a Mathematica-package which implements various functions for simple vector calculations in d-dimensional spaces with constant metrics.

Yet Another Data Mining Platform

This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. If you are more familiar with MATLAB language, we suggest you to try VeriSiMPL version 1.4 which is fully based on MATLAB.

ViennaFEM is a library-centric implementation of the finite element method in C++. It features a symbolic math kernel, which manipulates the strong or weak form of the problem and automatically derives the discrete form. ViennaFEM is built on top of the following libraries: ViennaMath provides the symbolic math kernel, ViennaGrid (with ViennaData) allows for a generic grid handling and quantity storage, while ViennaCL provides the linear solvers and GPU acceleration.

ViennaGrid is a generic mesh handling library that provides the traversal of structured and unstructured grids in arbitrary spatial dimensions, in particular 1d, 2d and 3d. Quantities can be conveniently stored on mesh elements using ViennaData.

A tool set for registering and statistically analyzing medical images with special focus on the human skeleton.

The Virtual Math Teams (VMT) Project (vmt.mathforum.org) at the Math Forum enables K-12 math collaborative learning, professional development of educators, & group cognition research. VMT is now integrated with GeoGebra (http://www.geogebra.org/).

VisAD is a Java component library for interactive and collaborative visualization and analysis of numerical data.

Vistools is a set of tools to easily visualize some scientific data, without need to learn difficult API, so you can see your 3d results very quickly. Also some sci tools for which we made it, including vector field tracing and simple optimization.

VisualIntFactor will be an interactive educational and scientific tool demonstrating multiply, factor, conversion between unary counting and binary integers, all in the same grid of hexagons. This grid is based on pascals triangle, which is a 1d cellular automata that calculates (X choose Y) factorials by each cell being the sum of the 2 cells upleft and upright. Draw a binary integer from a cell going upright, then explore the allowed transforms which may lead you to a factored state in 2 dimensions, from the lowest digit of the 2 odd integers both upright and upleft, its factors, and in the 2d space they are rectangle edges of, those pixels/digitbits must be on when there is an on bit somewhere downleft and downright after crossing empty cells, but if it finds either whole diagonal row empty then it must also be empty/zerodigit. The 2 main rules are: Any 2 cells below may both turn off and turn on the one above, or the reverse, and any on cell may move horizontally to an empty cell.

We introduce a completely visual representation based on typed Mind Maps to represent steps of calculation for a pure untyped lambda calculator, VLM.

VisualMaths is a 2D curve drawing program (3D and dynamic curves not yet available). User defines objects (functions,variables,arrays) and assign each object to a curve and an axis. VisualMaths also provides some graphic solvers : minima, maxima.

Vytics lets you query and plot csv data, Excel files, databases (SQL and NoSQL). You can also organize your queries, data and graphs into reports and projects.

WWW Interactive Mathematics Server, engine to provide interactive educational activities on the web.

WITM, is an acronym for Web Interface To Mathematica. WITM allows a workstation running Mathematica and a web server to be accessed from any browser. Care was taken to ensure WITM works well with handheld devices such as PDAs.

Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. Use Wolfgang to smoothly create the Petri net you want! A user guide and a documentation can be found under http://doku.telematik.uni-freiburg.de/wolfgang.

Wallaroo is an infinite precision constraint solving and optimization library for linear constraints over the rational numbers. It handles equalities (=), inequalities (<=, >=), strict inequalities (<, >), and disequalities (!=).

Function graph drawing/rendering application for use with audio applications. Exports .wav files. Dependencies: wxPython & Numeric(not in 1.10)

Wavelets At Work is a graphical tool (written in java) using wavelets in order to detect discontinuity of an input signal.

Web Assisted Teaching Environment. Software system for creating, updating, distributing, and reusing Electronic Teaching Resources, (particularly Multiple Choices Quizzes).

A framework of configurable mathematical software components written in the Java language, meant to be used on instructional Web pages. This project will take the original version (called JCM) and modify it to use Swing and JavaBeans.

Web Interface to Octave allows to run GNU Octave commands from a web browser. Application is written in PHP and needs SQL database. It supports user profiles, user-created functions, scripts.