manual da gsl em pt-BR
LightCAS is very lightweigth Computer Algebra System
Addition, Subtraction & Multiplication for large integral numbers
mathSuite Speed & Matrix Stream Processor
Powerful Calculus Environment and Matrices Handling Engine
A calculator capable of complex arithmetics
Web-based data science analysis and visualization platform.
A versatile MCMC and downhill optimization engine
SWP is for Weighted Points
ternary logic calculator
Timeseries databases management system
Embeds graphs into the projective plane, torus and Klein bottle.
Command-line calculator of basic statistics.
Command line scientific calculator
Creates a data density plot of a 2 dimensional data distribution.
[frozen] A library for computing cycles in graphs or in Java code.
Calculator that takes care of measurement units.
proof verifier for mathematical proofs and documentation generator