Precision Trigonometry: Advanced Calculator for Complex Math
Open Source and data mining software
Numerical models for chemical and process engineering
Verification via biSimulations of Max-Plus-Linear models
Welcome to the Volunteer-Based System for Research on the Internet!
Bit level lambda continuations and nothing else - Queue automata
Timeseries databases management system
Java Api to manipulate simple on data of Matrix Type
proof verifier for mathematical proofs and documentation generator
Calculates NPA PPA of a human gait based on input of data