علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
رساله شرفیه
اون رایت استاد موسیقی‌شنناسی خاورمیانه در دانشگاه لندن، از دوره‌ای که ارموی در آن می‌زیست با عبارت «مهم‌ترین دوره در تاریخ موسیقی ایرانی و عربی» یاد کرده‌است. صفی‌الدین که در این زمان در بغداد می‌زیست سبکی از توصیف نظری موسیقی را ارائه کرد که بعدها به «مکتب منتظمیه» معروف شد. مکتب منتظمیه نامی است که به گروهی از نظریه‌پردازان موسیقی این دوره داده می‌شود؛ عبدالقادر مراغی و قطب‌الدین شیرازی از دیگر نظریه‌پردازان این مکتب بوده‌اند. اصطلاح مکتب منتظمیه در منابع کهن شرقی اعم از عربی، ترکی یا فارسی دیده نمی‌شود بلکه ترجمه‌ایست بر عبارت "Systematist School" که محققان غربی برای نامیدن این مکتب به کار می‌برده‌اند. تا پیش از شکل‌گیری مکتب منتظمیه، توصیف نظری موسیقی بر اساس روشی صورت می‌گرفت که فارابی در "کتاب موسیقی کبیر" تعریف کرده بود و بعدتر دانشمندان دیگر از جمله ابن سینا آن را (در کتاب "شفا") شرح و گسترش داده بودند.