Matematyczny język znaczników

Matematyczny język znaczników to notacja komputerowa służąca do przedstawiania wzorów matematycznych , oparta na notacji matematycznej . Wyspecjalizowane języki znaczników są niezbędne, ponieważ komputery zwykle mają do czynienia z tekstem liniowym i bardziej ograniczonymi zestawami znaków (chociaż rosnąca obsługa Unicode powoduje, że bardzo proste zastosowania stają się przestarzałe). Formalnie ustandaryzowana składnia umożliwia również komputerowi interpretowanie niejednoznacznych treści w celu renderowania, a nawet oceny. W przypadku składni, które można interpretować komputerowo, najpopularniejsze to TeX / LaTeX i MathML (matematyczny język znaczników).

Notacje dla danych wprowadzanych przez człowieka

Popularne języki do wprowadzania danych przez ludzi i interpretacji przez komputery to TeX / LaTeX i eqn .

Systemy algebry komputerowej, takie jak Macsyma , Mathematica ( język Wolfram ), Maple i MATLAB , mają swoją własną składnię.

Kiedy celem jest nieformalna komunikacja z innymi ludźmi, składnia jest często ad hoc, czasami nazywana „notacją matematyczną ASCII”. Naukowcy czasami używają składni opartej na TeX-u ze względu na znajomość go z pisania artykułów. Osoby przyzwyczajone do języków programowania mogą również używać skrótów, takich jak „!” dla . Strony internetowe mogą również używać ograniczonej ilości kodu HTML do oznaczania małego podzbioru, na przykład indeksu górnego . Składnia ad hoc wymaga kontekstu, aby zinterpretować niejednoznaczną składnię, na przykład „<=” może być „implikowane przez” lub „mniejsze lub równe”, a „dy/dx” prawdopodobnie oznacza pochodną, ​​ale ściśle mówiąc może również oznacza skończoną ilość dy podzieloną przez dx .

Unicode poprawia obsługę matematyki w porównaniu z samym kodem ASCII.

Przykłady

TeX równ ad hoc ASCII doraźny Unicode formuła
$ a^ 2 $ poczęstunek 2 a^2
$ \sum _{k = 1 }^N k^ 2 $ suma od { k = 1 } do N { k sup 2 } suma_{k=1}^N k^2 Σ_{k=1}^N k²
$ \neg ( a > 2 ) \strzałka w prawo a \le 2 $ neg (a > 2) zakreśl a <= 2 !(a > 2) => a <= 2 ¬(a > 2) ⇒ a ≤ 2

Języki znaczników do wymiany komputerowej

Do języków znaczników zoptymalizowanych pod kątem komunikacji między komputerami należą MathML , OpenMath i OMDoc . Zostały one zaprojektowane z myślą o przejrzystości, parseability i zminimalizowaniu dwuznaczności, za cenę gadatliwości. Jednak gadatliwość czyni je bardziej niezdarnymi dla ludzi do bezpośredniego pisania.

Konwersja

Istnieje wiele narzędzi do wprowadzania danych, renderowania i konwersji.

Microsoft Word zawierał Edytor równań , ograniczoną wersję MathType , do 2007 roku. Umożliwiają one wprowadzanie formuł za pomocą graficznego interfejsu użytkownika i konwersję do standardowych języków znaczników, takich jak MathML. Wraz z wydaniem przez firmę Microsoft Microsoft Office 2007 i Office Open XML wprowadzono nowy edytor równań, który wykorzystuje nowy format „Office Math Markup Language” (OMML). Brak zgodności skłonił niektóre prestiżowe czasopisma naukowe do odmowy przyjęcia rękopisów, które zostały wyprodukowane przy użyciu MicrosoftOffice2007 .

SciWriter to kolejny GUI, który może generować MathML i LaTeX.

ASCIIMathML , program JavaScript , może konwertować ad hoc notację ASCII na MathML.

Zobacz też

Linki zewnętrzne