شمس‌الدین محمد خفری

1. اثبات الواجب تعالی
2. رسالة فی الهیولی
3. المحاکمات بین الطبقات
4. حاشیه بر شرح تجرید قوشچی بر الهیات تجرید
5. سواد العین: حاشیه بر شرح حکمة العین
6. حسرة الفضلاء در حل شبههٔ جذر الأصم
7. رسالهٔ حل ما لاینحل
8. تفسیر آیةالکرسی
9. التکلمة فی شرح التذکرة النصیریة
10. منتهی الادراک فی الهیة
11. اسفار العارفین
12. حاشیه بر نهایت الادراک قطب‌الدین شیرازی
13. رسالة فی الرمل (به فارسی)
14. رسالة فی الزاویة
15. رسالة فی القضیة و التصدیق
16. رساله رمل

خفری یک ستاره شناس نظری بود که در دوره ای پس از دوران انحطاط علوم اسلامی ، نظریه های سیاره ای جدیدی را توسعه داد و یکی از نمونه های بسیاری است که می تواند این نظریه را که دانشمندان اسلامی پس از قرن 12 کمک چندانی نکرده اند ، از بین ببرد.

التكملة في شرح التذكرة

شرح اثری است که الشریف الجرجانی درباره نقد خواجه نصیر طوسی بر نجوم بطلمیوسی ،( التذكرة في علم الهيئة) خفری در شرح خود به برخی از راه حلها برای معادل مسئله ارائه شده توسط بطلمیوس کمک می کند.

طوسی با استفاده از زوج معروف طوسی خود مسئله را حل کرد. با این حال ، او قادر به گسترش آن به مدل عطارد نبود و زمانی که به حرکت عطارد که نزدیک ترین سیاره به خورشید است رسید اظهار عجز نمود.

اما خفری با خواندن اثر خواجه نصیر و بکاربردن نبوغ ریاضی خود چهار راه حل برای مسئله حرکت عطارد پیشنهاد نمود. به نوعی هم ثابت کرد که هر پدیده طبیعی میتواند توسط روشهای زیاد ریاضی توضیح داده شود.

خفری در ابتدای تفسیر خود صریحاً ذکر می کند که وی از اصطلاحات جرجانی در موضوعات خاصی استفاده می کند ، اگرچه او کار اصلی خود را نیز معرفی می کند. راه حل او برای ماه ، مانند مدل اصلی بطلمیوس ، شامل اختلاف مسافت ماه است که قبلاً توسط الشاطر ثابت شده بود.

منتهی الإدراک (درک نهایی نجوم)

کتابی است در هیأت که پس از التكملة نوشته شده است. مبنای اصلی این کتاب التحفة الشاهية قطب‌الدین شیرازی است.

حل ما لا ینحال

رساله‌ای در نجوم است که در آن به مسائل نجوم نظری پرداخته شده است.

بر پایهٔ داده‌هایی در: احمد خفری، شمس‌الدین محمد، تعلیقه بر الهیات شرح تجرید ملا علی قوشچی، مقدمه و تصحیح فیروزهٔ ساعتچیان، تهران: میراث مکتوب، ۱۳۸۲خ. ص۱۴–۱۱.