لجمال الدين الحسن بن يوسف الحلي المتوفى سنة 726 ه .
( ذريعة 14 : 52 ) طبع إيران سنة 1310 ه ( معجم المطبوعات العربية بإيران : 198 ) .
* * * محمد تقي الهروي ( ذريعة 14 : 52 ) .
شرح مبادئ الوصول .
حسام الدين بن جمال الدين بن طريح النجفي ( ذريعة 14 : 52 ) .
شرح مبادئ الوصول .
عبد الواحد التستري ( ذريعة 14 : 52 ) .
شرح مبادئ الوصول .
تاج الدين علي بن حسن الطبرسي ( ذريعة 14 : 52 ) .
شرح مبادئ الوصول .
عبد المطلب بن محمد بن علي الأعرج ( ذريعة 14 : 53 ) .
شرح مبادئ الوصول
( وانظر بقية شروح الكتاب المذكور في الذريعة 14 : 53 - 54 ) .
مبادئ الوصول إلى علم الأصول
لمحمد بن إبراهيم بن جماعة المتوفى سنة 733 ه ( سبق ) .
خ جامعة قاريونس 628 ويكي جامع استانبول 135 ( الفهرس الشامل ( فقه ) 9 : 22 ) .
* * * عبد الرحمن بن عمر بن محمد بن فضل الأبهري ( كذا في الفهرس المذكور ) .
شرح مبادئ الوصول
أوله : الحمد لله منزل الشرائع والأحكام الخ خ جامعة قاريونس 611 .
المبتكرات الحسابية
لأحمد بن رجب بن طنبغا المصري المعروف بابن المجدي المتوفى سنة 850 ه ( سبق في إرشاد الحائر ) وغيره .
خ الاسكوريال أول 948 / 9 ( بروكلمان 6 : 534 ) .
* * * نور الدين علي بن عبد القادر المصري الشافعي المعروف بالسيد الفرضي المتوفى سنة 870 ه ( سيأتي في وسيلة ابن الهائم ) .
الفوائد الرّبانية في شرح المبتكرات الحسابية
خ الاسكوريال أول 948 / 3 ( بروكلمان 6 : 534 ) .