An Infinitely Large Napkin
Tool support for the Z formal notation
Bifurcation analysis for delay-differential equations
Social Network Analysis and Visualization software
Interactive scientific graphing and data analysis software.
Generate and solve Travelling Salesman Problem tasks
Fast and easy to use plotting software.