Projects

gmpy

A C-coded Python extension module that wraps the GMP library to provide to Python code fast multiprecision arithmetic (integer, rational, and float), random number generation, advanced number-theoretical functions, and more.

JLinAlg

JLinAlg is a Java Library for Linear Algebra without rounding errors ( e.g. operations on matrices, algorithms for solving Linear Equation Systems, inverting matrices, computing the determinant or the eigenvalues of a matrix).

constraints-solver-over-r

C++ library for solving systems of linear constraints: inequalities equality and disequality. Current version is based on Fourier-Motzkin (FM) elimination for inequalities and Gaussian elimination for equality. Quantifiers “Forall” and “Exists” are allowed. Boolean connectivities ... [More] '&' -and, '|' - or '~' - not. '' '>=' '=' - arithmetical inequalities. The simplest formula for the solver might be: Exists x (x > 0 & x < 3);The solver simplifies such formula to 'true'. The solver simplifies system of equalities using LU decomposition. For example: x + y = 3 & x - y = 1 ;Gives: x = 2 & y = 1Appliances: Such solver may be applied as arithmetic online solver for software/hardware static verification tools. Solution of the linear programming problem. But since the FM algorithm is more general solver is not such efficient as a simplex method solver. Note. By now the code base is incomplete. It contains all Calculator's code and only small part of the Solver code. Rest of the code is coming. Stay tuned :) If you have questions feel free to contact me vitaly.german gmail.com [Less]

easy-clearcase-explorer

There are some things in IBM Rational's software that could be easier to do. Like recursive checkins and checkouts. Of course you can write your own scripts and use them. But it is better when all you need is already there. This project's aim is to make the use of ClearCase easier and more productive.

precmaths

This library handles rational numbers automatically using bigintegers that are built into mono. It provides evaluate functions to extract the decimal values of these numbers to double accuracy

mm-tree

Tree structure plugin for MongoMapper (With rational number sorting)