Mathematical proofs and derivations for the parking rectangle algorithm
Geometry, error analysis, and validation of rectangles generated along a street segment
Full correctness proof of the parking rectangle algorithm, with error analysis for the locally-flat-earth approximation
Step-by-step derivation of the rectangle corner coordinates from street center, orientation, and dimensions