Open Source Mathematics Software - Page 32

A formal specification language and tools based on high-school mathematics - sets theory, functions, arithmetics and Boolean algebra.

Belief merging aims at combining several pieces of (possibly inconsistent) information coming from different sources. The goal is to produce a single consistent set of information, trying to keep the most of the information of the sources. A belief merging operator is the responsible for making the belief merging. With this tool you can compare the ΔΣ, ΔGMax and the Δps (PS-Merge) operators.

Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base.

Belle is a generic higher order theorem prover in the style of Isabelle.

Bellman, named after the character in Lewis Carroll's The Hunting of the Snark, is a program for searching for catalytic interactions in Conway's Game of Life and potentially other similar cellular automata. Results are derived directly from the automaton's evolution rule, not generated from a list of candidate catalysts as with previous searchers.

Bellman algorithm's to resolve binary knapsack problem.

Library for easy and nice (micro) benchmarking in Elixir. Benchee allows you to compare the performance of different pieces of code at a glance. It is also versatile and extensible, relying only on functions. There are also a bunch of plugins to draw pretty graphs and more! Benchee runs each of your functions for a given amount of time after an initial warmup, it then measures their run time and optionally memory consumption. It then shows different statistical values like average, standard deviation etc. The aforementioned plugins like benchee_html make it possible to generate nice-looking HTML reports, where individual graphs can also be exported as PNG images. first runs the functions for a given warmup time without recording the results, to simulate a "warm"/running system. Plugin/extensible-friendly architecture so you can use different formats to display benchmarking results as HTML, markdown, JSON, and more.

A fast and flexible explorer for various types of fractals

My personal computing suite provides some programs I developed as a hobbyist and currently include a lambda calculus interpreter and a calculator which solves arithmetic expressions; both are written in C++.

BezierEditor is a Bezier Curve Editor with follow functions :<br> -add/remove curves and points<br> -move points and curves<br> -zoom in/out/box<br> -load and save in a text file<br> -multiple selection<br>

Uses MathSciNet to search for bibtex references. The matching references can then be edited and added to a local file. For information on how to use this software please consult the wiki. Requires a MathSciNet subscription.

A C++ library for the computation of bifurcation diagrams: it provides tools for the integration of systems of ODEs that depend on parameters. A Python interface is included.

Java arbitrary-precision calculator and expression parser. "Compiles" text equations into functors to be executed using the Java BigDecimal class.

BigAl is a free open source and platform independent software for calculating really BIG numbers. It supports not only standard arithmetic, but also exact period determination, predefined factorials, fibonacci with seeds, factorization, nth root, etc

BigBang/Horizon is a proteomics data analysis pipeline with focus on the shotgun LC/MSMS workflow.

BigNums offers several GMP-Tools to deal with big numbers.

BinMatrix is a class to operating and storing binary matrices. Each BinMatrix object represent a binary matrix. Supported operations are OR,AND, product and power among others. This class is intented to be used inside a C++ program.

A simple to use binomial distribution calculator: Just enter the sufficient data like number of trials, probability and number of successes. You can display the calculated data in a table or even graphically. Simultaneously, this application computes the expected value and the standard deviation. To use this app you need to have .NET Framework 4 installed. Contact me: lambdapew-dev@yahoo.de

A Perl Extension for modeling enzymatic (biochemical) reaction networks

Project provides some Tcl/Tk procedure for manipulating Biology data. And, attributed to the clarity of the Tcl code, it is also useful for education.

Metagenomics yields enormous numbers of microbial sequences that can be assigned a metabolic function. Using such data to infer community-level metabolic divergence is hindered by the lack of a suitable statistical framework. Here, we describe a novel hierarchical Bayesian model, called BiomeNet (Bayesian inference of metabolic networks), for inferring differential prevalence of metabolic networks among microbial communities. To infer the structure of community-level metabolic interactions, BiomeNet applies a mixed-membership modelling framework to enzyme abundance information. The basic idea is that the mixture components of the model (metabolic reactions, subnetworks, and networks) are shared across all groups (microbiome samples), but the mixture proportions vary from group to group. Through this framework, the model can capture nested structures within the data. BiomeNet is unique in modeling each metagenome sample as a mixture of complex metabolic systems (metabosystems).

A library for iris-detection written in pure C# and .NET 3.5.

The Biopsychology Nonlinear Toolbox is a MATLAB toolbox that combines established analysis routines in one easy to use graphical user interface.

BitInt is a multiprecision library for Contiki operating system. Tested on MSPsim for Tmote Sky platform.