Their method, which is so precise it can discriminate between trajectories that differ by only millimeters, provides proof in only a few seconds.
Using sum-of-squares programming enables their method to generalize to a wide range of complex motions.
[
Collection
]
[
|
...
]