App that allows you to track progress of your sourceforge project.
Precision Trigonometry: Advanced Calculator for Complex Math
Open Source and data mining software
A computer algebra system for research in combinatorial game theory.
A functional maths program calculating with functions
The Fourth Edition of STEMCalc and the biggest one yet!
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!
Equation of stock trading simplified to game of moving resizing balls
Computer calculations made easy
Bit level lambda continuations and nothing else - Queue automata
A printed document recognition system that can deal with formula
Calculate various aspects of the Kontinuum RPG system.
Timeseries databases management system
Simple physics simulation of Curvilinear and Rectilinear Motions
JBernstein: Exploration techniques for non-linear constraint checking
proof verifier for mathematical proofs and documentation generator
Java Api to manipulate simple on data of Matrix Type
Calculates NPA PPA of a human gait based on input of data