أحمد بن محمد بن عثمان الأزدي العددي، أبو العباس، ابن البناء
ابن البَنَّاء
[الأعلام للزركلي]
أحمد بن محمد بن عثمان الأزدي العددي، أبو العباس، ابن البناء: رياضيّ باحث، من أهل مراكش، مولدا ووفاة. كان أبوه بناءاً. ونشأ هو منصرفا إلى العلم، فنبغ في علوم شتى. وانقطع مدة عن أكل ما فيه روح. وأصيب بحالة عصبية فحجب في بيته سنة وتعافى. له (حاشية على الكشاف) و (منتهى السلوك في علم الأصول) و (كليات) في المنطق و (شرحها) و (وكليات) في العربية و (المقالات) في الحساب، و (اللوازم العقلية في مدارك العلوم) و (الروض المريع في صناعة البديع) قي الرباط، بأول المجموع (3172 ك) واقتنيت منه نسخة مغربية نفيسة، و (تلخيص أعمال الحساب) نظمه ابن غازي، وشرح نظمه، وطبع النظم وشرحه بفاس، و (عنوان الدليل من مرسوم خط التنزيل) رسالة في الرباط (المجموعة 1134 ك) وفي خزانة الرباط (1061 ك) مجموع مخطوط، اوله (كتاب فيه أعمال الحساب) لصاحب الترجمة وكتاب قي (النجوم) لعله (منهاج الطالب لتعديل الكواكب) في شستربتي (4087) ورسالة في ((المكاييل) وجزء في (المساحات) ومقالة في علم (الأسطرلاب) وجزء في (الأنواء) فيه صور الكواكب، و (قانون) في معرفة الأوقات بالحساب 1. جذوة الاقتباس 77 - 73 وفيه: وفاته عام 721 أو 723 ونيل الابتهاج 41 وخزائن الكتب 89 والدرر الكامنة 1: 278 ودائرة المعارف الإسلامية 1: 102 وفيها: من كتبه ترجم إلى الفرنسية ونشر بها. قلت: ورد ذكره في كشف الظنون 472 وهو مع شرح له باسم التمحيص - خ) لابن هيدور في خزانة الرباط والإعلام بمن حل مراكش 1: 375 - 384.