The program is designed to search for clusters global minimum structur
Welcome to the Volunteer-Based System for Research on the Internet!
Four color theorem application
Basic Scientific Calculator
Predictive Microbial Modeling plug-in for KNIME
Scheduling lockages at ship locks with several parallel lock chambers
Belief Revision via PS-Merge under constraints belief merging operator
Equation of stock trading simplified to game of moving resizing balls
API for all possible cellular automata that work same at all angles
EDMFit is an adjustment tool to estimate EDM calibration parameters.
A Calculator to perform logical operations
jAgg - Java Aggregation Operations
A collection of tools used in the enumeration of solution spaces
MathTools is an aid in preparing printed math tests.
Log-linear analysis (data modelling) for high-dimensional data
A simple Belief Merging Prototype
Imports bibtex references from MathSciNet
Android API for discrete Image and Signal processing.
proof verifier for mathematical proofs and documentation generator
A science API for Java
Hand Written Equation Creator