لغة الترميز الرياضية

لغة الترميز الرياضية هي تدوين حاسوبي لتمثيل الصيغ الرياضية ، استنادًا إلى التدوين الرياضي . لغات الترميز المتخصصة ضرورية لأن أجهزة الكمبيوتر تتعامل عادةً مع نص خطي ومجموعات أحرف أكثر محدودية (على الرغم من أن الدعم المتزايد لـ Unicode يجعل الاستخدامات البسيطة للغاية قديمة). تسمح قواعد النحو الموحدة رسميًا أيضًا لجهاز الكمبيوتر بتفسير محتوى غامض بخلاف ذلك، للرسم أو حتى التقييم. بالنسبة لقواعد النحو القابلة للتفسير بواسطة الكمبيوتر، فإن الأكثر شيوعًا هي TeX / LaTeX و MathML (لغة الترميز الرياضية) و OpenMath و OMDoc .

تشمل اللغات الشائعة لإدخال البيانات بواسطة البشر والتفسير بواسطة أجهزة الكمبيوتر TeX ^[1] / LaTeX ^[2] و eqn . ^[3]

تحتوي أنظمة الجبر الحاسوبية مثل Macsyma ، وMathematica ( لغة Wolfram )، و Maple ، و MATLAB على قواعدها النحوية الخاصة.

عندما يكون الغرض هو التواصل غير الرسمي مع البشر الآخرين، فإن بناء الجملة غالبًا ما يكون مخصصًا، ويُطلق عليه أحيانًا "تدوين رياضيات ASCII". يستخدم الأكاديميون أحيانًا بناء الجملة بناءً على TeX بسبب معرفتهم به من كتابة الأوراق البحثية. قد يستخدم أولئك المعتادون على لغات البرمجة أيضًا اختصارات مثل "!" لـ . قد تستخدم صفحات الويب أيضًا قدرًا محدودًا من HTML لوضع علامة على مجموعة فرعية صغيرة، على سبيل المثال، الكتابة العلوية . ^[4] يتطلب بناء الجملة المخصص سياقًا لتفسير بناء الجملة الغامض، على سبيل المثال "<=" يمكن أن يكون "يُستدل عليه" أو "أقل من أو يساوي"، ومن المرجح أن يشير "dy/dx" إلى مشتق ، ولكن بالمعنى الدقيق للكلمة يمكن أن يعني أيضًا كمية محدودة dy مقسومة على dx . ${\displaystyle \neg }$

يعمل Unicode على تحسين الدعم للرياضيات، مقارنةً بـ ASCII فقط. ^{[5] [6]}

تكس	معادلة	ASCII مخصص	Unicode مخصص	صيغة
$a^2$	سوب 2	أ^2	أ²	${\displaystyle a^{2}}$
$\sum_{k=1}^N k^2 $	المجموع من { k = 1 } إلى N { k sup 2 }	المجموع_{k=1}^N k^2	Σ_{k=1}^N k²	${\displaystyle \sum _{k=1}^{N}k^{2}}$
$\neg (a > 2) \Rightarrow a \le 2$	neg (a > 2) ارسم a <= 2	!(أ > 2) => أ <= 2	¬(أ > 2) ⇒ أ ≤ 2	${\displaystyle \neg (a>2)\Rightarrow a\leq 2}$

تشمل لغات الترميز المحسّنة للتواصل بين أجهزة الكمبيوتر MathML ، ^{[7] و} OpenMath ، و OMDoc . وقد صُممت هذه اللغات من أجل الوضوح وسهولة التحليل وتقليل الغموض، على حساب الإسهاب. ومع ذلك، فإن الإسهاب يجعلها أكثر صعوبة بالنسبة للبشر للكتابة مباشرة. ^[7]

هناك العديد من أدوات الإدخال والتقديم والتحويل.

كان برنامج مايكروسوفت وورد يتضمن محرر المعادلات ، وهو إصدار محدود من MathType ، حتى عام 2007. يسمح هذا بإدخال الصيغ باستخدام واجهة مستخدم رسومية ، وتحويلها إلى لغات ترميز قياسية مثل MathML. مع إصدار مايكروسوفت لبرنامج Microsoft Office 2007 وتنسيقات ملفات Office Open XML ، قدمت محرر معادلات جديد يستخدم تنسيقًا جديدًا، "لغة ترميز الرياضيات Office" (OMML). أدى الافتقار إلى التوافق إلى رفض بعض المجلات العلمية المرموقة قبول المخطوطات التي تم إنتاجها باستخدام Microsoft Office 2007. [ ^{8] [9]}

SciWriter هي واجهة مستخدم رسومية أخرى يمكنها إنشاء MathML وLaTeX. ^[10]

ASCIIMathML ، وهو برنامج JavaScript ، يمكنه تحويل تدوين ASCII المخصص إلى MathML. ^[11]

• مساعد الإثبات
• دليل رسمي
• قائمة لغات ترميز المستندات
• مقارنة بين لغات ترميز المستندات

• الموقع الرسمي لـ MathML