La kompostada sistemo \(\TeX\) estis disvolvita en 1977 de la legenda Donald E. Knuth . La programaro \(\LaTeX\) ankoraŭ estas parto de la norma repertuaro dum kreado de sciencaj artikoloj. Kun la jenaj du iloj, jam generitaj PDF-oj kaj manskribitaj notoj povas esti konvertitaj plene aŭtomate en TeX. La rezultoj estas tre esperigaj.
La unua ilo, Mathpix , nuntempe ĝuas veran ekzaltiĝon en sociaj retoj. Ĝi specialiĝas pri konvertado de individuaj formuloj. Parto de la nuna ekrano povas esti reliefigita kaj konvertita per klavokombino. La programo provizas plurajn eblajn solvojn kun takso de la precizeco. Mi provis ĉi tion per formulo de la Flava Libro Ethereum:
$$n(\mathfrak{I}, i) \equiv \left\{\begin{array}{ll}{( )} & {\text { if } \quad \mathfrak{I}=\varnothing} \\ {c(\mathfrak{J}, i)} & {\text { if } \quad|c(\mathfrak{I}, i)|<32} \\ {\operatorname{KEC}(c(\mathfrak{I}, i))} & {\text { otherwise }}\end{array}\right.$$
La dua ilo, InfinityReader, ekzistas jam preskaŭ 15 jarojn. Ĉi tiu iom malmoderna programo povas konverti tutajn dokumentojn (la senpaga prova versio permesas provi unu paĝon). Ĝi ankaŭ povas esti aŭtomatigita per la komandlinio kaj pritraktas multajn enigajn dosierformatojn, inkluzive de la eligo de MathML . La ekzemplo supre funkcias iomete pli malbone en ĉi tiu rilato.:
$$n(\mathrm{I},\ i)\equiv \left\{ \begin{array}{ll} () & \mathrm{i}\mathrm{f}\ \mathrm{I}=\emptyset\\ c(\mathrm{I},\ i) & \mathrm{i}\mathrm{f}\ \Vert c(\mathrm{I},\ i\ <32\\ \mathrm{K}\mathrm{E}\mathrm{C}(c(\mathrm{I},\ i)) & \mathrm{o}\mathrm{t}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{w}\mathrm{i}\mathrm{s}\mathrm{e} \end{array} \right.$$
Ĉi tiuj iloj simpligas la tajpadon bezonatan por rapide konverti formulojn kaj dokumentojn. Tamen, mana korektado ankoraŭ necesas en la plej multaj kazoj. Ni finas per citaĵo de Donald E. Knuth: "Mia ĝenerala laborstilo estas skribi ĉion unue per krajono kaj papero, sidante apud granda rubujo. Poste mi uzas Emacs por enigi la tekston en mian maŝinon."