Unicode XML TEI text analysis platform
This is a maths solving app and study guide for various levels..
Windows binaries for the GNU Linear Programming Kit (GLPK)
Etchimaths(A'LEVEL) is a typical Mathematics software for A'LEVEL
Constructing level-1-networks consistent with a set of quartets
Nonlinear Krylov acceleration of fixed-point and Newton-like methods
Java Decision Diagrams (BDD) libraries: JDD and JBDD
A library for handling vectors, tensors, and more.
CAS Algorithms embeded as libraries.