@article{docking, author = {Bourgois, Auguste and Rohou, Simon and Jaulin, Luc and Rauh, Andreas}, title = {Proving feasibility of a docking mission: a contractor programming approach}, journal = {Mathematics}, volume = {10}, year = {2022}, number = {7}, article-number = {1130}, url = {https://www.mdpi.com/2227-7390/10/7/1130}, issn = {2227-7390}, doi = {10.3390/math10071130} }