Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article

Technical Aspects of the Digital Library of Mathematical Functions

Published: 01 May 2003 Publication History

Abstract

The NIST Digital Library of Mathematical Functions (DLMF) Project, begun in 1997, is preparing a handbook and Web site intended for wide communities of users. The contents are primarily mathematical formulas, graphs, methods of computation, references, and links to software. The task of developing a Web handbook of this nature presents several technical challenges. We describe the goals of the Digital Library of Mathematical Functions Project and the realities that constrain those goals. We propose practical initial solutions, 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.

Cited By

View all
  • (2023)Recommending Answers to Math Questions Based on KL-Divergence and Approximate XML Tree MatchingProceedings of the Annual International ACM SIGIR Conference on Research and Development in Information Retrieval in the Asia Pacific Region10.1145/3624918.3625337(21-31)Online publication date: 26-Nov-2023
  • (2023)Searching the ACL Anthology with Math Formulas and TextProceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval10.1145/3539618.3591803(3110-3114)Online publication date: 19-Jul-2023
  • (2023)Do the Math: Making Mathematics in Wikipedia ComputableIEEE Transactions on Pattern Analysis and Machine Intelligence10.1109/TPAMI.2022.319526145:4(4384-4395)Online publication date: 1-Apr-2023
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence  Volume 38, Issue 1-3
May 2003
223 pages

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 May 2003

Author Tags

  1. digital library
  2. mathematical markup
  3. mathematical notation
  4. mathematical search

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 21 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2023)Recommending Answers to Math Questions Based on KL-Divergence and Approximate XML Tree MatchingProceedings of the Annual International ACM SIGIR Conference on Research and Development in Information Retrieval in the Asia Pacific Region10.1145/3624918.3625337(21-31)Online publication date: 26-Nov-2023
  • (2023)Searching the ACL Anthology with Math Formulas and TextProceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval10.1145/3539618.3591803(3110-3114)Online publication date: 19-Jul-2023
  • (2023)Do the Math: Making Mathematics in Wikipedia ComputableIEEE Transactions on Pattern Analysis and Machine Intelligence10.1109/TPAMI.2022.319526145:4(4384-4395)Online publication date: 1-Apr-2023
  • (2021)Formula Citation Graph Based Mathematical Information RetrievalDocument Analysis and Recognition – ICDAR 202110.1007/978-3-030-86549-8_40(631-647)Online publication date: 5-Sep-2021
  • (2021)Searching for Mathematical Formulas Based on Graph Representation LearningIntelligent Computer Mathematics10.1007/978-3-030-81097-9_11(137-152)Online publication date: 26-Jul-2021
  • (2020)An N-ary Tree-based Model for Similarity Evaluation on Mathematical Formulae2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC)10.1109/SMC42975.2020.9283495(2578-2584)Online publication date: 11-Oct-2020
  • (2020)MathSeer: A Math-Aware Search Interface with Intuitive Formula Editing, Reuse, and LookupAdvances in Information Retrieval10.1007/978-3-030-45442-5_60(470-475)Online publication date: 14-Apr-2020
  • (2020)Accelerating Substructure Similarity Search for Formula RetrievalAdvances in Information Retrieval10.1007/978-3-030-45439-5_47(714-727)Online publication date: 14-Apr-2020
  • (2019)Structural Similarity Search for Formulas Using Leaf-Root Paths in Operator SubtreesAdvances in Information Retrieval10.1007/978-3-030-15712-8_8(116-129)Online publication date: 14-Apr-2019
  • (2018)Mathematics Content Understanding for Cyberlearning via Formula Evolution MapProceedings of the 27th ACM International Conference on Information and Knowledge Management10.1145/3269206.3271694(37-46)Online publication date: 17-Oct-2018
  • Show More Cited By

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media