Loading paper
Quantitatively hyper-positive real rational functions III | Tomesphere