These documents are the formal descriptions of how the algorithms work, their underlying designs, and initial comparison with prior algorithms and results.