Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems

@article{Cohl2018AutomatedSA,
  title={Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems},
  author={Howard S. Cohl and Andr{\'e} Greiner-Petter and Moritz Schubotz},
  journal={ArXiv},
  year={2018},
  volume={abs/2109.08899}
}
We have developed an automated procedure for symbolic and numerical testing of formulae extracted from the National Institute of Standards and Technology (NIST) Digital Library of Mathematical Functions (DLMF). For the NIST Digital Repository of Mathematical Formulae, we have developed conversion tools from semantic Open image in new window to the Computer Algebra System (CAS) MAPLE which relies on Youssef’s part-of-math tagger. We convert a test data subset of 4,078 semantic Open image in new… Expand
4 Citations
Semantic Preserving Bijective Mappings for Expressions involving Special Functions in Computer Algebra Systems and Document Preparation Systems
TLDR
This paper introduces the first translation tool for special functions between LaTeX and CAS, which improves error-prone manual translations and can be used to verify mathematical online compendia and CAS. Expand
Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems
TLDR
A context-sensitive approach is proposed that extracts semantic information from a given context, embeds the information into the given input, and converts the semantically enhanced expressions to computer algebra systems. Expand
Mathematical Software – ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings
TLDR
Two new approaches to solve real-Algebraic formulas with SMT-RAT have been proposed and shown how they can be combined to solve inequality problems in algebra. Expand

References

SHOWING 1-10 OF 17 REFERENCES
Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems
TLDR
Algorithms to translate mathematical expressions represented in semantic Open image in new window to corresponding CAS representations and vice versa are developed and developed. Expand
Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context
TLDR
This work analyzes how the semantic enrichment of formulae improves the format conversion process and shows that considering the textual context of formULae reduces the error rate of such conversions. Expand
Growing the Digital Repository of Mathematical Formulae with Generic Sources
TLDR
A semantic enrichment process whose goal is to infer semantic information from generic LaTeX sources is developed and generated context-free semantic information is used to build DRMF formula home pages for each individual formula. Expand
Growing the Digital Repository of Mathematical Formulae with Generic LaTeX Sources
TLDR
A semantic enrichment process whose goal is to infer semantic information from generic LaTeX sources is developed and generated context-free semantic information is used to build DRMF formula home pages for each individual formula. Expand
Automated simplification of large symbolic expressions
TLDR
A set of algorithms for automated simplification of symbolic constants of the form @?"i@a"ix"i with @a"i rational and x"i complex with facilities for making substitutions according to user-specified identities are presented. Expand
Technical Aspects of the Digital Library of Mathematical Functions
TLDR
Practical initial solutions are proposed, in order to ease the authoring of adaptable content: a LaTeX class which encourages a modestly semantic markup style; and a mathematical search engine that adapts a text search engine to the task. Expand
Theorems and algorithms: an interface between Isabelle and Maple
TLDR
A prototype implementation of an interface between Isabelle and Maple is described by extending the simplifier of Isabelle through the introduction of a new class of simplification rules called evaluation rules in order to make selected operations of Maple available, and without any modification to the computer algebra system. Expand
VMEXT: A Visualization Tool for Mathematical Expression Trees
TLDR
VMEXT simultaneously visualizes the presentation elements and the semantic structure of mathematical expressions to enable users to quickly spot deficiencies in the Content MathML markup that does not affect the presentation of the expression. Expand
A Skeptic's Approach to Combining HOL and Maple
TLDR
A systematic separation of search for a solution and checking the solution, using a physical connection between systems, is described in some detail, relating it to proof planning and to the complexity class NP, and different ways of exploiting a physical link between systems. Expand
NIST Handbook of Mathematical Functions
TLDR
This handbook results from a 10-year project conducted by the National Institute of Standards and Technology with an international group of expert authors and validators and is destined to replace its predecessor, the classic but long-outdated Handbook of Mathematical Functions, edited by Abramowitz and Stegun. Expand
...
1
2
...