Open source finite element software for multiphysical problems
A cross-platform statistical package for econometric analysis
Computer Algebra System written in Common Lisp
Agena is an interpreted procedural programming language.
Arbitrary-precision CRC calculator and algorithm finder
Vectorized libm
A shared memory parallel sparse matrix library including Sparse BLAS.
Drop In the Bucket Neural Networks
Program to generate permutations and combinations
Command-line calculator and libray.
Uranie is CEA's uncertainty analysis platform, based on ROOT
Precision Trigonometry: Advanced Calculator for Complex Math
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout
This is a maths solving app and study guide for various levels..
Numerical mathematics platform, Matlab alternative
Mixed Integer Linear Programming (MILP) solver.
Proof Logic : A logical framework for theorem proving
Biomolecular electrostatics software
Kaplan-Meier for Windows