Numerical Transition Systems/Libraries