Bruce R. Miller’s Publications

  • 1 Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, and Frank Tompa, editors. Proceedings of Conference on Intelligent Computer Mathematics, volume 9791 of Lecture Notes in Artificial Intelligence. Springer International Publishing, 2016.
  • 2 Bruce R. Miller. Strategies for parallel markup. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Proceedings of Conference on Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Artificial Intelligence, pages 203–210. Springer International Publishing, 2015.
  • 3 Deyan Ginev, Bruce Miller, and Silviu Oprea. E-books and graphics with LaTeXml. In et al. Stephan Watt, editor, Proceedings of Conference on Intelligent Computer Mathematics, volume 8543 of Lecture Notes in Artificial Intelligence, pages 427–430. Springer, Heidelberg, 2014.
  • 4 Bruce Miller. Three years of dlmf: Web, math and search. In Proceedings of Conference on Intelligent Computer Mathematics, volume 7961 of Lecture Notes in Artificial Intelligence, pages 288–295. Springer, Heidelberg, 2013.
  • 5 Deyan Ginev and Bruce Miller. LaTeXml 2012 - a year of LaTeXml. In Proceedings of Conference on Intelligent Computer Mathematics, volume 7961 of Lecture Notes in Artificial Intelligence, pages 335–338. Springer, Heidelberg, 2013.
  • 6 Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, and Michael Kohlhase. The LaTeXML daemon: Editable math on the collaborative web. In Proceedings of Conference on Intelligent Computer Mathematics, volume 6824 of Lecture Notes in Artificial Intelligence, pages 292–294. Springer, Heidelberg, 2011.
  • 7 Ron Ausbrooks, Stephen Buswell, David Carlisle, Giorgi Chavchanidze, Stéphane Dalmas, Stan Devitt, Angel Diaz, Sam Dooley, Roger Hunter, Patrick Ion, Michael Kohlhase, Azzeddine Lazrek, Paul Libbrecht, Bruce Miller, Robert Miner, Murray Sargent, Bruce Smith, Neil Soiffer, Robert Sutor, and Stephen Watt. Mathematical Markup Language (MathML) version 3.0. W3C Recommendation, World Wide Web Consortium (W3C), 2010.
  • 8 Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, and Bruce Miller. Transforming large collections of scientific publications to XML. Mathematics in Computer Science, 3(3):299–307, 2010.
  • 9 Bruce R. Miller and Abdou Youssef. Augmenting presentation mathml for search. In Proceedings of Conference on Intelligent Computer Mathematics, volume 5144 of Lecture Notes in Artificial Intelligence. Springer, Heidelberg, 2008.
  • 10 Bruce R. Miller. Creating webs of math using latex. In 6th International Congress on Industrial and Applied Mathematics, volume 7 of Proceedings in Applied Mathematics & Mechanics, July 2007.
  • 11 Bruce R. Miller. Authoring mathematical knowledge. In 2nd North American Workshop on Mathematical Knowledge Management, January 2004.
  • 12 Bruce R. Miller and Abdou Youssef. Technical aspects of the digital library of mathematical functions. Annals of Mathematics and Artificial Intelligence, 38(1–3):121–136, 2003.
  • 13 Daniel W. Lozier, Bruce R. Miller, and Bonita V. Saunders. Design of a digital mathematical library for science, technology and education. In Proceedings of IEEE Advances in Libraries Conference, May 1999.
  • 14 S. Fuller, Amy Boyles, and Bruce R. Miller. BLCC-NIST Building Life-Cycle Cost Program, Version 5.0, October 2000.
  • 15 Ronald F. Boisvert and Bruce R. Miller. Enhancing interactivity of software and data repositories with java. In 15th IMACS World Congress on Scientific Computation, volume 4 of Modelling and Applied Mathematics, pages 767–772, August 1997.
  • 16 Ronald F. Boisvert, Shirley V. Browne, Jack J. Dongarra, Eric Grosse, and Bruce R. Miller. Interactive and dynamic content in software repositories. 1997.
  • 17 Ronald F. Boisvert, Shirley V. Browne, Eric Grosse, Bruce R. Miller, and W. Van Snyder. Design of a problem taxonomy for mathematical software. 1995.
  • 18 Bruce R. Miller. An expression formatter for macsyma. Technical Report NIST-IR 5618, National Institute of Standards and Technology, Gaithersburg, MD, 20899, 1995.
  • 19 Bruce R. Miller and Vincent T. Coppola. Synchronization of perturbed nonlinear hamiltonian oscillators. International Journal of Nonlinear Dynamics, 30:69–80, 1995.
  • 20 Antonio Elipe, Bruce R. Miller, and M. Vallejo. Bifurcations in a non-symmetric cubic potential. Astronomy and Astrophysics, 300:722–725, 1995.
  • 21 Bruce R. Miller and Vincent T. Coppola. Non-canonical tranformations of nonlinear hamiltonians. In Hamiltonian Dynamical Systems, pages 283–290. Springer-Verlag, 1995.
  • 22 Paul H. E. Meijer, A. H. M. Levelt, and Bruce R. Miller. Analysis of the critical line network for the van der waals equation at the van laar point. Journal of Statistical Physics, 71:313–326, 1993.
  • 23 Bruce R. Miller and Vincent T. Coppola. Synchronization of perturbed non-linear hamiltonians. Celestial Mechanics, 55:331–350, 1993.
  • 24 Sebastian Ferrer and Bruce R. Miller. Coordinates for perturbed keplerian systems with axial symmetry. Celestial Mechanics, 53:3–10, 1992.
  • 25 Bruce R. Miller. The lissajous transformation iii. parametric bifurcations. Celestial Mechanics, 51:251–270, 1991.
  • 26 Shannon Coffey, André Deprit, Etienne Deprit, Liam Healy, and Bruce R. Miller. A toolbox for nonlinear dynamics. In Computer Aided Proofs in Analysis, pages 97–115. Springer-Verlag, 1990.
  • 27 André Deprit, Bruce R. Miller, and Carol A. Williams. Gylden systems: Rotation of pericenters. Astrophysics and Space Science, 159:239–270, 1989.
  • 28 Bruce R. Miller. A program generator for efficient evaluation of fourier series. In Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC ’89, pages 199–206, New York, NY, USA, 1989. ACM.
  • 29 André Deprit and Bruce R. Miller. Simplify or perish. In Applications of Computer Technology to Dynamical Astronomy, volume 45, pages 189–200, 1989.
  • 30 André Deprit and Bruce R. Miller. Normalization in the face of integrability. Annals of the New York Academy of Sciences, 536:101–126, 1988.
  • 31 Shannon L. Coffey, André Deprit, Bruce R. Miller, and Carol A. Williams. The quadratic zeeman effect in moderately strong magnetic fields. Annals of the New York Academy of Sciences, 497:22–36, 1987.
  • 32 Shannon L. Coffey, André Deprit, and Bruce R. Miller. The critical inclination in artificial satellite theory. Celestial Mechanics, 36:365–406, 1986.
  • 33 Shannon L. Coffey, André Deprit, and Bruce R. Miller. The nature of the critical inclination in artificial satellite theory. In Space Dynamics and Celestial Mechanics, pages 39–52. D. Reidel Publishing Company, 1986.
  • 34 Bruce R. Miller. On the accuracy of molecular structures determined from precise electron diffraction data. PhD thesis, University of Texas, 1983.
  • 35 Bruce R. Miller and Manfred Fink. The vibrationally averaged, temperature-dependent structure of polyatomic molecules. iii. n2⁢o. Journal of Chemical Physics, 83:939–944, 1985.
  • 36 Hartmut Schmidt, A. Bäring, Enno Meyer, and Bruce R. Miller. Preparation of molecular states in an ion-atom crossed-beam scattering experiment by laser excitation. Physics Review Letters, 48:1008–1011, 1982.
  • 37 Bruce R. Miller and Manfred Fink. Mean amplitudes of vibration of s⁢f6 and intramolecular multiple scattering. Journal of Chemical Physics, 75:5326–5328, 1981.
  • 38 Bruce R. Miller and Lawrence S. Bartell. Extension of glauber theory to account for intratarget diffraction in multicenter scattering. Journal of Chemical Physics, 75:800–807, 1980.
  • 39 Bruce R. Miller. Effect of finite scattering geometry on measured electron diffraction cross-sections. M. a. thesis, University of Texas, 1978.
  • 40 Bruce R. Miller and Manfred Fink. Effect of finite scattering geometry on measured electron differential cross sections, ii. Journal of Molecular Structure, 48:373–380, 1978.
  • 41 Bruce R. Miller and Manfred Fink. Effect of finite scattering geometry on measured electron differential cross sections. Journal of Molecular Structure, 48:363–372, 1978.