Has anyone in Wolfram-Land ever modeled and/or calculated the necessary parameters for spacecraft rendezvous and proximity operations?