|
|
| (27 intermediate revisions by one other user not shown) |
| Line 1: |
Line 1: |
| − | This is a list of automatically classified LaTeX files. You can manually edit this list.
| + | '''Project started in April 2019.''' |
| | | | |
| − | == List ==
| + | Quoting from [[Talk:EoM:This project|EoM talk]]: |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130010/a13001011.png" /> : $$ (confidence 0)
| + | "This project is based on an electronic version of the 'Encyclopaedia of Mathematics', published by Kluwer Academic Publishers until 2003, and by Springer after that. The encyclopaedia goes back to the Soviet Matematicheskaya entsiklopediya (1977), originally edited by Ivan Matveevich Vinogradov. The electronic version had its formulae written in TEX, which were saved as png images. On its way through the various publishers the original TEX source code was lost, therefore, to edit a formula in one of these original pages requires to retype the code for that formula from scratch. |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130010/a13001017.png" /> : $$ (confidence 0)
| + | |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130010/a13001019.png" /> : $$ (confidence 0)
| + | For the project, it will be of big help to transcribe the old pages. To make this easy, it was decided to use MathJax, which allows to use Plain TEX |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130010/a1300102.png" /> : $$ (confidence 0)
| + | or LATEX for formulae encoding. " |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130010/a13001020.png" /> : $$ (confidence 0)
| + | |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130010/a1300103.png" /> : $( - ) ^ { * } : C ^ { 0 p } \rightarrow C$ (confidence 0.2558360957702055)
| + | Currently, there are about 270'000 images of formulas whose LaTeX source code has been lost. Many of these images are duplicates (see [[User:Maximilian Janisch/latexlist/duplicates]]), making classification easier. There are services such as [https://www.mathpix.com Mathpix] which automatically transform the images back to TEX code. However, these translations are not infallible (see [[User:Maximilian Janisch/latexlist/latex]]). |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130010/a1300104.png" /> : $d ( A , B ) : B ^ { A } \cong A ^ { * } B ^ { * }$ (confidence 0.7513806030787462)
| + | |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130010/a1300105.png" /> : $$ (confidence 0.11977224303966238)
| + | Currently, I have classified all 270'125 images of this Encyclopedia into 103'285 classes of duplicates (some images appear hundreds of times, others just once). My goal is to translate the 103'285 images back to TEX code (remark: some of the images are not formulas but graphics of other types, so I won't re-encode those of course) with the help of Mathpix, and then replace them by the TEX code in the corresponding articles. |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130010/a1300106.png" /> : $$ (confidence 0)
| + | |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130010/a1300107.png" /> : $A , B , C \in C$ (confidence 0.9874941305418984)
| + | '''Added March 2020:''' [[User:Ulf_Rehmann|Ulf Rehmann]] found the original Nroff codes for about four fifths of the non-texified articles. They can be translated to LaTeX automatically with very few to no errors. So we are left with only about 60'000 formulas or 23'000 classes of images to translate back "manually". |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115024.png" /> : $F \Phi = \Psi$ (confidence 0.4805759882593679)
| + | |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115025.png" /> : $r$ (confidence 0.12389555304878641)
| + | '''Added July 2020:''' The correction of the translations of the 23'000 classes were finished. Consequently, 630 articles were retexified (see below). Additionally, 3400 articles were retexified by Ulf using the Nroffs. |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115026.png" /> : $\Phi \rightarrow \Psi$ (confidence 0.7790935007842552)
| + | |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115027.png" /> : $F ^ { \prime }$ (confidence 0.11142785371739461)
| + | '''Added June 2021:''' After the translation, there remained [https://encyclopediaofmath.org/index.php?title=User:Maximilian_Janisch/latexlist/texified&oldid=50862 36 articles] that were still to texify. Thanks to further manual texifications by [[User:Redactedentity]], there are currently only 9 articles left that need to be texified. |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115029.png" /> : $t$ (confidence 0.5074253082275391)
| + | |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115030.png" /> : $$ (confidence 0)
| + | == Texified articles == |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115033.png" /> : $F ( f ^ { * } g ) = F f . F g$ (confidence 0.6819218234974772)
| + | See [[User:Maximilian Janisch/latexlist/texified]]. |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115034.png" /> : $F ( D ^ { \alpha } f ) = ( i x ) ^ { \alpha } F f$ (confidence 0.7705838634334625)
| + | |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115035.png" /> : $L _ { p } ( R ^ { n } )$ (confidence 0.8757486845276239)
| + | == Classified images == |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115036.png" /> : $\leq p \leq 2$ (confidence 0.27530124031725317)
| + | See [[User:Maximilian Janisch/latexlist/latex]] |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115037.png" /> : $r$ (confidence 0.12389555304878641)
| + | |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115038.png" /> : $D _ { F } = ( L _ { 1 } \cap L _ { p } ) ( R ^ { n } )$ (confidence 0.26241861040115294)
| + | == Classified Duplicates == |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115039.png" /> : $L _ { p } ( R ^ { n } )$ (confidence 0.8757486845276239)
| + | See [[User:Maximilian Janisch/latexlist/duplicates]] |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115040.png" /> : $L _ { \varphi } ( R ^ { n } )$ (confidence 0.2310629780771597)
| + | |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115041.png" /> : $p ^ { - 1 } + q ^ { - 1 } = 1$ (confidence 0.9973485092235681)
| + | == Algebraic Groups == |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115043.png" /> : $r$ (confidence 0.12389555304878641)
| + | See [[User:Maximilian Janisch/latexlist/Algebraic Groups]] |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115045.png" /> : $1 < p \leq 2$ (confidence 0.9964472555859636)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115046.png" /> : $$ (confidence 0)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115048.png" /> : $p \neq 2$ (confidence 0.9978736607221192)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115049.png" /> : $x$ (confidence 0.12837346605452638)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115050.png" /> : $r$ (confidence 0.12389555304878641)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115051.png" /> : $x$ (confidence 0.33397466109307317)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115052.png" /> : $F L _ { p } \subset l _ { q }$ (confidence 0.4314001351435635)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115053.png" /> : $\leq p < 2$ (confidence 0.3140245219383027)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115055.png" /> : $F ^ { \prime }$ (confidence 0.11142785371739461)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115056.png" /> : $F L y$ (confidence 0.9421360432265639)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115057.png" /> : $( F ^ { - 1 } \tilde { f } ) = \operatorname { lim } _ { R \rightarrow \infty } \frac { 1 } { ( 2 \pi ) ^ { n / 2 } } \int _ { | \xi | < R } \tilde { f } ( \xi ) e ^ { i \xi x } d \xi , \quad 1 < p \leq 2$ (confidence 0.16566260709655076)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115058.png" /> : $x = ( x _ { 1 } , \ldots , x _ { n } )$ (confidence 0.08374742170778082)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115059.png" /> : $\xi = ( \xi _ { 1 } , \ldots , \xi _ { n } )$ (confidence 0.529109226067534)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115060.png" /> : $x$ (confidence 0.6640530313855136)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115061.png" /> : $\sum _ { i = 1 } ^ { 8 } x _ { i } \xi$ (confidence 0.11581139252073573)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115062.png" /> : $( 1 / 2 \pi ) ^ { n / 2 }$ (confidence 0.9994450835812325)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115063.png" /> : $$ (confidence 0)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115064.png" /> : $$ (confidence 0)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115065.png" /> : $\beta = ( 1 / 2 \pi ) ^ { x }$ (confidence 0.9130163734938249)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115066.png" /> : $( F \phi ) ( x ) = \int _ { R ^ { n } } \phi ( \xi ) e ^ { - i x \cdot \xi } d \xi$ (confidence 0.3057988248146818)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115067.png" /> : $( F ^ { - 1 } \phi ) ( x ) = \frac { 1 } { ( 2 \pi ) ^ { n } } \int _ { R ^ { n } } \phi ( \xi ) e ^ { i x . \xi } d \xi$ (confidence 0.5024619621936454)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115068.png" /> : $( F \phi ) ( x ) = \int _ { R ^ { n } } \phi ( \xi ) e ^ { - 2 \pi i x . \xi } d \xi$ (confidence 0.15634412476601953)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115069.png" /> : $( F ^ { - 1 } \phi ) ( x ) = \int _ { R ^ { n } } \phi ( \xi ) e ^ { 2 \pi i x . \xi } d \xi$ (confidence 0.08016216799456224)
| |
| − | <img src ="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041150/f04115070.png" /> : $L _ { 2 } ( R ^ { * } )$ (confidence 0.3347255664604998)
| |
Project started in April 2019.
Quoting from EoM talk:
"This project is based on an electronic version of the 'Encyclopaedia of Mathematics', published by Kluwer Academic Publishers until 2003, and by Springer after that. The encyclopaedia goes back to the Soviet Matematicheskaya entsiklopediya (1977), originally edited by Ivan Matveevich Vinogradov. The electronic version had its formulae written in TEX, which were saved as png images. On its way through the various publishers the original TEX source code was lost, therefore, to edit a formula in one of these original pages requires to retype the code for that formula from scratch.
For the project, it will be of big help to transcribe the old pages. To make this easy, it was decided to use MathJax, which allows to use Plain TEX
or LATEX for formulae encoding. "
Currently, there are about 270'000 images of formulas whose LaTeX source code has been lost. Many of these images are duplicates (see User:Maximilian Janisch/latexlist/duplicates), making classification easier. There are services such as Mathpix which automatically transform the images back to TEX code. However, these translations are not infallible (see User:Maximilian Janisch/latexlist/latex).
Currently, I have classified all 270'125 images of this Encyclopedia into 103'285 classes of duplicates (some images appear hundreds of times, others just once). My goal is to translate the 103'285 images back to TEX code (remark: some of the images are not formulas but graphics of other types, so I won't re-encode those of course) with the help of Mathpix, and then replace them by the TEX code in the corresponding articles.
Added March 2020: Ulf Rehmann found the original Nroff codes for about four fifths of the non-texified articles. They can be translated to LaTeX automatically with very few to no errors. So we are left with only about 60'000 formulas or 23'000 classes of images to translate back "manually".
Added July 2020: The correction of the translations of the 23'000 classes were finished. Consequently, 630 articles were retexified (see below). Additionally, 3400 articles were retexified by Ulf using the Nroffs.
Added June 2021: After the translation, there remained 36 articles that were still to texify. Thanks to further manual texifications by User:Redactedentity, there are currently only 9 articles left that need to be texified.
Texified articles
See User:Maximilian Janisch/latexlist/texified.
Classified images
See User:Maximilian Janisch/latexlist/latex
Classified Duplicates
See User:Maximilian Janisch/latexlist/duplicates
Algebraic Groups
See User:Maximilian Janisch/latexlist/Algebraic Groups