ภาษามาร์กอัปทางคณิตศาสตร์เป็นสัญลักษณ์ทางคอมพิวเตอร์สำหรับแสดงสูตรทางคณิตศาสตร์โดยอิงจากสัญลักษณ์ทางคณิตศาสตร์ภาษามาร์กอัปเฉพาะทางมีความจำเป็นเนื่องจากคอมพิวเตอร์โดยปกติจะจัดการกับข้อความเชิงเส้นและชุดอักขระที่จำกัดกว่า (แม้ว่าการสนับสนุนUnicode ที่เพิ่มขึ้น จะทำให้การใช้งานแบบง่ายๆ บางอย่างล้าสมัยไปแล้วก็ตาม) ไวยากรณ์ที่เป็นมาตรฐานอย่างเป็นทางการยังช่วยให้คอมพิวเตอร์สามารถตีความเนื้อหาที่คลุมเครือได้ เพื่อการแสดงผลหรือแม้แต่การประเมินผล สำหรับไวยากรณ์ที่คอมพิวเตอร์สามารถตีความได้นั้น ภาษาที่ได้รับความนิยมมากที่สุด ได้แก่TeX / LaTeX , MathML ( Mathematical Markup Language), OpenMathและOMDoc

ภาษาที่นิยม ใช้ในการป้อนข้อมูลโดยมนุษย์และการตีความโดยคอมพิวเตอร์ ได้แก่TeX ^{[ 1 ]} / LaTeX ^{[ 2 ]}และeqn ^{[ 3 ]}

ระบบพีชคณิตคอมพิวเตอร์เช่นMacsyma , Mathematica ( Wolfram Language ), MapleและMATLABต่างก็มีไวยากรณ์เฉพาะของตนเอง

เมื่อจุดประสงค์คือการสื่อสารอย่างไม่เป็นทางการกับมนุษย์ด้วยกัน ไวยากรณ์มักจะเป็นแบบเฉพาะกิจ บางครั้งเรียกว่า "สัญกรณ์คณิตศาสตร์ ASCII" นักวิชาการบางครั้งใช้ไวยากรณ์ตาม TeX เนื่องจากคุ้นเคยกับการเขียนบทความ ผู้ที่คุ้นเคยกับภาษาโปรแกรมอาจใช้ตัวย่อเช่น "!" สำหรับ หน้าเว็บอาจใช้ HTMLในปริมาณจำกัดเพื่อทำเครื่องหมายส่วนย่อยเล็กๆ เช่นการใช้ตัวยก [ ^{4 ] ไวยากรณ์} เฉพาะกิจต้องอาศัยบริบทในการตีความไวยากรณ์ที่คลุมเครือ ตัวอย่างเช่น "<=" อาจหมายถึง "ถูกบ่งชี้โดย" หรือ "น้อยกว่าหรือเท่ากับ" และ "dy/dx" มักจะหมายถึงอนุพันธ์แต่ในเชิงเคร่งครัดแล้วอาจหมายถึงปริมาณจำกัดdyหารด้วยdxก็ได้ ${\displaystyle \neg }$

Unicodeช่วยปรับปรุงการสนับสนุนทางคณิตศาสตร์ เมื่อเทียบกับ ASCII เพียงอย่างเดียว^{[ 5 ] [ 6 ]}

เท็กซ์	สมการ	ASCII เฉพาะกิจ	ยูนิโค้ดเฉพาะกิจ	สูตร
$a^2$	ซุป 2	a^2	อะ²	${\displaystyle a^{2}}$
$\sum_{k=1}^N k^2$	ผลรวมจาก { k = 1 } ถึง N { k sup 2 }	sum_{k=1}^N k^2	Σ_{k=1}^N k²	${\displaystyle \sum _{k=1}^{N}k^{2}}$
$\neg(a > 2)\Rightarrow a \le2$	neg (a > 2) drarrow a <= 2	!(a > 2) => a <= 2	¬(a > 2) ⇒ a ≤ 2	${\displaystyle \neg (a>2)\Rightarrow a\leq 2}$

ภาษามาร์กอัปที่ปรับให้เหมาะสมสำหรับการสื่อสารระหว่างคอมพิวเตอร์ ได้แก่MathML [ ^{7 ]} OpenMathและOMDoc ภาษาเหล่านี้ได้รับการออกแบบมาเพื่อความชัดเจน ความสามารถในการแยกวิเคราะห์ และลดความกำกวม ^ให้ น้อยที่สุด โดยแลกมาด้วยการใช้คำที่มากขึ้น อย่างไรก็ตาม การใช้คำที่มากขึ้นทำให้มนุษย์พิมพ์โดยตรงได้ยากขึ้น^{[ 7 ]}

มีเครื่องมือป้อนข้อมูล แสดงผล และแปลงข้อมูลมากมาย

Microsoft Word มีโปรแกรมแก้ไขสมการซึ่งเป็นเวอร์ชันจำกัดของMathTypeจนถึงปี 2007 โปรแกรมนี้อนุญาตให้ป้อนสูตรโดยใช้ส่วนติดต่อผู้ใช้แบบกราฟิกและแปลงเป็นภาษามาร์กอัปมาตรฐาน เช่น MathML เมื่อ Microsoft เปิดตัวMicrosoft Office 2007และรูปแบบไฟล์ Office Open XMLพวกเขาได้แนะนำโปรแกรมแก้ไขสมการใหม่ซึ่งใช้รูปแบบใหม่คือ "Office Math Markup Language" (OMML) การขาดความเข้ากันได้ทำให้วารสารวิทยาศาสตร์ที่มีชื่อเสียงบางแห่งปฏิเสธที่จะรับต้นฉบับที่สร้างขึ้นโดยใช้Microsoft Office 2007 ^{[ 8 ] [ 9 ]}

SciWriter เป็น GUI อีกตัวหนึ่งที่สามารถสร้าง MathML และ LaTeX ได้^{[ 10 ]}

ASCIIMathMLซึ่งเป็น โปรแกรม JavaScriptสามารถแปลงสัญกรณ์ ASCII เฉพาะกิจเป็น MathML ได้^{[ 11 ]}

• ผู้ช่วยพิสูจน์อักษร
• หลักฐานที่เป็นทางการ
• รายชื่อภาษามาร์กอัปเอกสาร
• การเปรียบเทียบภาษาการทำเครื่องหมายเอกสาร
• การเปรียบเทียบโปรแกรมแก้ไขข้อความ TeX

• เว็บไซต์อย่างเป็นทางการของ MathML