Framework for numerical computations, data analysis and visualisation
Precision Trigonometry: Advanced Calculator for Complex Math
Handling and basic analysis of hyperspectral data in R
This is a maths solving app and study guide for various levels..
Proof Logic : A logical framework for theorem proving
Fast rainflow counting written in C (C99)
A tool that uses OpenCL to procedurally generate 3D models
A Library is for Finite Transforms
Program to solve differential equations using long Taylor series
A library to convert between braille and MathML
Advanced numerical instruments: adaptive meshing, FE methods, solvers
interactive 2D plotter
DD-AVX: Library of high-precision operations accelerated by AVX
Visual studio C and C++ projects to build and use mumps sparse solver