1 / 55

MKM and the NIST DLMF

MKM and the NIST DLMF. Dan Lozier National Institute of Standards and Technology Gaithersburg, MD 20899-8910. Traditional Methods of KM. Handbooks, dictionaries, encyclopedias, atlases Springer-NY search: Keyword “handbook”: 1125 hits “Handbook” in title/subtitle: 802 hits

nitsa
Download Presentation

MKM and the NIST DLMF

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. MKM and the NIST DLMF Dan Lozier National Institute of Standards and Technology Gaithersburg, MD 20899-8910 NA-MKM 2004 Phoenix

  2. Traditional Methods of KM • Handbooks, dictionaries, encyclopedias, atlases • Springer-NY search: Keyword “handbook”: 1125 hits “Handbook” in title/subtitle: 802 hits • CRC Press search: “Handbook” in title/subtitle, “mathematics” as subject/discipline: 41 hits NA-MKM 2004 Phoenix

  3. NA-MKM 2004 Phoenix

  4. NA-MKM 2004 Phoenix

  5. NA-MKM 2004 Phoenix

  6. NA-MKM 2004 Phoenix

  7. NA-MKM 2004 Phoenix

  8. New Methods of KM for Math • Stimulus: • CD/DVD, web sites, “digital technology” • Interactive graphics (scientific visualization) • Computer algebra, theorem provers • Key research areas • Math notation and definition • Presentation/representation of math • Math-aware search • Hardware/software standards • Formal methods NA-MKM 2004 Phoenix

  9. NIST Digital Library of Mathematical Functions Project • - project conceived 1998 - sample chapter & prototype web site 1999 - NSF funding received 2000 – 2004 Math content development, editing, validation Web development, inc. search & graphics 2005 – book published, web site released NA-MKM 2004 Phoenix

  10. Personnel • 4 principal editors • 10 associate editors • 35 authors • 25 validators • 15 NIST staff NA-MKM 2004 Phoenix

  11. NA-MKM 2004 Phoenix

  12. NA-MKM 2004 Phoenix

  13. DLMF Web Site • Features • Math content • Metadata • Interactive graphics • Math-aware search • Demonstration NA-MKM 2004 Phoenix

  14. DLMF Equation Search System DLMF Database Query Input Query Processing Search Engine Query Output Presentation Module NA-MKM 2004 Phoenix

  15. Query Expression and Entry • Simplified, Latex-like query language • Operators & symbols that can be expressed with 1 or 2 keyboard strokes are so entered • Otherwise, alphabetical names are used (both full-names and short-hand names) • “\” not needed • {} and () are equivalent NA-MKM 2004 Phoenix

  16. Examples NA-MKM 2004 Phoenix

  17. Query Results: 2 Choices • Document list • Links to DLMF sections • Matching equations highlighted • Equation list • Created on-the-fly • Links to containing document, positioned with matching equation at top of window NA-MKM 2004 Phoenix

  18. Recent Developments • Mathematica and Maple nomenclature • function names • order of arguments • Wild cards • $ matches any one token • \* matches any alphanumeric string in a token • Null in argument list, e.g. Euler’s generalized beta integral Beta[z0,z1,,] NA-MKM 2004 Phoenix

  19. DLMF Search Demonstrations Mathematica and Maple Illustrations Equation Search Page NA-MKM 2004 Phoenix

  20. Legendre Functions NA-MKM 2004 Phoenix

  21. NA-MKM 2004 Phoenix

  22. NA-MKM 2004 Phoenix

  23. NA-MKM 2004 Phoenix

  24. NA-MKM 2004 Phoenix

  25. NA-MKM 2004 Phoenix

  26. NA-MKM 2004 Phoenix

  27. NA-MKM 2004 Phoenix

  28. Spheroidal Wave Functions NA-MKM 2004 Phoenix

  29. NA-MKM 2004 Phoenix

  30. NA-MKM 2004 Phoenix

  31. NA-MKM 2004 Phoenix

  32. NA-MKM 2004 Phoenix

More Related