Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.


The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Three Years of DLMF: Web, Math & Search



Bruce R. Miller


DLMF was released to the public in May 2010 and is now completing its 3rd year online. As a somewhat early adopter of large-scale MathML content online, and exposing a math-aware search engine to the public, the project encountered situations distinct from those with our previous web sites. In the hopes that our experiences may inform developers of current and future Digital Library projects, We describe some of our observations delivering MathML content and trends in both web usage and browser evolution. We will also look at the the ways our readers have used math search, attempting to assess whether they found what they sought, and ways the engine might be improved.
Proceedings Title
Digital Mathematical Libraries
Conference Dates
July 8-12, 2013
Conference Location
BATH, -1
Conference Title
Conferences on Intelligent Computer Mathematics


Digital Mathematical Libraries, MathML, math search, citations, math on the web, http logs, user feedbackw
Created August 1, 2013, Updated November 10, 2018