# 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

- Medicine, Computer Science
- Aslib J. Inf. Manag.
- 2019

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

- Computer Science, Mathematics
- ICMS
- 2020

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

- Computer Science
- ICMS
- 2020

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

- Computer Science, Mathematics
- CICM
- 2017

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

- Medicine, Computer Science
- JCDL
- 2018

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

- Computer Science
- CICM
- 2015

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

- Computer Science
- ArXiv
- 2015

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

- Computer Science, Mathematics
- J. Symb. Comput.
- 2014

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

- Computer Science
- Annals of Mathematics and Artificial Intelligence
- 2004

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

- Mathematics, Computer Science
- ISSAC '95
- 1995

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

- Computer Science
- CICM
- 2017

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

- Computer Science
- Journal of Automated Reasoning
- 2004

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

- Mathematics, Computer Science
- 2010

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