A cross-platform statistical package for econometric analysis
A framework for solving partial differential equations
SigPack - A signal processing library using Armadillo
A collection of machine-checkend mathematical proofs
Create multi-degree polynominals charts. Designed in FbEdit & WinAPI.
Open-Source Project for Credit Risk Modeling
A system for computer algebra and symbolic mathematics
Tinger Calc is a powerful scientific calculator environment.
FDA's f2 computation with bootstrap technique
proof verifier for mathematical proofs and documentation generator