Research
Mathematica was used to perform the interval arithmetic calculations that were necessary to prove the stability of the K-multiples of a given stable fixed state. The notebook is available
here
.