Date: Jul 14, 2013 11:44 AM
Author: Richard Fateman
Subject: DLMF not machine readable?  (was .. An independent integration test<br> suite)

On 7/14/2013 2:46 AM, 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

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.