Bruce R. Miller

24 papers B 1C 7Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2020 C conf
A Contextual and Labeled Math-Dataset Derived from NIST's DLMF.
CICM
Abdou Youssef, Bruce R. Miller
2020 C ed.
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
CICM
Christoph Benzmüller, Bruce R. Miller
2020 J jnl
Math-word embedding in math search and semantic extraction.
Scientometrics
André Greiner-Petter, Abdou Youssef, Terry Ruas, Bruce R. Miller, Moritz Schubotz, Akiko Aizawa, Bela Gipp
2020 B conf
Scientific Statement Classification over arXiv.org.
LREC
Deyan Ginev, Bruce R. Miller
2019 C conf
Explorations into the Use of Word Embedding in Math Search and Math Semantics.
CICM
Abdou Youssef, Bruce R. Miller
2019 J jnl
Scientific Statement Classification over arXiv.org.
CoRR
Deyan Ginev, Bruce R. Miller
2018 C conf
Deep Learning for Math Knowledge Processing.
CICM
Abdou Youssef, Bruce R. Miller
2018 — conf
RFC: DLMF Content Dictionaries (short paper).
CICM Workshops
Bruce R. Miller
2017 — ed.
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016.
FM4M/MathUI/ThEdu/DP/WIP@CIKM
Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa, Martin Suda
2016 C ed.
Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
CICM
Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de Moura, Frank Wm. Tompa
2015 — conf
Dynamic 3D visualizations of complex function surfaces using X3DOM and WebGL.
Web3D
Bonita V. Saunders, Brian Antonishek, Qiming Wang, Bruce R. Miller
2015 C conf
Strategies for Parallel Markup.
CICM
Bruce R. Miller
2015 J jnl
Strategies for Parallel Markup.
CoRR
Bruce R. Miller
2014 J jnl
E-books and Graphics with LaTeXML.
CoRR
Deyan Ginev, Bruce R. Miller, Silviu Oprea
2014 C conf
E-books and Graphics with.
CICM
Deyan Ginev, Bruce R. Miller, Silviu Oprea
2014 J jnl
LaTeXML 2012 - A Year of LaTeXML.
CoRR
Deyan Ginev, Bruce R. Miller
2013 — conf
2012 - A Year of.
MKM/Calculemus/DML
Deyan Ginev, Bruce R. Miller
2013 — conf
Three Years of DLMF: Web, Math and Search.
MKM/Calculemus/DML
Bruce R. Miller
2011 — conf
The LaTeXML Daemon: Editable Math on the Collaborative Web.
Calculemus/MKM
Deyan Ginev, Heinrich Stamerjohanns, Bruce R. Miller, Michael Kohlhase
2010 J jnl
Transforming Large Collections of Scientific Publications to XML.
Math. Comput. Sci.
Heinrich Stamerjohanns, Michael Kohlhase, Deyan Ginev, Catalin David, Bruce R. Miller
2008 — conf
Augmenting Presentation MathML for Search.
AISC/MKM/Calculemus
Bruce R. Miller, Abdou Youssef
2003 J jnl
Technical Aspects of the Digital Library of Mathematical Functions.
Ann. Math. Artif. Intell.
Bruce R. Miller, Abdou Youssef
2000 — conf
The Pacific Rim Library of the University of California, San Diego.
Kyoto International Conference on Digital Libraries
Karl K. Lo, Bruce R. Miller
1999 — conf
Design of a Digital Mathematical Library for Science, Technology and Education.
ADL
Daniel W. Lozier, Bruce R. Miller, Bonita V. Saunders