On 7/14/2013 2:46 AM, firstname.lastname@example.org wrote: ...
. That's why I'd like to see the > DLMF completely machine-readable. > > Tim >
The DLMF offers (click on the "i" on the right side) each formula in TeX and png and pMML. The last of these looks like XML.
If having the DLMF delivered piecemeal to your browser is not machine-readable enough for your application, maybe you can ask the people at NIST for some kind of data dump.
In some respects the DLMF is a disappointment because it fails to make the connection to computer algebra systems (or even computer numeric systems -- there are no programs at all). In other respects it is a plus. The old A&S was firmly rooted in the "printed tables of logarithms" era -- 1940s. The DLMF has moved the technology to perhaps the mid 1980s with a dusting of newer web-display tech.