Fast integrator of stochastic partial differential equations
System dynamics program with additional features for economics
Computer calculations made easy
Synchronous Petri Nets' emulator
A logic IDE for the sentential logic and the predicate logic.
CAS Algorithms embeded as libraries.