TY  - RPRT
TI  - Formal proof of some inequalities used in the analysis of the post-post-Newtonian light propagation theory
AU  - Sven Zschocke
AU  - Sergei A. Klioner
PY  - 2009
UR  - https://arxiv.org/abs/0907.4281
ID  - 0907.4281
ER  -