Document (#42500)

Author

Greiner-Petter, A.
Schubotz, M.
Cohl, H.S.
Gipp, B.

Title

Semantic preserving bijective mappings for expressions involving special functions between computer algebra systems and document preparation systems

Source

Aslib journal of information management. 71(2019) no.3, S.415-439

Year

2019

Abstract

Purpose Modern mathematicians and scientists of math-related disciplines often use Document Preparation Systems (DPS) to write and Computer Algebra Systems (CAS) to calculate mathematical expressions. Usually, they translate the expressions manually between DPS and CAS. This process is time-consuming and error-prone. The purpose of this paper is to automate this translation. This paper uses Maple and Mathematica as the CAS, and LaTeX as the DPS. Design/methodology/approach Bruce Miller at the National Institute of Standards and Technology (NIST) developed a collection of special LaTeX macros that create links from mathematical symbols to their definitions in the NIST Digital Library of Mathematical Functions (DLMF). The authors are using these macros to perform rule-based translations between the formulae in the DLMF and CAS. Moreover, the authors develop software to ease the creation of new rules and to discover inconsistencies. Findings The authors created 396 mappings and translated 58.8 percent of DLMF formulae (2,405 expressions) successfully between Maple and DLMF. For a significant percentage, the special function definitions in Maple and the DLMF were different. An atomic symbol in one system maps to a composite expression in the other system. The translator was also successfully used for automatic verification of mathematical online compendia and CAS. The evaluation techniques discovered two errors in the DLMF and one defect in Maple. Originality/value This paper introduces the first translation tool for special functions between LaTeX and CAS. The approach improves error-prone manual translations and can be used to verify mathematical online compendia and CAS.

Content

Vgl.: https://doi.org/10.1108/AJIM-08-2018-0185. Vgl. auch: https://arxiv.org/pdf/1906.11485.pdf.

Footnote

Beitrag in einem Special Issue: Information Science in the German-speaking Countries.

Theme

Automatisches Indexieren

Field

Mathematik

Similar documents (author)

1. Greiner, G.: Allgemeine Ordnungslehre (1978) 5.87

   5.874302 = sum of:
     5.874302 = weight(author_txt:greiner in 191) [ClassicSimilarity], result of:
       5.874302 = fieldWeight in 191, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.398883 = idf(docFreq=9, maxDocs=44421)
         0.625 = fieldNorm(doc=191)
   

2. Greiner, G.: Intellektuelles und automatisches Klassifizieren (1981) 5.87

   5.874302 = sum of:
     5.874302 = weight(author_txt:greiner in 1102) [ClassicSimilarity], result of:
       5.874302 = fieldWeight in 1102, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.398883 = idf(docFreq=9, maxDocs=44421)
         0.625 = fieldNorm(doc=1102)
   

3. Greiner, G.: Sachliche Erschließung und Ordnung als Unterrichtsinhalt bei der dokumentarischen Aus- und Fortbildung (1986) 5.87

   5.874302 = sum of:
     5.874302 = weight(author_txt:greiner in 1547) [ClassicSimilarity], result of:
       5.874302 = fieldWeight in 1547, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.398883 = idf(docFreq=9, maxDocs=44421)
         0.625 = fieldNorm(doc=1547)
   

4. Greiner, G.: Übungen zur Inhaltserschließung im Rahmen der dokumentarischen Aus- und Fortbildung (1989) 5.87

   5.874302 = sum of:
     5.874302 = weight(author_txt:greiner in 1562) [ClassicSimilarity], result of:
       5.874302 = fieldWeight in 1562, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.398883 = idf(docFreq=9, maxDocs=44421)
         0.625 = fieldNorm(doc=1562)
   

5. Greiner, G.: Some reflections on teaching subject analysis in the field of documentation (1984) 5.87

   5.874302 = sum of:
     5.874302 = weight(author_txt:greiner in 1690) [ClassicSimilarity], result of:
       5.874302 = fieldWeight in 1690, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.398883 = idf(docFreq=9, maxDocs=44421)
         0.625 = fieldNorm(doc=1690)
   

Similar documents (content)

1. Grunwald, E.: Evolution and design inside and outside mathematics (2005) 0.11

   0.110583454 = sum of:
     0.110583454 = product of:
       0.4607644 = sum of:
         0.01242173 = weight(abstract_txt:paper in 594) [ClassicSimilarity], result of:
           0.01242173 = score(doc=594,freq=1.0), product of:
             0.057414804 = queryWeight, product of:
               1.1547146 = boost
               3.4616103 = idf(docFreq=3788, maxDocs=44421)
               0.014363857 = queryNorm
             0.21635064 = fieldWeight in 594, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4616103 = idf(docFreq=3788, maxDocs=44421)
               0.0625 = fieldNorm(doc=594)
         0.0069536096 = weight(abstract_txt:this in 594) [ClassicSimilarity], result of:
           0.0069536096 = score(doc=594,freq=1.0), product of:
             0.046237282 = queryWeight, product of:
               1.3377755 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.014363857 = queryNorm
             0.15038967 = fieldWeight in 594, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.0625 = fieldNorm(doc=594)
         0.24370924 = weight(abstract_txt:algebra in 594) [ClassicSimilarity], result of:
           0.24370924 = score(doc=594,freq=4.0), product of:
             0.22984412 = queryWeight, product of:
               1.8864 = boost
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.014363857 = queryNorm
             1.060324 = fieldWeight in 594, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.0625 = fieldNorm(doc=594)
         0.020627366 = weight(abstract_txt:between in 594) [ClassicSimilarity], result of:
           0.020627366 = score(doc=594,freq=1.0), product of:
             0.0954585 = queryWeight, product of:
               1.9221815 = boost
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.014363857 = queryNorm
             0.21608727 = fieldWeight in 594, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.0625 = fieldNorm(doc=594)
         0.049279954 = weight(abstract_txt:special in 594) [ClassicSimilarity], result of:
           0.049279954 = score(doc=594,freq=1.0), product of:
             0.15836613 = queryWeight, product of:
               2.2144365 = boost
               4.978838 = idf(docFreq=830, maxDocs=44421)
               0.014363857 = queryNorm
             0.31117737 = fieldWeight in 594, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.978838 = idf(docFreq=830, maxDocs=44421)
               0.0625 = fieldNorm(doc=594)
         0.12777248 = weight(abstract_txt:mathematical in 594) [ClassicSimilarity], result of:
           0.12777248 = score(doc=594,freq=1.0), product of:
             0.32196623 = queryWeight, product of:
               3.5301425 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.014363857 = queryNorm
             0.3968506 = fieldWeight in 594, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.0625 = fieldNorm(doc=594)
       0.24 = coord(6/25)
   

2. Olvera-Lobo, M.-D.; García-Santiago, L.: Analysis of errors in the automatic translation of questions for translingual QA systems (2010) 0.10

   0.100892246 = sum of:
     0.100892246 = product of:
       0.42038438 = sum of:
         0.12706873 = weight(abstract_txt:translator in 943) [ClassicSimilarity], result of:
           0.12706873 = score(doc=943,freq=4.0), product of:
             0.12918016 = queryWeight, product of:
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.014363857 = queryNorm
             0.9836551 = fieldWeight in 943, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.0546875 = fieldNorm(doc=943)
         0.008604653 = weight(abstract_txt:this in 943) [ClassicSimilarity], result of:
           0.008604653 = score(doc=943,freq=2.0), product of:
             0.046237282 = queryWeight, product of:
               1.3377755 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.014363857 = queryNorm
             0.18609773 = fieldWeight in 943, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.0546875 = fieldNorm(doc=943)
         0.09201834 = weight(abstract_txt:translation in 943) [ClassicSimilarity], result of:
           0.09201834 = score(doc=943,freq=5.0), product of:
             0.12184087 = queryWeight, product of:
               1.3734523 = boost
               6.176015 = idf(docFreq=250, maxDocs=44421)
               0.014363857 = queryNorm
             0.75523376 = fieldWeight in 943, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.176015 = idf(docFreq=250, maxDocs=44421)
               0.0546875 = fieldNorm(doc=943)
         0.031009257 = weight(abstract_txt:systems in 943) [ClassicSimilarity], result of:
           0.031009257 = score(doc=943,freq=5.0), product of:
             0.074338585 = queryWeight, product of:
               1.5171874 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.014363857 = queryNorm
             0.41713542 = fieldWeight in 943, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.0546875 = fieldNorm(doc=943)
         0.056327462 = weight(abstract_txt:error in 943) [ClassicSimilarity], result of:
           0.056327462 = score(doc=943,freq=1.0), product of:
             0.15020354 = queryWeight, product of:
               1.5249555 = boost
               6.8572807 = idf(docFreq=126, maxDocs=44421)
               0.014363857 = queryNorm
             0.37500754 = fieldWeight in 943, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8572807 = idf(docFreq=126, maxDocs=44421)
               0.0546875 = fieldNorm(doc=943)
         0.10535595 = weight(abstract_txt:translations in 943) [ClassicSimilarity], result of:
           0.10535595 = score(doc=943,freq=2.0), product of:
             0.18097952 = queryWeight, product of:
               1.6739088 = boost
               7.5270805 = idf(docFreq=64, maxDocs=44421)
               0.014363857 = queryNorm
             0.58214295 = fieldWeight in 943, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.5270805 = idf(docFreq=64, maxDocs=44421)
               0.0546875 = fieldNorm(doc=943)
       0.24 = coord(6/25)
   

3. Bernard, U.: Machine translation : success of failure using MT in an IT research and development environment (1996) 0.10

   0.098816 = sum of:
     0.098816 = product of:
       0.49408 = sum of:
         0.12706873 = weight(abstract_txt:translator in 214) [ClassicSimilarity], result of:
           0.12706873 = score(doc=214,freq=1.0), product of:
             0.12918016 = queryWeight, product of:
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.014363857 = queryNorm
             0.9836551 = fieldWeight in 214, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.993418 = idf(docFreq=14, maxDocs=44421)
               0.109375 = fieldNorm(doc=214)
         0.012168817 = weight(abstract_txt:this in 214) [ClassicSimilarity], result of:
           0.012168817 = score(doc=214,freq=1.0), product of:
             0.046237282 = queryWeight, product of:
               1.3377755 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.014363857 = queryNorm
             0.26318192 = fieldWeight in 214, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.109375 = fieldNorm(doc=214)
         0.11639503 = weight(abstract_txt:translation in 214) [ClassicSimilarity], result of:
           0.11639503 = score(doc=214,freq=2.0), product of:
             0.12184087 = queryWeight, product of:
               1.3734523 = boost
               6.176015 = idf(docFreq=250, maxDocs=44421)
               0.014363857 = queryNorm
             0.9553036 = fieldWeight in 214, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.176015 = idf(docFreq=250, maxDocs=44421)
               0.109375 = fieldNorm(doc=214)
         0.027735524 = weight(abstract_txt:systems in 214) [ClassicSimilarity], result of:
           0.027735524 = score(doc=214,freq=1.0), product of:
             0.074338585 = queryWeight, product of:
               1.5171874 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.014363857 = queryNorm
             0.37309727 = fieldWeight in 214, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.109375 = fieldNorm(doc=214)
         0.2107119 = weight(abstract_txt:translations in 214) [ClassicSimilarity], result of:
           0.2107119 = score(doc=214,freq=2.0), product of:
             0.18097952 = queryWeight, product of:
               1.6739088 = boost
               7.5270805 = idf(docFreq=64, maxDocs=44421)
               0.014363857 = queryNorm
             1.1642859 = fieldWeight in 214, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.5270805 = idf(docFreq=64, maxDocs=44421)
               0.109375 = fieldNorm(doc=214)
       0.2 = coord(5/25)
   

4. Zanibbi, R.; Yuan, B.: Keyword and image-based retrieval for mathematical expressions (2011) 0.10

   0.09822971 = sum of:
     0.09822971 = product of:
       0.8185809 = sum of:
         0.34806156 = weight(abstract_txt:expressions in 4449) [ClassicSimilarity], result of:
           0.34806156 = score(doc=4449,freq=5.0), product of:
             0.29380292 = queryWeight, product of:
               3.0161998 = boost
               6.7814865 = idf(docFreq=136, maxDocs=44421)
               0.014363857 = queryNorm
             1.184677 = fieldWeight in 4449, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.7814865 = idf(docFreq=136, maxDocs=44421)
               0.078125 = fieldNorm(doc=4449)
         0.31080377 = weight(abstract_txt:latex in 4449) [ClassicSimilarity], result of:
           0.31080377 = score(doc=4449,freq=1.0), product of:
             0.42327246 = queryWeight, product of:
               3.135254 = boost
               9.398883 = idf(docFreq=9, maxDocs=44421)
               0.014363857 = queryNorm
             0.73428774 = fieldWeight in 4449, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.398883 = idf(docFreq=9, maxDocs=44421)
               0.078125 = fieldNorm(doc=4449)
         0.15971561 = weight(abstract_txt:mathematical in 4449) [ClassicSimilarity], result of:
           0.15971561 = score(doc=4449,freq=1.0), product of:
             0.32196623 = queryWeight, product of:
               3.5301425 = boost
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.014363857 = queryNorm
             0.49606323 = fieldWeight in 4449, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3496094 = idf(docFreq=210, maxDocs=44421)
               0.078125 = fieldNorm(doc=4449)
       0.12 = coord(3/25)
   

5. Soergel, D.: Conceptual foundations for semantic mapping and semantic search (2011) 0.10

   0.096028104 = sum of:
     0.096028104 = product of:
       0.4801405 = sum of:
         0.09516528 = weight(abstract_txt:atomic in 926) [ClassicSimilarity], result of:
           0.09516528 = score(doc=926,freq=1.0), product of:
             0.13332382 = queryWeight, product of:
               1.0159117 = boost
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.014363857 = queryNorm
             0.71379054 = fieldWeight in 926, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.1365185 = idf(docFreq=12, maxDocs=44421)
               0.078125 = fieldNorm(doc=926)
         0.017384024 = weight(abstract_txt:this in 926) [ClassicSimilarity], result of:
           0.017384024 = score(doc=926,freq=4.0), product of:
             0.046237282 = queryWeight, product of:
               1.3377755 = boost
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.014363857 = queryNorm
             0.37597418 = fieldWeight in 926, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.4062347 = idf(docFreq=10885, maxDocs=44421)
               0.078125 = fieldNorm(doc=926)
         0.019811088 = weight(abstract_txt:systems in 926) [ClassicSimilarity], result of:
           0.019811088 = score(doc=926,freq=1.0), product of:
             0.074338585 = queryWeight, product of:
               1.5171874 = boost
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.014363857 = queryNorm
             0.26649806 = fieldWeight in 926, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.411175 = idf(docFreq=3984, maxDocs=44421)
               0.078125 = fieldNorm(doc=926)
         0.036464375 = weight(abstract_txt:between in 926) [ClassicSimilarity], result of:
           0.036464375 = score(doc=926,freq=2.0), product of:
             0.0954585 = queryWeight, product of:
               1.9221815 = boost
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.014363857 = queryNorm
             0.38199192 = fieldWeight in 926, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.4573963 = idf(docFreq=3804, maxDocs=44421)
               0.078125 = fieldNorm(doc=926)
         0.31131572 = weight(abstract_txt:expressions in 926) [ClassicSimilarity], result of:
           0.31131572 = score(doc=926,freq=4.0), product of:
             0.29380292 = queryWeight, product of:
               3.0161998 = boost
               6.7814865 = idf(docFreq=136, maxDocs=44421)
               0.014363857 = queryNorm
             1.0596073 = fieldWeight in 926, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.7814865 = idf(docFreq=136, maxDocs=44421)
               0.078125 = fieldNorm(doc=926)
       0.2 = coord(5/25)