Document (#42501)

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.85
    5.850191 = sum of:
      5.850191 = weight(author_txt:greiner in 191) [ClassicSimilarity], result of:
        5.850191 = fieldWeight in 191, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.360306 = idf(docFreq=9, maxDocs=42740)
          0.625 = fieldNorm(doc=191)
    
  2. Greiner, G.: Intellektuelles und automatisches Klassifizieren (1981) 5.85
    5.850191 = sum of:
      5.850191 = weight(author_txt:greiner in 1103) [ClassicSimilarity], result of:
        5.850191 = fieldWeight in 1103, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.360306 = idf(docFreq=9, maxDocs=42740)
          0.625 = fieldNorm(doc=1103)
    
  3. Greiner, G.: Sachliche Erschließung und Ordnung als Unterrichtsinhalt bei der dokumentarischen Aus- und Fortbildung (1986) 5.85
    5.850191 = sum of:
      5.850191 = weight(author_txt:greiner in 1548) [ClassicSimilarity], result of:
        5.850191 = fieldWeight in 1548, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.360306 = idf(docFreq=9, maxDocs=42740)
          0.625 = fieldNorm(doc=1548)
    
  4. Greiner, G.: Übungen zur Inhaltserschließung im Rahmen der dokumentarischen Aus- und Fortbildung (1989) 5.85
    5.850191 = sum of:
      5.850191 = weight(author_txt:greiner in 1563) [ClassicSimilarity], result of:
        5.850191 = fieldWeight in 1563, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.360306 = idf(docFreq=9, maxDocs=42740)
          0.625 = fieldNorm(doc=1563)
    
  5. Greiner, G.: Some reflections on teaching subject analysis in the field of documentation (1984) 5.85
    5.850191 = sum of:
      5.850191 = weight(author_txt:greiner in 1691) [ClassicSimilarity], result of:
        5.850191 = fieldWeight in 1691, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.360306 = idf(docFreq=9, maxDocs=42740)
          0.625 = fieldNorm(doc=1691)
    

Similar documents (content)

  1. Grunwald, E.: Evolution and design inside and outside mathematics (2005) 0.11
    0.11145746 = sum of:
      0.11145746 = product of:
        0.4644061 = sum of:
          0.012894752 = weight(abstract_txt:paper in 1595) [ClassicSimilarity], result of:
            0.012894752 = score(doc=1595,freq=1.0), product of:
              0.058989123 = queryWeight, product of:
                1.1649107 = boost
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.014478322 = queryNorm
              0.21859543 = fieldWeight in 1595, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.0625 = fieldNorm(doc=1595)
          0.0073239747 = weight(abstract_txt:this in 1595) [ClassicSimilarity], result of:
            0.0073239747 = score(doc=1595,freq=1.0), product of:
              0.047967166 = queryWeight, product of:
                1.3561355 = boost
                2.442996 = idf(docFreq=10095, maxDocs=42740)
                0.014478322 = queryNorm
              0.15268725 = fieldWeight in 1595, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.442996 = idf(docFreq=10095, maxDocs=42740)
                0.0625 = fieldNorm(doc=1595)
          0.24547033 = weight(abstract_txt:algebra in 1595) [ClassicSimilarity], result of:
            0.24547033 = score(doc=1595,freq=4.0), product of:
              0.23144378 = queryWeight, product of:
                1.8840126 = boost
                8.484837 = idf(docFreq=23, maxDocs=42740)
                0.014478322 = queryNorm
              1.0606046 = fieldWeight in 1595, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                8.484837 = idf(docFreq=23, maxDocs=42740)
                0.0625 = fieldNorm(doc=1595)
          0.02131955 = weight(abstract_txt:between in 1595) [ClassicSimilarity], result of:
            0.02131955 = score(doc=1595,freq=1.0), product of:
              0.097790845 = queryWeight, product of:
                1.9363334 = boost
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.014478322 = queryNorm
              0.21801172 = fieldWeight in 1595, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.0625 = fieldNorm(doc=1595)
          0.04939405 = weight(abstract_txt:special in 1595) [ClassicSimilarity], result of:
            0.04939405 = score(doc=1595,freq=1.0), product of:
              0.15894954 = queryWeight, product of:
                2.2080336 = boost
                4.9720483 = idf(docFreq=804, maxDocs=42740)
                0.014478322 = queryNorm
              0.31075302 = fieldWeight in 1595, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9720483 = idf(docFreq=804, maxDocs=42740)
                0.0625 = fieldNorm(doc=1595)
          0.12800348 = weight(abstract_txt:mathematical in 1595) [ClassicSimilarity], result of:
            0.12800348 = score(doc=1595,freq=1.0), product of:
              0.32304326 = queryWeight, product of:
                3.5193412 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.014478322 = queryNorm
              0.39624253 = fieldWeight in 1595, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0625 = fieldNorm(doc=1595)
        0.24 = coord(6/25)
    
  2. Zanibbi, R.; Yuan, B.: Keyword and image-based retrieval for mathematical expressions (2011) 0.10
    0.0994591 = sum of:
      0.0994591 = product of:
        0.82882583 = sum of:
          0.35985598 = weight(abstract_txt:expressions in 5450) [ClassicSimilarity], result of:
            0.35985598 = score(doc=5450,freq=5.0), product of:
              0.3010454 = queryWeight, product of:
                3.0387294 = boost
                6.842609 = idf(docFreq=123, maxDocs=42740)
                0.014478322 = queryNorm
              1.1953546 = fieldWeight in 5450, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                6.842609 = idf(docFreq=123, maxDocs=42740)
                0.078125 = fieldNorm(doc=5450)
          0.30896547 = weight(abstract_txt:latex in 5450) [ClassicSimilarity], result of:
            0.30896547 = score(doc=5450,freq=1.0), product of:
              0.42250308 = queryWeight, product of:
                3.1176088 = boost
                9.360306 = idf(docFreq=9, maxDocs=42740)
                0.014478322 = queryNorm
              0.7312739 = fieldWeight in 5450, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.360306 = idf(docFreq=9, maxDocs=42740)
                0.078125 = fieldNorm(doc=5450)
          0.16000435 = weight(abstract_txt:mathematical in 5450) [ClassicSimilarity], result of:
            0.16000435 = score(doc=5450,freq=1.0), product of:
              0.32304326 = queryWeight, product of:
                3.5193412 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.014478322 = queryNorm
              0.49530315 = fieldWeight in 5450, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.078125 = fieldNorm(doc=5450)
        0.12 = coord(3/25)
    
  3. Soergel, D.: Conceptual foundations for semantic mapping and semantic search (2011) 0.10
    0.09848614 = sum of:
      0.09848614 = product of:
        0.4924307 = sum of:
          0.09456883 = weight(abstract_txt:atomic in 940) [ClassicSimilarity], result of:
            0.09456883 = score(doc=940,freq=1.0), product of:
              0.13305 = queryWeight, product of:
                1.0100746 = boost
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.014478322 = queryNorm
              0.7107767 = fieldWeight in 940, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.097941 = idf(docFreq=12, maxDocs=42740)
                0.078125 = fieldNorm(doc=940)
          0.018309936 = weight(abstract_txt:this in 940) [ClassicSimilarity], result of:
            0.018309936 = score(doc=940,freq=4.0), product of:
              0.047967166 = queryWeight, product of:
                1.3561355 = boost
                2.442996 = idf(docFreq=10095, maxDocs=42740)
                0.014478322 = queryNorm
              0.38171813 = fieldWeight in 940, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                2.442996 = idf(docFreq=10095, maxDocs=42740)
                0.078125 = fieldNorm(doc=940)
          0.019998934 = weight(abstract_txt:systems in 940) [ClassicSimilarity], result of:
            0.019998934 = score(doc=940,freq=1.0), product of:
              0.07496768 = queryWeight, product of:
                1.5163976 = boost
                3.414623 = idf(docFreq=3820, maxDocs=42740)
                0.014478322 = queryNorm
              0.2667674 = fieldWeight in 940, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.414623 = idf(docFreq=3820, maxDocs=42740)
                0.078125 = fieldNorm(doc=940)
          0.037688 = weight(abstract_txt:between in 940) [ClassicSimilarity], result of:
            0.037688 = score(doc=940,freq=2.0), product of:
              0.097790845 = queryWeight, product of:
                1.9363334 = boost
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.014478322 = queryNorm
              0.38539392 = fieldWeight in 940, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.078125 = fieldNorm(doc=940)
          0.32186496 = weight(abstract_txt:expressions in 940) [ClassicSimilarity], result of:
            0.32186496 = score(doc=940,freq=4.0), product of:
              0.3010454 = queryWeight, product of:
                3.0387294 = boost
                6.842609 = idf(docFreq=123, maxDocs=42740)
                0.014478322 = queryNorm
              1.0691576 = fieldWeight in 940, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                6.842609 = idf(docFreq=123, maxDocs=42740)
                0.078125 = fieldNorm(doc=940)
        0.2 = coord(5/25)
    
  4. Kracht, M.: Mathematical linguistics (2002) 0.09
    0.09204588 = sum of:
      0.09204588 = product of:
        0.4602294 = sum of:
          0.0073239747 = weight(abstract_txt:this in 573) [ClassicSimilarity], result of:
            0.0073239747 = score(doc=573,freq=1.0), product of:
              0.047967166 = queryWeight, product of:
                1.3561355 = boost
                2.442996 = idf(docFreq=10095, maxDocs=42740)
                0.014478322 = queryNorm
              0.15268725 = fieldWeight in 573, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.442996 = idf(docFreq=10095, maxDocs=42740)
                0.0625 = fieldNorm(doc=573)
          0.022626212 = weight(abstract_txt:systems in 573) [ClassicSimilarity], result of:
            0.022626212 = score(doc=573,freq=2.0), product of:
              0.07496768 = queryWeight, product of:
                1.5163976 = boost
                3.414623 = idf(docFreq=3820, maxDocs=42740)
                0.014478322 = queryNorm
              0.3018129 = fieldWeight in 573, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.414623 = idf(docFreq=3820, maxDocs=42740)
                0.0625 = fieldNorm(doc=573)
          0.122735165 = weight(abstract_txt:algebra in 573) [ClassicSimilarity], result of:
            0.122735165 = score(doc=573,freq=1.0), product of:
              0.23144378 = queryWeight, product of:
                1.8840126 = boost
                8.484837 = idf(docFreq=23, maxDocs=42740)
                0.014478322 = queryNorm
              0.5303023 = fieldWeight in 573, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.484837 = idf(docFreq=23, maxDocs=42740)
                0.0625 = fieldNorm(doc=573)
          0.02131955 = weight(abstract_txt:between in 573) [ClassicSimilarity], result of:
            0.02131955 = score(doc=573,freq=1.0), product of:
              0.097790845 = queryWeight, product of:
                1.9363334 = boost
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.014478322 = queryNorm
              0.21801172 = fieldWeight in 573, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.0625 = fieldNorm(doc=573)
          0.28622448 = weight(abstract_txt:mathematical in 573) [ClassicSimilarity], result of:
            0.28622448 = score(doc=573,freq=5.0), product of:
              0.32304326 = queryWeight, product of:
                3.5193412 = boost
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.014478322 = queryNorm
              0.88602525 = fieldWeight in 573, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                6.3398805 = idf(docFreq=204, maxDocs=42740)
                0.0625 = fieldNorm(doc=573)
        0.2 = coord(5/25)
    
  5. Mitchell, J.S.; Zeng, M.L.; Zumer, M.: Modeling classification systems in multicultural and multilingual contexts (2012) 0.09
    0.08579696 = sum of:
      0.08579696 = product of:
        0.3064177 = sum of:
          0.02279492 = weight(abstract_txt:paper in 3968) [ClassicSimilarity], result of:
            0.02279492 = score(doc=3968,freq=2.0), product of:
              0.058989123 = queryWeight, product of:
                1.1649107 = boost
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.014478322 = queryNorm
              0.3864258 = fieldWeight in 3968, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.497527 = idf(docFreq=3516, maxDocs=42740)
                0.078125 = fieldNorm(doc=3968)
          0.009154968 = weight(abstract_txt:this in 3968) [ClassicSimilarity], result of:
            0.009154968 = score(doc=3968,freq=1.0), product of:
              0.047967166 = queryWeight, product of:
                1.3561355 = boost
                2.442996 = idf(docFreq=10095, maxDocs=42740)
                0.014478322 = queryNorm
              0.19085906 = fieldWeight in 3968, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.442996 = idf(docFreq=10095, maxDocs=42740)
                0.078125 = fieldNorm(doc=3968)
          0.058988582 = weight(abstract_txt:translation in 3968) [ClassicSimilarity], result of:
            0.058988582 = score(doc=3968,freq=1.0), product of:
              0.12237841 = queryWeight, product of:
                1.3699775 = boost
                6.169829 = idf(docFreq=242, maxDocs=42740)
                0.014478322 = queryNorm
              0.48201787 = fieldWeight in 3968, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.169829 = idf(docFreq=242, maxDocs=42740)
                0.078125 = fieldNorm(doc=3968)
          0.028282765 = weight(abstract_txt:systems in 3968) [ClassicSimilarity], result of:
            0.028282765 = score(doc=3968,freq=2.0), product of:
              0.07496768 = queryWeight, product of:
                1.5163976 = boost
                3.414623 = idf(docFreq=3820, maxDocs=42740)
                0.014478322 = queryNorm
              0.3772661 = fieldWeight in 3968, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.414623 = idf(docFreq=3820, maxDocs=42740)
                0.078125 = fieldNorm(doc=3968)
          0.05441944 = weight(abstract_txt:authors in 3968) [ClassicSimilarity], result of:
            0.05441944 = score(doc=3968,freq=2.0), product of:
              0.105369754 = queryWeight, product of:
                1.5569141 = boost
                4.6744776 = idf(docFreq=1083, maxDocs=42740)
                0.014478322 = queryNorm
              0.5164617 = fieldWeight in 3968, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.6744776 = idf(docFreq=1083, maxDocs=42740)
                0.078125 = fieldNorm(doc=3968)
          0.10612759 = weight(abstract_txt:translations in 3968) [ClassicSimilarity], result of:
            0.10612759 = score(doc=3968,freq=1.0), product of:
              0.18102771 = queryWeight, product of:
                1.6662247 = boost
                7.5040073 = idf(docFreq=63, maxDocs=42740)
                0.014478322 = queryNorm
              0.58625054 = fieldWeight in 3968, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.5040073 = idf(docFreq=63, maxDocs=42740)
                0.078125 = fieldNorm(doc=3968)
          0.026649438 = weight(abstract_txt:between in 3968) [ClassicSimilarity], result of:
            0.026649438 = score(doc=3968,freq=1.0), product of:
              0.097790845 = queryWeight, product of:
                1.9363334 = boost
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.014478322 = queryNorm
              0.27251464 = fieldWeight in 3968, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.4881876 = idf(docFreq=3549, maxDocs=42740)
                0.078125 = fieldNorm(doc=3968)
        0.28 = coord(7/25)