Matematiskt märkningsspråk
Ett matematiskt märkningsspråk är en datornotation för att representera matematiska formler , baserad på matematisk notation . Specialiserade märkningsspråk är nödvändiga eftersom datorer normalt hanterar linjär text och mer begränsade teckenuppsättningar (även om ökat stöd för Unicode är föråldrat med mycket enkel användning). En formellt standardiserad syntax tillåter också en dator att tolka annat tvetydigt innehåll, för att rendera eller till och med utvärdera. För datortolkbara syntaxer är de mest populära TeX / LaTeX och MathML (Mathematical Markup Language).
Notationer för mänsklig input
Populära språk för inmatning av människor och tolkning av datorer inkluderar TeX / LaTeX och eqn .
Datoralgebrasystem som Macsyma , Mathematica ( Wolfram Language ), Maple och MATLAB har var sin syntax.
När syftet är informell kommunikation med andra människor, är syntaxen ofta ad hoc, ibland kallad "ASCII math notation". Akademiker använder ibland syntax baserad på TeX på grund av förtrogenhet med det från att skriva uppsatser. De som är vana vid programmeringsspråk kan också använda förkortningar som "!" för . Webbsidor kan också använda en begränsad mängd HTML för att markera en liten delmängd, till exempel upphöjd . Ad hoc-syntax kräver kontext för att tolka tvetydig syntax, till exempel "<=" kan vara "antyds av" eller "mindre än eller lika med", och "dy/dx" betecknar sannolikt en derivata , men strängt taget kan också betyda en ändlig storhet dy dividerat med dx .
Unicode förbättrar stödet för matematik, jämfört med endast ASCII.
Exempel
TeX ekv ad hoc ASCII ad hoc Unicode formel $ a^ 2 $en sup 2 a^2 a² $ \sum _{k = 1 }^N k^ 2 $summa från { k = 1 } till N { k sup 2 } summa_{k=1}^N k^2 Σ_{k=1}^N k² $ \neg ( a > 2 ) \Högerpil a \le 2 $neg (a > 2) drar a <= 2 !(a > 2) => a <= 2 ¬(a > 2) ⇒ a ≤ 2
Markup-språk för datorutbyte
Markeringsspråk som är optimerade för dator-till-dator-kommunikation inkluderar MathML , OpenMath och OMDoc . Dessa är designade för tydlighet, tolkbarhet och för att minimera tvetydighet, till priset av utförlighet. Däremot gör verbositeten dem klumpigare för människor att skriva direkt.
Omvandling
Det finns många verktyg för inmatning, rendering och konvertering.
Microsoft Word inkluderade Equation Editor , en begränsad version av MathType , fram till 2007. Dessa gör det möjligt att ange formler med hjälp av ett grafiskt användargränssnitt och konvertera till standardspråk som MathML. Med Microsofts release av Microsoft Office 2007 och Office Open XML-filformaten introducerade de en ny ekvationsredigerare som använder ett nytt format, "Office Math Markup Language" (OMML). Bristen på kompatibilitet ledde till att vissa prestigefyllda vetenskapliga tidskrifter vägrade att acceptera manuskript som hade producerats med Microsoft Office 2007 .
SciWriter är ett annat GUI som kan generera MathML och LaTeX.
ASCIIMathML , ett JavaScript- program, kan konvertera ad hoc ASCII-notation till MathML.