Open Source Linux Mathematics Software - Page 55

This is a C++ linear algebra library, with dynamic vectors and matrix.

Program solves various linear programming problems using simplex method.

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.

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.

This software is a tool for measurement kyphosis, lordosis and scoliosis. LoB Analytics was developed in Python.

A Perl CGI script which calculates a matrix of loan payments in a table for the purpose of determining which interest rate and term will best fit a buyer's needs. Working on linking the payment values to a ammort schedule.

Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.

Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.

An easy to use mathematical function graph plotter written in Python and GTK.

M-S Lab is a free software for statistical computing and graphics. M-S Lab is available in two distributions: The built-in language support is implemented in "Own" version. And for users who like to code in Lua scripting language we made a "Lua" version. Both versions are available for free download in the Downloads page.

MESH is a tool that measures distortion between two discrete surfaces (triangular meshes) using the Hausdorff distance to compute a maximum, mean and root-mean-square errors between two given surfaces. It also displays the error values on the surface.

A reworking in C++ of KBMAG. A package and C++ library for computing automatic structures and confluent rewriting system for group and coset rewriting systems, and for computing with finite state automata

Manufactured Analytical Solution Abstraction (MASA): a library for applying the Method of Manufactured Solutions to verification of numerical software used for solving systems of nonlinear algebraic and differential equations.

MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection

MATHOOL is an online and offline javascript application powered by REDUCE computer algebra system, JSXGraph and other open source javascript programs devoted to scientific calculations and graphic visualization.

MCM-ICM is a curated archive of Outstanding Winner (“O-奖/特等奖”) solution papers from the Mathematical Contest in Modeling and the Interdisciplinary Contest in Modeling, spanning the early 2000s through recent years. The repository is organized by year, with per-year folders that collect the top-ranked reports and, in later years, additional materials such as problem statements or problem notes when available. It has evolved from a single-maintainer project into a collaborative effort, with different contributors stewarding successive year ranges so the collection stays current. The contents skew toward MATLAB and LaTeX, reflecting the tools most winning teams use to build models and typeset their reports; you’ll typically see complete write-ups alongside code that implements optimization, simulation, statistical analysis, or other modeling pipelines.

It is a bit timing calculator for the popular Microchip MCP2510. It has a graphical diagram view of your choosen options. You can save or print a report at the end.

MCPerm: A Monte Carlo permutation method for multiple test correlation in case-control association study Traditional permutation (TradPerm) test is an important non-parametric analysis method which can be treated as the gold standard for multiple testing corrections in case-control association study. However, it relies on the original single nucleotide polymorphism (SNP) genotypes and phenotypes data to perform a large number of random shuffles, and thus it is computationally intensive, especially for genome-wide association study (GWAS). To improve the calculation speed without changing the size of the TradPerm p-value, we developed a Monte Carlo permutation (MCPerm) method as an efficient alternative to TradPerm. Methods: MCPerm does not need to shuffle the original genotypes and phenotypes data. It uses Monte Carlo method, employs two-step hypergeometric distribution to generate the random number of genotypes (AA, Aa and aa) in cases and controls.

MCPower-GUI is a desktop application that provides a graphical interface for the MCPower Monte Carlo power analysis library. It guides users through the full workflow across three tabs: Model setup (formula input with live parsing, CSV data upload with auto-detected variable types, effect size sliders, and correlation editing), Analysis configuration (find power for a given sample size or find the minimum sample size for a target power, with multiple testing correction and scenario analysis), and Results (interactive charts, exportable tables, and auto-generated Python replication scripts). Supports both standard linear models and mixed-effects models. Additional features include analysis history, configurable scenarios, and built-in documentation.

An implementation of John Conway's Game of Life.

A TeX DVI previewer for Unix

This C++ wrapper is intended for the wrapping around of the mathematica core library. It allows simple core mathematica function calling of the form: Mathematica m; m.factor();

MIC* comes with a new vision of multi-agent system engineering: The multi-agent system is devided explicitly into two dimensions: the deployment environment and the autonomous agents. MIC* is an algebraic model of a deployment environment (container of a

Scientific Java Calculator for cell-phones and MIDP devices