The DLMF offers (click on the "i" on the right side) eachformula in TeX and png and pMML. The last of these looks likeXML.

If having the DLMF delivered piecemeal to your browser is notmachine-readable enough for your application, maybe you can askthe people at NIST for some kind of data dump.

In some respects the DLMF is a disappointment because it failsto make the connection to computer algebra systems (or evencomputer numeric systems -- there are no programs at all).In other respects it is a plus. The old A&S was firmly rootedin the "printed tables of logarithms" era -- 1940s. TheDLMF has moved the technology to perhaps the mid 1980s witha dusting of newer web-display tech.