Technical aspects of the digital library of mathematical functions

DOI10.1023/A:1022967814992zbMath1019.65002OpenAlexW1501292707MaRDI QIDQ1810916

Bruce R. Miller, Abdou Youssef

Publication date: 9 June 2003

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022967814992

zbMATH Keywords

handbookmathematical notationdigital library of mathematical functionsmathematical formulasmathematical functions projectmathematical markupmathematical searchmethods of computationweb site

Mathematics Subject Classification ID

Computation of special functions and constants, construction of tables (65D20) Packaged methods for numerical algorithms (65Y15) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to special functions (33-00)

Related Items (10)

Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems ⋮ A survey on retrieval of mathematical knowledge ⋮ Searching for mathematical formulas based on graph representation learning ⋮ Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval ⋮ Strategies for Parallel Markup ⋮ Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources ⋮ A Query Language for Formal Mathematical Libraries ⋮ Development of the semantic space ``mathematics by integrating a subspace of its applied area ⋮ Which One Is Better: Presentation-Based or Content-Based Math Search? ⋮ An Approach to Math-Similarity Search

Uses Software

• DLMF

This page was built for publication: Technical aspects of the digital library of mathematical functions