Tools for building fast, hackable, pseudospectral equation solvers
Python library for defining and optimizing mathematical expressions
Computational geometry and spatial indexing on the sphere
Tool support for the Z formal notation
Framework for numerical computations, data analysis and visualisation
Framework & GUI for Bayes Nets and other probabilistic models.
A framework for solving partial differential equations
Mass spectrometry imaging data analysis software tool
Uranie is CEA's uncertainty analysis platform, based on ROOT
Unicode XML TEI text analysis platform
Shape-Safe Symbolic Differentiation with Algebraic Data Types
Proof Logic : A logical framework for theorem proving
Create multi-degree polynominals charts. Designed in FbEdit & WinAPI.
Numerical models for chemical and process engineering
Open-Source Project for Credit Risk Modeling
Scientific computing, machine learning and computer vision for .NET
Java math expression parser and script interpreter
A simple calculator.