لغت نامه دهخدا
عمر حضرمی. [ ع ُ م َ رِ ح َرَ ] ( اِخ ) ابن احمد ( یا محمد ) بن تقی بن عبداﷲ حضرمی، مکنی به ابومسلم و مشهور به ابن خلدون. وی ریاضی دان، طبیب و از حکیمان اندلس و از اشراف اشبیلیة بوده است که به سال 449 هَ.ق. درگذشت. ( از اعلام زرکلی ).رجوع به ابن خلدون ( ابومسلم عمربن... ) و مآخذ ذیل شود: اخبار الحکماء ص 162 و طبقات الاطباء ج 2 ص 41.