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 & GUI for Bayes Nets and other probabilistic models.
A framework for solving partial differential equations
Uranie is CEA's uncertainty analysis platform, based on ROOT
Unicode XML TEI text analysis platform
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
Parallel pairwise correlation computation on Intel Xeon Phi clusters
Heterogeneous Software Development Accelerated
Predictive Microbial Modeling plug-in for KNIME
Modular Java framework for meta-heuristic optimization