Matematický značkovací jazyk - Mathematical markup language
Matematický značkovací jazyk je počítačový zápis pro reprezentovat matematické vzorce , založené na matematickém zápisu . Specializované značkovací jazyky jsou nezbytné, protože počítače se obvykle zabývají lineárním textem a omezenějšími znakovými sadami (i když zvyšující se podpora Unicode je zastaralá velmi jednoduchá použití). Formálně standardizovaná syntaxe také umožňuje počítači interpretovat jinak nejednoznačný obsah pro vykreslení nebo dokonce vyhodnocení. Z počítačově interpretovatelných syntaxí jsou nejoblíbenější TeX / LaTeX a MathML (Mathematical Markup Language).
Obsah
Zápisy pro vstup člověka
Mezi oblíbené jazyky pro vstup lidí a interpretaci pomocí počítačů patří TeX / LaTeX a ekv .
Systémy počítačové algebry, jako jsou Macsyma , Mathematica ( jazyk Wolfram ), Maple a MATLAB, mají svou vlastní syntaxi.
Pokud je účelem neformální komunikace s jinými lidmi, je syntaxe často ad hoc, někdy se jí říká „matematická notace ASCII“. Akademici někdy používají syntaxi založenou na TeXu, protože ji dobře znají z písemných prací. Ti, kdo používají programovací jazyky, mohou také používat zkratky jako „!“ pro . Webové stránky mohou také použít omezené množství kódu HTML k označení malé podmnožiny, například horního indexu . Syntaxe ad hoc vyžaduje kontext k interpretaci nejednoznačné syntaxe, například „<=“ could be “je implikováno„ nebo “menší nebo rovno„ a „dy / dx“ pravděpodobně označuje derivát , ale přísně vzato by také znamená konečné množství dy děleno dx .
Příklady
TeX ekv ad hoc ASCII ad hoc Unicode vzorec $a^2$sup 2 a ^ 2 a² $\sum_{k=1}^N k^2 $součet od {k = 1} do N {k sup 2} součet_ {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
Značkovací jazyky pro počítačovou výměnu
Značkovací jazyky optimalizované pro komunikaci počítače s počítačem patří MathML , OpenMath a OMDoc . Jsou navrženy pro jasnost, parseabilitu a minimalizaci nejednoznačnosti za cenu výřečnosti. Díky výřečnosti jsou však pro lidi nemotornější psát přímo.
Konverze
Existuje mnoho nástrojů pro zadávání, vykreslování a převod.
Microsoft Word zahrnoval Editor rovnic , omezenou verzi MathType , do roku 2007. Umožňují zadávání vzorců pomocí grafického uživatelského rozhraní a převod na standardní značkovací jazyky, jako je MathML. S vydáním Microsoft Office 2007 a formátů souborů Office Open XML představili Microsoft nový editor rovnic, který používá nový formát „Office Math Markup Language“ (OMML). Nedostatek kompatibility vedl některé prestižní vědecké časopisy k odmítnutí přijímat rukopisy, které byly vytvořeny pomocí Microsoft Office 2007 .
SciWriter je další grafické uživatelské rozhraní, které může generovat MathML a LaTeX.
Program ASCIIMathML , JavaScript , může převádět ad hoc ASCII notaci na MathML.