Open Source Linux Mathematics Software - Page 86

Yorick - Maintenon Branch

Ytk is a Tcl/Tk program which adds menus, buttons and features to the basic command line driven Yorick program and language. It also enables usage of all Tcl/Tk widgets and functions including buttons, sliders, checkboxes, and other typical TK widgets to

forked / moved to: http://makroz.googlecode.com/ http://cxxlnz.googlecode.com/ http://mathez.googlecode.com/

C++ large integer class with Boost License.

This project seeks to develop tools for investigations into computational aspects of algebraic geometry over free groups. In particular, we are developing software implementations based on the theoretical work G. S. Makanin, A. Razborov, and others.

Multired is middleware for automatic dynamic generation of multi-resolution representations for large spatio-temporal databases. It also provides an API which uses the middleware to support user-guided navigation of spatiotemporal data.

It is an open source scientific library that is focused on multi-agent simulations on graphs. It prepares basic toolkit for agents, models, timers, graphs, nodes and edges. It is also accompanied with tools for data processing.

ZeGrapher is a free and open source software for plotting mathematical objects (functions, sequences, parametric equations) and experimental data on the plane. This software is intended to be as easy to use as possible, suitable for high school students.

Zero Sum Game Solver Java Library is open source java library to solve 2-player finite zero-sum games. This programs solve zero-sum games with linear programming.

Zherlock has now changed name to SciCraft and no longer hosted on sourceforge. Visit our new site at http://www.scicraft.org

Are you always tired of searching the Windows calculator from some weird location from you PC? Zinuc is a web only, very simple, but powerful calculator. You don't have to download anything to use it. Check out the web pages to find out more.

Zoser is a set of math tools for integration, interpolation, polar-Euler coordinate conversion, Euler-angle-to-quaternion conversion, quaternion-to-rotation-matrix conversion, etc. Zoser is written in Standard C++ and uses GNU Scientific Library.

A Interactive Network VideoGame

The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.

Ntccrt is an interpreter for the Non-deterministic Timed Concurrent Constraint (ntcc) calculus and its probabilistic extension (pntcc). It allows to execute models either as a stand-alone program, as a patch in OpenMusic or as an plugin in Max/MSP or PD

The Advanced Algebraic Language (AAL) is a very dynamic programming language designed to fill the void that has appeared between mainstream languages and algebra. As a result its main focus is ease of use for math problems. To download AAL check out the source code repository. There are versions available for windows and linux with both 32 and 64 bit native binaries: http://svn.code.sf.net/p/aal-lang/code/trunk/bin/

A MATLAB toolbox for approximate Bayesian computation (ABC) in stochastic differential equation models. It performs approximate Bayesian computation for stochastic models having latent dynamics defined by stochastic differential equations (SDEs) and not limited to the "state-space" modelling framework. Both one- and multi-dimensional SDE systems are supported and partially observed systems are easily accommodated. Variance components for the "measurement error" affecting the data/observations can be estimated. A 50-pages Reference Manual is provided with two case-studies implemented and discussed. The methodology is based on the research article available at http://arxiv.org/abs/1204.5459 Author's research page is http://www.maths.lth.se/matstat/staff/umberto/

Distributed network system for information searching and computing.

Moved to GitHub https://github.com/fedups Algebraic equation processing at run time for Java programs. Supports variables, functions with parameters, rate table lookups, an embedded "if" function... Infinitely extensible, very small footprint.

Sistema de reconocimiento de voz usando CMU Sphinx-4 y un modelo acústico basado en el corpus de VoxForge en español y gramáticas en JFlex y BYACC/J para el dictado en habla casi natural para la escritura de expresiones matemáticas.

Algheme is a computer Algebra system written in the Scheme language. This project is actually aimed to symbolic computation using Groebner Bases and related topics; nevertheless, it can eventually evolve in a computational system for Mathematics in g

Collection of utilities based on two basics classes: Matematica and VarData. Matematica) performs math operations on vectors and matrices for smoothing, interpolation, convolution, image processing... VarData) manipulate a structure of points connected by links. Addraw) openGL engine. ElPoly) analyze mechanical properties of polymer and membrane like structures. Addyn) perform molecular dynamics and Monte Carlo simulations and has a solver for 4th oder PDE. Avvis) perform all the operation of Matematica on different sets of data visualized on a Qt graphical interface. DrImage) image manipulation on the Matematica filters. The program is intended to use as less as possible external libs (optional: openGL, gsl, fftw, cgal, png, tiff, boost, MPI, Qt...).

Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

ampclib is a simple to use platform independed C++ library for arithmetic multiple precision computations with a ritch and self explaining interface. It provides number theoretic functions and primality tests. The ampclib consists of three classes: +Integer (multiple precision integers) +Rational (multiple precision rational numbers using the Integer class) +Primes (prime number computations and number theoretic functions for unsigned 32 bit integers) The latest release contains optimizations and bug fixes.

This software aims help students of analytic geometry courses by visualizating several key concepts.