214 (ط ثانية) ، الأعلام للزركلى 1/ 112، معجم المؤلفين لكحالة 1/ 209، بروكلمان ملحق 1/ 317 رقم 9، كتب عنه شتروتمان Strothmann ,Islam I ,358 ,No.5 ,II ,64: كتب عنه فان آرندونك V.Arendonk 279: كتب عنه ماديلونج Madelung 177 - 178:
1 - «كتاب الإفادة» :
هو كتاب في الفقه وبه زيادات، جمع هذا الكتاب ورواه معاصر للمؤلف هو أبو القاسم حسين بن على ابن تال الهوسمى، برلين 4878 (قطعة منه في الأوراق 1 - 21، من سنة 760 هـ) ، المتحف البريطانى، الملحق 338 مخطوطات شرقية 4031 (126 ورقة، من سنة 721 هـ) ، إمبروزيانا 141) 90 A ورقة، من سنة 750 هـ، انظر، (r SO 3 /391: صنعاء، فقه 149(110 ورقة، من سنة 765 هـ، انظر: فؤاد سيد في مجلة معهد المخطوطات العربية 1/ 207) ، البنغال 676 (114 ورقة من القرن العاشر الهجرى) ، وتوجد زيادات في مخطوط البنغال 677 (149 ورقة، من القرن التاسع الهجرى) .
ويوجد مختصر من الشرح، الذى ألفه على الزيادات القاضى عماد الدين أبو مضر شريح بن المؤيّد المؤيّدى الشّريحى (فى الفترة بين 400 - 450) وهذا المختصر بعنوان: «الجواهر والدّرر المستخرجة من شرح أبى مضر» تأليف محيى الدين أبى عبد الله محمد بن أحمد بن على بن الوليد (حوالى سنة 600 هـ/ 1203 م) ، المتحف البريطانى، الملحق 339 مخطوطات شرقية 3858 (317 ورقة من سنة 1078 هـ) .
2 - «إثبات نبوة النبى» :
برلين 10280/ 3 (الأوراق 2 - 32، من سنة 1000 هـ تقريبا) ، - الفاتيكان، فيدا 1019/ 2 (الأوراق 72 - 169، من سنة 691 هـ) ، القاهرة، دار الكتب كلام 1567 (91 ورقة، من سنة 551 هـ، انظر: فهرس معهد المخطوطات العربية 1/ 114) .
3 - «التّجريد» :
هو كتاب في فقه الهادى، مع شرح في مجلدات أربع (انظر (Ahlwardt 4950 /35 وقد تناول فيه أيضا