لاهورى ( - تقرير التحرير و جز آن ) ، به سال 1144 ق / 1731 م ، در 12 « مقاله » ساخته است . آغاز : سپاس است مر خداى را كه اول هر اول است . مشترك 1 / 305 « نجوم » و فهرست كارهايش در 7 بند ، از آن ميان : « تقرير التحرير » و ديگرى « تقريب التحرير » ؛ استورى ، ستاره 2 / 1 « تقرير التحرير » ، 7 « تحرير بر اقليدس » متن عربى ، 37 « تقريب التحرير » ، 85 « تقريب التحرير » ( 2 نسخه ) ؛ مشايخ چشت 377 . ايوانف ، كرزن ، پيوست 2 / 1084 به تفصيل . بانكيپور 11 / 70 ش 1058 « تقريب التحرير » آغاز : ثنايى كه از اندازهء خرد بيرون است ، شايان صانعى كه خالق سبع سماوات ؛ مرآت العلوم 1 / 150 « تقريب التحرير » ( شرح تحرير مجسطى ) . * تقريرات . سيد محمد على قاينى ( د . 1305 ق ) . براى شاگردش ميرزا عبد الله طبرى ، در 3 برگ . آغاز : بسمله . سؤال اول وجه آخر شكل ثالث كتاب مفروضات كه مىفرمايد . آستان قدس 10 / 164 . * تقرير التحرير . ابو الخير محمد التقى فرزند محمد فارسى ، سده‌ى 10 ق . از وى گذشته در رياضى ، در پزشكى نيز كتاب‌هايى در دست هست : 1 - ادويه ، 2 - چشم پزشكى ، 3 - ميزان الطبايع . نسخه‌ها 1 / 153 ( 1 نسخه ) ؛ ذريعه 1 / 120 « اتولوجيا » و 3 / 377 « تحرير اثولوجيا » ، 381 « تحرير اصول الهندسه » ، همانجا 4 / 366 « تقرير التحرير » ( 1 نسخه ) ؛ كشف الظنون 2 / 1076 « صحيفة النور » ؛ استورى ، رياضى 2 / 85 شايد تقريب التحرير ابو الخير خير الله مهندس باشد ؛ رياضيدانان دورهء اسلامى 202 ؛ گاهنامه 1310 خ / 89 . آستان قدس 8 / 403 « معرفة القبلة » از همو به عربى و 417 همان و 447 « منتخب حل التقويم » فارسى ؛ مجلس 19 / 286 « شرح رسالهء هيئت » از همو ، 337 « اسطرلاب » از همو ، 338 « اسطرلاب » ، 347 « اسطرلاب مسطح » از همو . نسخهء ديگر آن : حيدرآباد ، راجه سيد مهدى ، ش 89 . * تقرير التحرير . از خير الله خان فرزند لطف الله مهندس فرزند احمد ، معمار لاهورى . ( - تقريب التحرير ) ترجمه‌اى است از « تحرير اقليدس » تحرير خواجه نصير الدين طوسى ( د 672 ق ) ، كه به سال 1146 / 1731 م ، به روزگار محمد شاه ( 1131 - 1161 ق ) ، در 15 « مقاله » نگاشته است . اته نام كتاب را « تقرير التحرير » آورده است ولى محمد على فرزند نگارنده در مقدمهء آن « تقريب التحرير » آورده است ( بينش ) . آغاز : شكر است خداى كه از اوست ابتدا و به سوى اوست انتها . نسخه‌ها 1 / 153 ( 2 نسخه ) ؛ استورى ، رياضى 2 / 1 ( 1 نسخه ) ؛ مشترك 1 / 183 « تقرير التحرير يا ترجمهء تحرير اقليدس » نامش ، 259 « تقرير التحرير : تقريب التحرير » نامش ، 305 » تقرير التحرير و تقريب التحرير » بگونهء دو كتاب ؛ پاكستان و هند 5 / 361 « تقرير التحرير يا ترجمه‌ى تحرير اقليدس » ؛ مشايخ چشت 377 ؛ رياضيدانان دورهء اسلامى 496 « تقرير التحرير » . ملك 2 / 161 ؛ نشريه 4 / 14 در پابرگى . اته . 226 ؛ ايوانف 1084 « تقريب التحرير » ؛ بانكيپور 1058 « تقريب التحرير » ؛ شوروى ، سالتيك ، شدرين 1 / 107 ، 108 ، فرهنگستان ، الفبايى 1 / 129 .