These topics provides background information and technical details about QuickEye and VerifEye. The formulas and relationships in these topics are conceptual, and do not describe the actual algorithms used by the solver.