Search Results for "learning linux command line" - Page 5

The Function Wizard is designed to provide a lightweight, fast, and easy to use application that will integrate, differentiate, calculate maxima and minima, etc. basic polynomials, as well as assist in other tedious polynomial tasks.

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.

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 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...

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.

BlowfishVHDL - free fully synthesizable Blowfish encryption algorithm hardware implementation.

This program converts calculator-style ASCII math notation (the same that ASCIIMathML uses) to Spanish Braille mathematics notation (not Nemeth Code).

blat(mat) is a Braille to print translator for maths. It takes a Spanish Six-dot Mathematical Braille (not Nemeth Code) text and converts it to an HTML file ready to be translated into XHTML+MathML by ASCIIMathML (javascript).

Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.

TAROT is a easy-to-use framework for Monte Carlo simulations in python. Calculations between different kinds of randomly distributed numbers are made as easy as basic arithmetics. Tarot provides an interactive graphical interface for interpretation.

The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.

A program that calculates how much money is owed in when assessed for street repairs in Monopoly (TM).

Fractal Generator is a program that can generate Julia & Mandelbrot's fractals, writing it onto BMP files...

A cross-platform cellular automaton facility. Implements simulation and visualization of multi-dimensional cellural automatas locally or in distributed mode.

METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.

Synchronizations in team automata for groupware systems

Topologia Digital (Digital Topology) is a project for the development of the practical exercises of the Digital Topology course in the Applied Mathematics Department of the Computer Science Faculty (Polytechnic University of Madrid, Spain).

LaTex to braille translator for Maths, intended to be able to support multiple braille codes.

The GMP compiler simplifies the use of GMP, the GNU multiple precision library. It scans a C source file for specially marked GMPS arithmetic expressions and replaces them with plain C.

Misc packages including a matrix application, a text based minesweeper, and simple console functions bundled to be run from a virtual console. Some packages are independently runnable. http://damf.sourceforge.net/ for more information.

Equalculator is an equation calculator. It is currently in the "pre-alpha" stage of development, so don't expect it to do miracles. You type in your equation, it will ask you for the variables and Voila!, it gives you the answer.

Area is a small program with which you can calculate the area of any polygon.

Port of the computer algebra system Yacas to C#.

{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.

Octave interface to the finite elements library Libmesh. Under the scientific interpreted language Octave, Octmesh allows using the Libmesh characteristics for the numerical simulation of partial differential equations on serial and parallel platforms.