Acknowledgements

Thanks to the DLMF project and it’s Editors — Frank Olver, Dan Lozier, Ron Boisvert, and Charles Clark — for providing the motivation and opportunity to pursue this.

Thanks to the arXMLiv project, in particular Michael Kohlhase and Heinrich Stamerjohanns, for providing a rich testbed and testing framework to exercise the system. Additionally, thanks to Ioan Sucan, Deyan Ginev, Catalin David and Silviu Oprea for testing help and for implementing additional packages.