The Automated Transfer vehicle is designed to supply the International Space Station with water, air, payload experiments and the like. In addition, the ATV can re-boost the station, restoring its orbit. It is an unmanned spacecraft launched with an Ariane 5.
... see below for generalizations) with a being non-zero. These solutions are also called the roots of the equation. The formula reads
<math>
x=\frac{-b \pm \sqrt ...