(السلسلة التراثية؛ ١٥).
- رسائل ابن سنان: ثابت بن قرة (تحقيق). - الكويت: المجلس الوطني للثقافة والفنون والآداب، ١٤٠٣ هـ. - (السلسلة التراثية؛ ٦).
- مشروع مجمع اللغة العربية الأردني للرموز العلمية العربية/إعداد لجنة خاصة مقررها إبراهيم سعيدان. - عمان: المجمع: ١٤٠٤ هـ.
- التكملة في الحساب؛ مع رسالة في المساحة/عبد القاهر بن طاهر البغدادي (تحقيق ودراسة مع ملخص بالإنجليزية) - الكويت: المنظمة العربية للتربية والثقافة والعلوم، معهد المخطوطات العربية، ١٤٠٦ هـ.
- البحث عن الحل (ترجمة).
- مبادئ المعادلات التفاضلية وتطبيقاتها (ترجمة بالاشتراك).