مبرهنة بيكار ليندلوف
تعتبر مبرهنة بيكار ليندلوف إلى جانب مبرهنة بيانو أحد المبرهنات الرئيسية في الرياضيات في مجال المعادلات التفاضلية.يبدو أن المبرهنة نشرت لأول مرة سنة 1890 من قبل الرياضياتي الفينلاندي أرنست ليونارد ليندلوف Ernst Leonard Lindelöf في مقال يتعلق بقابلية المعادلات التفاضلية للحل. في نفس الفترة كان العالم والرياضياتي شارل إيميل بيكارد يدرس خوارزميات حلول تقريبية للمعادلات التفاضلية الشيء الذي أفرز عن خوارزمية بيكارد التكرارية التي تعتمد لبرهنة مبرهنة بيكار ليندلوف.