Matematiksel işaretleme dili

Bir Matematiksel İşaretleme Dili, matematiksel notasyon temel alınarak matematiksel formülleri temsil etmek için kullanılan bir bilgisayar gösterimidir. Özel işaretleme dilleri gereklidir çünkü bilgisayarlar normalde doğrusal metin ve daha sınırlı karakter setleriyle uğraşır (Unicode için artan destek, çok basit kullanımları geçersiz kılsa da). Resmi olarak standartlaştırılmış bir sözdizimi, bilgisayarın başka türlü belirsiz olan içeriği yorumlamasına ve hatta değerlendirmesine de olanak tanır. Bilgisayar tarafından yorumlanabilir sözdizimleri için en popüler olanlar TeX/LaTeX, MathML (Matematiksel İşaretleme Dili), OpenMath ve OMDoc'tur.

 İnsan girdisi için gösterimler 
İnsanlar tarafından girilen ve bilgisayarlar tarafından yorumlanan popüler diller arasında TeXDonald E. Knuth. The TeXbook (Computers and Typesetting, Volume A). Reading, Massachusetts: Addison-Wesley, 1984. ./LaTeX ve eqnBrian W. Kernighan and Lorinda L. Cherry. A System for Typesetting Mathematics, Communications of the ACM 18 (1975), 151–157. bulunmaktadır.

Macsyma, Mathematica (Wolfram Language), Maple ve MATLAB gibi bilgisayarlı cebir sistemlerinin her birinin kendi sözdizimi vardır.

Amaç diğer insanlarla gayri resmi iletişim olduğunda, sözdizimi genellikle özeldir, bazen “ASCII matematik gösterimi” ("ASCII math notation") olarak adlandırılır. Akademisyenler bazen makale yazmaktan aşina oldukları için TeX tabanlı sözdizimi kullanırlar. Programlama diline alışkın olanlar  için "!" gibi kısaltmalar da kullanabilirler. Web sayfaları ayrıca üst simge gibi küçük bir alt kümeyi işaretlemek için sınırlı miktarda HTML kullanabilir. Ad hoc sözdizimi, belirsiz sözdizimini yorumlamak için bağlam gerektirir, örneğin "<=" "tarafından ima edilir" veya "daha az veya eşit" olabilir ve "dy/dx" muhtemelen bir türevi ifade eder, ancak kesin olarak konuşmak gerekirse, sonlu bir miktar dy bölü dx anlamına da gelebilir.

Unicode, yalnızca ASCII ile karşılaştırıldığında matematik desteğini geliştirir.

 Örnekler 
{| class="wikitable"
|- 
!TeX
!eqn
!ad hoc ASCII
!ad hoc Unicode
!Formül
|- 
|$a^2$
|a sup 2
|a^2
|a²
|
|-
|$\sum_{k=1}^N k^2 $
|sum from { k = 1 } to N { k sup 2 }
|sum_{k=1}^N k^2
|Σ_{k=1}^N k²
|
|-
|$\neg (a > 2) \Rightarrow a \le 2$
|neg (a > 2) drarrow a <= 2
|!(a > 2) => a <= 2
|¬(a > 2) ⇒ a ≤ 2
|
|}

 Bilgisayarlar arası veri değişimi için işaretleme dilleri 
Bilgisayardan bilgisayara iletişim için optimize edilmiş biçimlendirme dilleri arasında MathML, OpenMath ve OMDoc bulunur. Bunlar açıklık, ayrıştırılabilirlik ve belirsizliği en aza indirmek için tasarlanmıştır.  Bununla birlikte, ayrıntılar onları insanların doğrudan yazması için daha beceriksiz hale getirir.

 Dönüşüm 
Birçok girdi, işleme ve dönüştürme aracı mevcuttur.

Microsoft Word, 2007 yılına kadar MathType'ın sınırlı bir sürümü olan Equation Editor'ı içeriyordu. Bunlar bir grafiksel kullanıcı arayüzü kullanarak formül girmeye ve MathML gibi standart işaretleme dillerine dönüştürmeye izin verir. Microsoft'un Microsoft Office 2007 ve Office Open XML dosya formatlarını yayınlamasıyla birlikte, yeni bir format olan “Office Math Markup Language” (OMML) kullanan yeni bir denklem düzenleyicisi tanıttılar. Uyumluluk eksikliği bazı prestijli bilimsel dergilerin Microsoft Office 2007 kullanılarak üretilen makaleleri kabul etmemesine neden oldu.

SciWriter, MathML ve LaTeX oluşturabilen başka bir GUI'dir.

Bir JavaScript programı olan ASCIIMathML, geçici ASCII gösterimini MathML'ye dönüştürebilir.

Ayrıca bakınız
 Kanıt asistanı
 Biçimsel ispat
 Belge biçimlendirme dilleri listesi
 Belge biçimlendirme dilleri karşılaştırması

 Kaynakça 

 Dış bağlantılar 
 MathML official website

Kategori:İşaretleme dilleri