satellite_mathematica/value vm 0.8.pdf