تلخيص أعمال الحساب للشيخ، أبي العباس: أحمد بن محمد بن عثمان الأزدي، المعروف: بابن البناء. المتوفى: سنة ٧٢١. وهو على ضربين: الأول: في المعلوم. والثاني: في المجهول. وشرحه: عبد العزيز بن علي بن داود الهواري. وهو: شرح ممزوج. أوله: (الحمد لله ولي النعم ... الخ) . وعلي بن حيدرة.