المبرهن

• The Charter Mark was an award demonstrating the achievement of national standard for excellence in customer service in United Kingdom public sector organisations.
  يعتبر "ميثاق مارك" الجائزة المبرهنة على تحقيق المعيار الوطني للتميز في خدمة العملاء في مؤسسات القطاع العام في المملكة المتحدة.
• The theorem was proved by Hermann Minkowski in 1889 and became the foundation of the branch of number theory called the geometry of numbers.
  بُرهن على هاته المبرهنة من طرف هيرمان مينكوفسكي عام 1889، فصارت أساس فرع من فروع نظرية الأعداد هو هندسة الأعداد.
• The fact that a complex solution always exists is the fundamental theorem of algebra, which was proved only at the beginning of the 19th century and does not have a purely algebraic proof.
  لم يتم إثبات أنه يوجد حل مركب دائماً لأي معادلة وهي نتيجة المبرهنة الأساسية في الجبر، إلى في بدايات القرن التاسع عشر والتي لا يوجد لها حل جبري خالص.
• Modern Galois theory generalizes the above type of Galois groups to field extensions and establishes—via the fundamental theorem of Galois theory—a precise relationship between fields and groups, underlining once again the ubiquity of groups in mathematics.
  تعمم نظرية غالوا الحديثة هذا النوع من زمر غالوا المذكور أعلاه إلى امتدادات حقول وتضع—عن طريق المبرهنة الأساسية في نظرية غالوا—علاقة دقيقة بين الحقول والزمر، مما يؤكد مجددًا انتشار الزمر في فروع الرياضيات الأخرى.
• "Exact security" or "concrete security" is the name given to provable security reductions where one quantifies security by computing precise bounds on computational effort, rather than an asymptotic bound which is guaranteed to hold for "sufficiently large" values of the security parameter.
  "الأمن المحدد" أو "الأمن الملموس" هو الاسم الذي يُعطى للاختزالات الأمنية المبرهنة حيث يقوم المرء بتحديد مقدار الأمن عن طريق حساب الحدود الدقيقة على أساس جهد حسابي، وليس على أساس حد مقارب يكون مكفولاً لقيم "كبيرة على نحو كافٍ" خاصة بـ معلمة الأمن.