Advanced mathematical types and functions for Swift
An R package for causal inference in time series
General Mission Analysis Tool
fast C++ library for linear algebra & scientific computing
Step by step math solutions for everyone
Belief Revision via PS-Merge under constraints belief merging operator
A Calculator to perform logical operations
MathTools is an aid in preparing printed math tests.
A simple Belief Merging Prototype
Simple physics simulation of Curvilinear and Rectilinear Motions
library for Bilinear Pairing
Pure Java Fuzzy API
A fair attempt at the Keplerian tradition to explore the solar system
Repository has been moved to: http://dtitov.github.com/bracer