A rule-based translator maps 396 special function expressions between DLMF LaTeX and Maple, successfully handling 2405 expressions (58.8% of DLMF formulae) and identifying errors in both the library and the CAS.
Branch cuts in Maple 17
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DL 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Semantic Preserving Bijective Mappings for Expressions involving Special Functions in Computer Algebra Systems and Document Preparation Systems
A rule-based translator maps 396 special function expressions between DLMF LaTeX and Maple, successfully handling 2405 expressions (58.8% of DLMF formulae) and identifying errors in both the library and the CAS.