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.871439 = sum of:
     5.871439 = weight(author_txt:greiner in 191) [ClassicSimilarity], result of:
       5.871439 = fieldWeight in 191, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.394302 = idf(docFreq=9, maxDocs=44218)
         0.625 = fieldNorm(doc=191)
   

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

   5.871439 = sum of:
     5.871439 = weight(author_txt:greiner in 1103) [ClassicSimilarity], result of:
       5.871439 = fieldWeight in 1103, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.394302 = idf(docFreq=9, maxDocs=44218)
         0.625 = fieldNorm(doc=1103)
   

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

   5.871439 = sum of:
     5.871439 = weight(author_txt:greiner in 1548) [ClassicSimilarity], result of:
       5.871439 = fieldWeight in 1548, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.394302 = idf(docFreq=9, maxDocs=44218)
         0.625 = fieldNorm(doc=1548)
   

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

   5.871439 = sum of:
     5.871439 = weight(author_txt:greiner in 1563) [ClassicSimilarity], result of:
       5.871439 = fieldWeight in 1563, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.394302 = idf(docFreq=9, maxDocs=44218)
         0.625 = fieldNorm(doc=1563)
   

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

   5.871439 = sum of:
     5.871439 = weight(author_txt:greiner in 1691) [ClassicSimilarity], result of:
       5.871439 = fieldWeight in 1691, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.394302 = idf(docFreq=9, maxDocs=44218)
         0.625 = fieldNorm(doc=1691)
   

Similar documents (content)

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

   0.11045766 = sum of:
     0.11045766 = product of:
       0.46024024 = sum of:
         0.012476636 = weight(abstract_txt:paper in 469) [ClassicSimilarity], result of:
           0.012476636 = score(doc=469,freq=1.0), product of:
             0.057572693 = queryWeight, product of:
               1.1572274 = boost
               3.467376 = idf(docFreq=3749, maxDocs=44218)
               0.014348182 = queryNorm
             0.216711 = fieldWeight in 469, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.467376 = idf(docFreq=3749, maxDocs=44218)
               0.0625 = fieldNorm(doc=469)
         0.0070084957 = weight(abstract_txt:this in 469) [ClassicSimilarity], result of:
           0.0070084957 = score(doc=469,freq=1.0), product of:
             0.046471246 = queryWeight, product of:
               1.3422301 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.014348182 = queryNorm
             0.1508136 = fieldWeight in 469, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0625 = fieldNorm(doc=469)
         0.24317299 = weight(abstract_txt:algebra in 469) [ClassicSimilarity], result of:
           0.24317299 = score(doc=469,freq=4.0), product of:
             0.2294623 = queryWeight, product of:
               1.8863422 = boost
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.014348182 = queryNorm
             1.0597514 = fieldWeight in 469, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               8.478011 = idf(docFreq=24, maxDocs=44218)
               0.0625 = fieldNorm(doc=469)
         0.020722654 = weight(abstract_txt:between in 469) [ClassicSimilarity], result of:
           0.020722654 = score(doc=469,freq=1.0), product of:
             0.095733665 = queryWeight, product of:
               1.9264919 = boost
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.014348182 = queryNorm
             0.21646151 = fieldWeight in 469, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.0625 = fieldNorm(doc=469)
         0.049151126 = weight(abstract_txt:special in 469) [ClassicSimilarity], result of:
           0.049151126 = score(doc=469,freq=1.0), product of:
             0.15805931 = queryWeight, product of:
               2.2140622 = boost
               4.9754615 = idf(docFreq=829, maxDocs=44218)
               0.014348182 = queryNorm
             0.31096634 = fieldWeight in 469, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.9754615 = idf(docFreq=829, maxDocs=44218)
               0.0625 = fieldNorm(doc=469)
         0.12770836 = weight(abstract_txt:mathematical in 469) [ClassicSimilarity], result of:
           0.12770836 = score(doc=469,freq=1.0), product of:
             0.321796 = queryWeight, product of:
               3.532036 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.014348182 = queryNorm
             0.39686123 = fieldWeight in 469, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.0625 = fieldNorm(doc=469)
       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.10072959 = sum of:
     0.10072959 = product of:
       0.41970664 = sum of:
         0.12680079 = weight(abstract_txt:translator in 3956) [ClassicSimilarity], result of:
           0.12680079 = score(doc=3956,freq=4.0), product of:
             0.12897347 = queryWeight, product of:
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.014348182 = queryNorm
             0.98315406 = fieldWeight in 3956, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3956)
         0.008672571 = weight(abstract_txt:this in 3956) [ClassicSimilarity], result of:
           0.008672571 = score(doc=3956,freq=2.0), product of:
             0.046471246 = queryWeight, product of:
               1.3422301 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.014348182 = queryNorm
             0.1866223 = fieldWeight in 3956, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3956)
         0.09193847 = weight(abstract_txt:translation in 3956) [ClassicSimilarity], result of:
           0.09193847 = score(doc=3956,freq=5.0), product of:
             0.12174671 = queryWeight, product of:
               1.3740212 = boost
               6.1754265 = idf(docFreq=249, maxDocs=44218)
               0.014348182 = queryNorm
             0.7551619 = fieldWeight in 3956, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.1754265 = idf(docFreq=249, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3956)
         0.031010376 = weight(abstract_txt:systems in 3956) [ClassicSimilarity], result of:
           0.031010376 = score(doc=3956,freq=5.0), product of:
             0.07432594 = queryWeight, product of:
               1.5182735 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.014348182 = queryNorm
             0.41722143 = fieldWeight in 3956, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3956)
         0.05618193 = weight(abstract_txt:error in 3956) [ClassicSimilarity], result of:
           0.05618193 = score(doc=3956,freq=1.0), product of:
             0.1499156 = queryWeight, product of:
               1.5247134 = boost
               6.8527 = idf(docFreq=126, maxDocs=44218)
               0.014348182 = queryNorm
             0.37475705 = fieldWeight in 3956, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.8527 = idf(docFreq=126, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3956)
         0.10510249 = weight(abstract_txt:translations in 3956) [ClassicSimilarity], result of:
           0.10510249 = score(doc=3956,freq=2.0), product of:
             0.18065406 = queryWeight, product of:
               1.6737427 = boost
               7.5225 = idf(docFreq=64, maxDocs=44218)
               0.014348182 = queryNorm
             0.58178866 = fieldWeight in 3956, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.5225 = idf(docFreq=64, maxDocs=44218)
               0.0546875 = fieldNorm(doc=3956)
       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.09866023 = sum of:
     0.09866023 = product of:
       0.49330115 = sum of:
         0.12680079 = weight(abstract_txt:translator in 8600) [ClassicSimilarity], result of:
           0.12680079 = score(doc=8600,freq=1.0), product of:
             0.12897347 = queryWeight, product of:
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.014348182 = queryNorm
             0.98315406 = fieldWeight in 8600, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.988837 = idf(docFreq=14, maxDocs=44218)
               0.109375 = fieldNorm(doc=8600)
         0.012264867 = weight(abstract_txt:this in 8600) [ClassicSimilarity], result of:
           0.012264867 = score(doc=8600,freq=1.0), product of:
             0.046471246 = queryWeight, product of:
               1.3422301 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.014348182 = queryNorm
             0.2639238 = fieldWeight in 8600, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.109375 = fieldNorm(doc=8600)
         0.11629398 = weight(abstract_txt:translation in 8600) [ClassicSimilarity], result of:
           0.11629398 = score(doc=8600,freq=2.0), product of:
             0.12174671 = queryWeight, product of:
               1.3740212 = boost
               6.1754265 = idf(docFreq=249, maxDocs=44218)
               0.014348182 = queryNorm
             0.95521253 = fieldWeight in 8600, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.1754265 = idf(docFreq=249, maxDocs=44218)
               0.109375 = fieldNorm(doc=8600)
         0.027736522 = weight(abstract_txt:systems in 8600) [ClassicSimilarity], result of:
           0.027736522 = score(doc=8600,freq=1.0), product of:
             0.07432594 = queryWeight, product of:
               1.5182735 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.014348182 = queryNorm
             0.3731742 = fieldWeight in 8600, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.109375 = fieldNorm(doc=8600)
         0.21020497 = weight(abstract_txt:translations in 8600) [ClassicSimilarity], result of:
           0.21020497 = score(doc=8600,freq=2.0), product of:
             0.18065406 = queryWeight, product of:
               1.6737427 = boost
               7.5225 = idf(docFreq=64, maxDocs=44218)
               0.014348182 = queryNorm
             1.1635773 = fieldWeight in 8600, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.5225 = idf(docFreq=64, maxDocs=44218)
               0.109375 = fieldNorm(doc=8600)
       0.2 = coord(5/25)
   

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

   0.09830686 = sum of:
     0.09830686 = product of:
       0.8192238 = sum of:
         0.3494195 = weight(abstract_txt:expressions in 3449) [ClassicSimilarity], result of:
           0.3494195 = score(doc=3449,freq=5.0), product of:
             0.2945094 = queryWeight, product of:
               3.022243 = boost
               6.7916126 = idf(docFreq=134, maxDocs=44218)
               0.014348182 = queryNorm
             1.186446 = fieldWeight in 3449, product of:
               2.236068 = tf(freq=5.0), with freq of:
                 5.0 = termFreq=5.0
               6.7916126 = idf(docFreq=134, maxDocs=44218)
               0.078125 = fieldNorm(doc=3449)
         0.3101689 = weight(abstract_txt:latex in 3449) [ClassicSimilarity], result of:
           0.3101689 = score(doc=3449,freq=1.0), product of:
             0.4226138 = queryWeight, product of:
               3.1353228 = boost
               9.394302 = idf(docFreq=9, maxDocs=44218)
               0.014348182 = queryNorm
             0.7339299 = fieldWeight in 3449, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.394302 = idf(docFreq=9, maxDocs=44218)
               0.078125 = fieldNorm(doc=3449)
         0.15963544 = weight(abstract_txt:mathematical in 3449) [ClassicSimilarity], result of:
           0.15963544 = score(doc=3449,freq=1.0), product of:
             0.321796 = queryWeight, product of:
               3.532036 = boost
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.014348182 = queryNorm
             0.49607652 = fieldWeight in 3449, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3497796 = idf(docFreq=209, maxDocs=44218)
               0.078125 = fieldNorm(doc=3449)
       0.12 = coord(3/25)
   

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

   0.09629261 = sum of:
     0.09629261 = product of:
       0.48146304 = sum of:
         0.0949669 = weight(abstract_txt:atomic in 3939) [ClassicSimilarity], result of:
           0.0949669 = score(doc=3939,freq=1.0), product of:
             0.13311264 = queryWeight, product of:
               1.0159198 = boost
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.014348182 = queryNorm
             0.71343267 = fieldWeight in 3939, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               9.131938 = idf(docFreq=12, maxDocs=44218)
               0.078125 = fieldNorm(doc=3939)
         0.017521238 = weight(abstract_txt:this in 3939) [ClassicSimilarity], result of:
           0.017521238 = score(doc=3939,freq=4.0), product of:
             0.046471246 = queryWeight, product of:
               1.3422301 = boost
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.014348182 = queryNorm
             0.37703398 = fieldWeight in 3939, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               2.4130175 = idf(docFreq=10762, maxDocs=44218)
               0.078125 = fieldNorm(doc=3939)
         0.019811802 = weight(abstract_txt:systems in 3939) [ClassicSimilarity], result of:
           0.019811802 = score(doc=3939,freq=1.0), product of:
             0.07432594 = queryWeight, product of:
               1.5182735 = boost
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.014348182 = queryNorm
             0.26655298 = fieldWeight in 3939, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.4118783 = idf(docFreq=3963, maxDocs=44218)
               0.078125 = fieldNorm(doc=3939)
         0.03663282 = weight(abstract_txt:between in 3939) [ClassicSimilarity], result of:
           0.03663282 = score(doc=3939,freq=2.0), product of:
             0.095733665 = queryWeight, product of:
               1.9264919 = boost
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.014348182 = queryNorm
             0.3826535 = fieldWeight in 3939, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.4633842 = idf(docFreq=3764, maxDocs=44218)
               0.078125 = fieldNorm(doc=3939)
         0.31253028 = weight(abstract_txt:expressions in 3939) [ClassicSimilarity], result of:
           0.31253028 = score(doc=3939,freq=4.0), product of:
             0.2945094 = queryWeight, product of:
               3.022243 = boost
               6.7916126 = idf(docFreq=134, maxDocs=44218)
               0.014348182 = queryNorm
             1.0611894 = fieldWeight in 3939, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               6.7916126 = idf(docFreq=134, maxDocs=44218)
               0.078125 = fieldNorm(doc=3939)
       0.2 = coord(5/25)