Search Results for "gnu/linux" - Page 69

PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.

Template Math Library is a generic math library with support for bignums, that act like primitive types, with many math functions (such as trigonometric, logarithm, etc).

Scalable image processing in C++

SVGMath is a command-line utility to convert MathML expressions to SVG, written entirely in Python.

A program for calculating the spacing between stones in an "eternity" ring, targeted at jewelry makers.

A tool for studying Bers slices and complex projective structures on punctured tori.

A module for Python which provides interface to the PARI/GP computing library. We propose to write programs for PARI using Python scripting language. Python makes code much more clean, readable and manageable than the old-style PARI scripts.

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.

Sci_R is a toolbox that user can use the R’s statistical functions in scilab environment.Sci_R provides a comprehensive set of statistical tables.Include cumulative distribution function,probability density function and quantile function.

Narcissistic number library for Python

The objective of SPUC is to provide the Digital Communications Systems Designer or DSP Algorithm designer with simple, efficient and reusable DSP building block objects written in C++.

This is a small and fast library and command-line tool for manipulation of logic/boolean-algebra expressions, including proofing and simplification. A front-end using tigcc for Texas Instruments calculators is planned, too.

A small utility for visualizing graphics of the wide math function list. Based on Glade/GTK+ toolkit so integrates into GNOME flawlessly. Uses mathGl library for drawing purposes, see http://mathgl.sourceforge.net/

Mathtest tests you in various mathematical operations on a user set amount of questions. The goal of the program is to keep math in practice by running the program daily.

QRMlib provides a library of methods to investigate Quantitative Risk Management, including Market Risk, Credit Risk and Operational Risk, as developed in the book "Quantitative Risk Management: Concepts, Techniques and Tools".

A C++ class library for Contour Advective methods in Fluid Mechanics

Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts. The initial focus is molecular and multicellular networks. Project web page: http://www.littleb.org

Math Trainer trains your brain by creating easy calculus problems in variable difficultly for you. this projects also contains various other tools related to mathematical topics.

Tuatara Turing Machine Simulator is a graphical tool for designing and executing Turing Machines. Designed primarily for teaching purposes, it features a simple point-and-click interface.

OOoLatex is no more maintained. Please consider using TexMaths (http://roland65.free.fr/texmaths/) OOoLatex is a set marcos designed to provide latex support into OpenOffice. Complex equations can be inserted as images, the latex code is saved into the image attribute while simpler equations are expanded into symbol characters to be inserted as text.

Currently, this project consists of a pure java math expression parser optimized for repeated evaluation. Development of an interactive 3D math visualization application based on this parser is planned for the future.

C++ library for the research of dynamical system. This is the implementation of Subdivision algorithm.

Ordinary Differential Equation (ODE) solver for Tcl. Handles both stiff and non-stiff sets of equations; does time-evolved initial value problems and root finding. Based on the popular Lawrence Livermore solver LSODE.

A MATLAB package to simulate sample paths of the solution of a Itô or Stratonovich stochastic differential equation (SDE), compute statistics and estimate the parameters from data. A note of caution: SDE Toolbox is no more developed but it's still downloadable. Its inferential capabilities can be considered surpassed (at best). Actually the parameter estimation methods were already far from the state-of-art when the project began in 2007 (!). The considered implemented parametric and...

OpenDiscreteDynamicProgrammingTemplate : founds optimal constrainted parameters of a discrete controls with second order optimization template replacing Hessian with directional derivatives and backpropagation for digital filter(as neural network)