تحرير المفروضات
ج ۳، ص ۳۹۲، ش ۱۴۰۸
الذریعة الی تصانیف الشیعة
ج ۳، ص ۳۹۲، ش ۱۴۰۸
( ۱۴۰۸ : تحرير المفروضات ) لثابت كما في كشف الظنون و مراده أنه تعريب ثابت بن قرة، و أما أصله فهو لأرشميدس كما ذكره في أخبار الحكماء، و حرره سلطان المحققين خواجه نصير الدين الطوسي مشتمل على ستة و ثلاثين شكلا و في بعض النسخ أربعة و ثلاثين، توجد نسخه منه في المكتبة الخديوية تاريخ كتابتها (۲۰ - ج ۲ - ۱۱۴۶ )