Ngonversi PDF menyang LaTeX


Sistem typetting \(\TeX\) dikembangake ing taun 1977 dening legendaris Donald E. Knuth . Paket piranti lunak \(\LaTeX\) isih kalebu bagean saka repertoar standar nalika nggawe makalah ilmiah. Kanthi rong alat ing ngisor iki, PDF sing wis digawe lan cathetan tangan bisa diowahi kanthi otomatis dadi TeX. Asil kasebut janjeni banget.


Alat pertama, Mathpix , saiki lagi seneng banget ing media sosial. Khusus kanggo ngowahi formula individu. Sisih layar saiki bisa disorot lan dikonversi nganggo kombinasi tombol. Program kasebut nyedhiyakake sawetara solusi sing bisa ditindakake kanthi penilaian akurasi. Aku nyoba iki nggunakake formula saka Kertas Kuning 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.$$

Piranti kapindho, InfinityReader, wis ana meh 15 taun. Program sing rada ketinggalan jaman iki bisa ngonversi kabeh dokumen (versi uji coba gratis ngidini sampeyan nyoba siji kaca). Piranti iki uga bisa diotomatisasi saka baris printah lan nangani macem-macem format file input, kalebu output MathML . Conto ing ndhuwur nduweni kinerja sing rada elek ing babagan iki.:

$$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.$$

Piranti kasebut nggawe ngetik luwih gampang kanggo ngowahi rumus lan dokumen kanthi cepet. Nanging, ing sawetara kasus, sampeyan ora bisa ngindhari koreksi manual. We nutup karo Kutipan saka Donald E. Knuth: "Gaya kerja umum kanggo nulis kabeh pisanan karo potlot lan kertas, lungguh ing jejere basket uwuh gedhe. Banjur aku nggunakake Emacs kanggo ngetik teks menyang mesin."

Bali