Fetching the paper…
Reading the bibliography…
Search engines for equations now exist, which return results matching the query's mathematical meaning or structural presentation.
J. Maldacena, “The large-n limit of superconformal field theories and supergravity,”
1999
Earlier work this paper cites.
M. Hazewinkel, “Mathematical knowledge management is needed,”
2003
Earlier work this paper cites.
J. H. Davenport,
2003
Earlier work this paper cites.
M. Kohlhase and I. Sucan,
2006
Earlier work this paper cites.
A. Youssef,
2006
Earlier work this paper cites.
M. Kohlhase and I. Sucan,
2006
Earlier work this paper cites.
P. Libbrecht and E. Melis,
2006
Earlier work this paper cites.
E. Seiler and I.-O. Stamatescu,
2007
Earlier work this paper cites.
A. Youssef, “Advances in math search,”
2007
Earlier work this paper cites.
D. Landy and R. L. Goldstone, “How abstract is symbolic thought?”
2007
Earlier work this paper cites.
W. Unruh, “Dumb holes: analogues for black holes,”
2008
Earlier work this paper cites.
H. Stamerjohanns and M. Kohlhase,
2008
Earlier work this paper cites.
S. Carroll, “Holes of slience,” Blog, Jun. 2009, accessed Aug 2016. [Online]. Available:
2009
Earlier work this paper cites.
O. Lahav, A. Itah, A. Blumkin, C. Gordon, S. Rinott, A. Zayats, and J. Steinhauer, “Realization of a sonic black hole analog in a bose-einstein condensate,”
2010
Earlier work this paper cites.
The Wolfram—Alpha Math Team, “Talk to Wolfram—Alpha in TeX,” Sep 2010, accessed Aug 2016. [Online]. Available:
2010
Earlier work this paper cites.
F. W. J. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark, Eds.,
2010
Earlier work this paper cites.
R. F. Boisvert, C. W. Clark, D. W. Lozier, and F. W. Olver, “A special functions handbook for the digital age,”
2011
Earlier work this paper cites.
R. Zanibbi and D. Blostein, “Recognition and retrieval of mathematical expressions,”
2011
Earlier work this paper cites.
P. Sojka and M. Líška, “Indexing and searching mathematics in digital libraries – architecture, design and scalability issues,” in
2011
Earlier work this paper cites.
J. D. Wells,
2012
Earlier work this paper cites.
M. Kohlhase, B. A. Matican, and C.-C. Prodescu,
2012
Earlier work this paper cites.
M. Kohlhase, B. A. Matican, and C.-C. Prodescu,
2012
Earlier work this paper cites.
T. T. Nguyen, K. Change, and S. C. Hui, “A math-aware search engine for math question answering system,” in
2012
Earlier work this paper cites.
C. Sasarak, K. Hart, R. Pospesel, D. Stalnaker, L. Hu, R. Livolsi, S. Zhu, and R. Zanibbi, “min: A multimodal web interface for math search,” hCIR 2012, Oct 4 - 5, 2012, Cambridge, Massachussets, USA
2012
Earlier work this paper cites.
M. Líška, “Evaluation of mathematics retrieval,” Master’s thesis, Masaryk University, Faculty of Informatics, Brno, 2013. [Online]. Available:
2013
Earlier work this paper cites.
D. Stalnaker, “Math expression retrieval using symbol pairs in layout trees,” Thesis, David Stalnaker, http://scholarworks.rit.edu/theses/5533, Aug. 2013
2013
Earlier work this paper cites.
M.-Q. Nghiem, G. Y. Kristianto, and A. Aizawa, “Using MathML parallel markup corpora for semantic enrichment of mathematical expressions,”
2013
Earlier work this paper cites.
K. D. V. Wangari, “Discovering real-world usage scenarios for a multimodal math search interface,” Thesis, Rochester Institute of Technology, 2013. [Online]. Available:
2013
Earlier work this paper cites.
A. Aizawa, M. Kohlhase, and I. Ounis, “NTCIR-10 math pilot task overview,” in
2013
Earlier work this paper cites.
M. Kohlhase and C.-C. Prodescu, “MathWebSearch at NTCIR-10,” in
2013
Earlier work this paper cites.
X. Hu, L. Gao, X. Lin, Z. Tang, X. Lin, and J. B. Baker, “Wikimirs: A mathematical information retrieval system for wikipedia,” in
2013
Earlier work this paper cites.
E. Weisstein,
2014
Earlier work this paper cites.
Q. Zhang and A. Youssef,
2014
Earlier work this paper cites.
M.-Q. Nghiem, G. Y. Kristianto, G. Topić, and A. Aizawa,
2014
Earlier work this paper cites.
O. Urazmetov, “
2014
Earlier work this paper cites.
D. Hasegan, “Sorted unification in mathwebsearch,” Jacobs University - School of Engineering and Science, Mar. 2014. [Online]. Available:
2014
Earlier work this paper cites.
M. Iancu, M. Kohlhase, and C. Prodescu,
2014
Earlier work this paper cites.
K. D. V. Wangari, R. Zanibbi, and A. Agarwal, “Discovering real-world use cases for a multimodal math search interface,” in
2014
Earlier work this paper cites.
A. Aizawa, M. Kohlhase, I. Ounis, and M. Schubotz, “NTCIR-11 math-2 task overview,” in
2014
Earlier work this paper cites.
M. Líška, P. Sojka, and M. Růžička,
2014
Earlier work this paper cites.
J. Rákosník, P. Stanchev, and R. Pavlov, “Recent developments in digital mathematics libraries,” in
2014
Earlier work this paper cites.
N. Pattaniyil and R. Zanibbi, “Combining TF-IDF text retrieval with an inverted index over symbol pairs in math expressions: The Tangent math search engine at NTCIR 2014,” in
2014
Earlier work this paper cites.
O. A. Nevzorova, N. Zhiltsov, A. Kirillovich, and E. Lipachev,
2014
Earlier work this paper cites.
M. S. Reichenbach, A. Agarwal, and R. Zanibbi, “Rendering expressions to improve accuracy of relevance assessment for math search,” in
2014
Earlier work this paper cites.
R. Hambasan, M. Kohlhase, and C.-C. Prodescu, “MathWebSearch at NTCIR-11,” in
2014
Earlier work this paper cites.
H. S. Cohl, M. A. McClain, B. V. Saunders, M. Schubotz, and J. C. Williams,
2014
Cited alongside, same era.
National Research Council,
2014
Cited alongside, same era.
V. E. Hubeny, “The AdS/CFT Correspondence,”
2015
Cited alongside, same era.
R. Zanibbi and A. Orakwue,
2015
Cited alongside, same era.
F. Guidi and C. Sacerdoti Coen,
2015
Cited alongside, same era.
2015
Cited alongside, same era.
RIT lab, “Multimodal math input with min,” accessed Aug 2016. [Online]. Available:
2016
Closest in time.
M. Suzuki, “InftyReader version 3.0 - outline of the software,” web, 2015, accessed Aug 2016. [Online]. Available:
2016
Closest in time.
Science Accessibility Net, “InftyReader version 3.0 - outline of the software,” web, Jul 2016, accessed Aug 2016. [Online]. Available:
2016
Closest in time.
“Infty Project - software,” web, accessed Aug 2016. [Online]. Available:
2016
Closest in time.
Springer, “LaTeX Sandbox,” accessed Apr 2016. [Online]. Available:
2016
Closest in time.
W3C Math Working Group, “Tools,” Jan 2016, accessed Apr 2016. [Online]. Available:
2016
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2015
Cited alongside, same era.
Foundational Questions Institute (FQXi), “Trick or truth: the mysterious connection between physics and mathematics,” accessed July 2016. [Online]. Available:
2015
Cited alongside, same era.
S. Pakin,
2015
Cited alongside, same era.
A. Oviedo, N. Kasioumis, and K. Aberer, “
2015
Cited alongside, same era.
2015
Cited alongside, same era.
FIZ Karlsruhe – Leibniz Institute for Information Infrastructure GmbH (FIZ Karlsruh), European Mathematical Society (EMS), FIZ Karlsruhe, the Heidelberg Academy of Sciences and Humanities, and Springer, “About zbMATH,” 2016, accessed Mar 2016. [Online]. Available:
2016
Cited alongside, same era.
Closest in time.
Wolfram Research, “Render MathML from Text,” 2016, accessed Apr 2016. [Online]. Available:
2016
Closest in time.
“MathML Central - convert expression to MathML,” Wolfram Research, accessed Aug 2016. [Online]. Available:
2016
Closest in time.
P. Hunter, “MathToWeb,” accessed Aug 2016. [Online]. Available:
2016
Closest in time.
J. Oden, “LaTeX2MathML - Online demonstration,” accessed Aug 2016. [Online]. Available:
2016
Closest in time.
“TeXZilla - Live Demo,” accessed Aug 2016. [Online]. Available:
2016
Closest in time.
“MathML to TeX Online Translator,” accessed Aug 2016. [Online]. Available:
2016
Closest in time.
D. Carlisle, “web-xslt - pmml2tex,” 2010, accessed Aug 2016. [Online]. Available:
2016
Closest in time.
David Carlisle, “Thread: I want to convert MathML to LaTeX,” Comment on StackExchange, Dec 2012, accessed Aug 2016. [Online]. Available:
2016
Closest in time.
user Zelo, “Thread: MathML to LaTeX conversion,” Comment on StackOverflow, Jan 2014, accessed Aug 2016. [Online]. Available:
2016
Closest in time.
R. Pospesel, K. Hart, L. Hu, S. Zhu, D. Stalnaker, C. Sasarak, R. LiVolsi, A. Orakwue, and R. Zanibbi, “Overview of the min interface,” Feb 2014, accessed Mar, 2016. [Online]. Available:
2016
Closest in time.
“Latex search beta,” accessed Apr 2016. [Online]. Available:
2016
Closest in time.
NIST DLMF, “Guide to Searching the DLMF,” Aug 2015, v1.0.10. Accessed April 2016. [Online]. Available:
2016
Closest in time.
“Software index: NIST Digital Library of Mathematical Functions,” online companion to
2016
Closest in time.
“Frequently asked questions,” Wolfram Alpha, Wolfram Research, accessed Aug 2016. [Online]. Available:
2016
Closest in time.
A. Oviedo, Personal Communication, Mar 2016
2016
Closest in time.
“DPRL,” github, Apr 2015, accessed Apr 2016. [Online]. Available:
2016
Closest in time.
“MathWebSearch project,” Apr. 2013, accessed April 2016. [Online]. Available:
2016
Closest in time.
The KWARC group at Jacobs University, “MWS,” github, Nov 2015, accessed April 2016. [Online]. Available:
2016
Closest in time.
“WebMIaS,” accessed: Apr. 2016. [Online]. Available:
2016
Closest in time.
“WebMIaS,” github, Feb. 2016, accessed April 2016. [Online]. Available:
2016
Closest in time.
NTCIR-12, “Data - NTCIR-12 MathIR Task,” accessed Feb 2016. [Online]. Available:
2016
Closest in time.
“MIaS,” github, Mar. 2016, accessed April 2016. [Online]. Available:
2016
Closest in time.
“WebMIaS,” github, Mar. 2016, accessed April 2016. [Online]. Available:
2016
Closest in time.
“MIaSMath,” github, Feb. 2016, accessed April 2016. [Online]. Available:
2016
Closest in time.
Document and Pattern Recognition Lab (DPRL) at Rochester Institute of Technology, “Tangent,” github, Mar 2014, accessed Mar 2016. [Online]. Available:
2016
Closest in time.
N. Singer, A. Shouldice, L. Ye, T. Daske, P. Dobcsanyi, D. Manna, O.-Y. Chan, and J. Borwein, “isc+: Inverse symbolic calculator,” accessed August 2016. [Online]. Available:
2016
Closest in time.
The OEIS Foundation Inc., “The on-line encyclopedia of integer sequences,” Aug. 2016, accessed August 2016. [Online]. Available:
2016
Closest in time.
S. Petit, A. Darrasse, and F. Chyzak, “Encyclopedia of combinatorial structures (introduction),” Mar. 2011, accessed April 2016. [Online]. Available:
2016
Closest in time.
R. G. Scharein, “The KnotPlot Site,” Jan. 2014, accessed April 2016. [Online]. Available:
2016
Closest in time.
“The interactive geometry software cinderella,” Sep. 2013, accessed April 2016. [Online]. Available:
2016
Closest in time.
“The coq proof assistant,” accessed April 7, 2016. [Online]. Available:
2016
Closest in time.
“Mizar home page,” 2016, accessed April 2016. [Online]. Available:
2016
Closest in time.
“Digital repository of mathematical formulae,” Apr. 2014, accessed July 2016. [Online]. Available:
2016
Closest in time.
“Main page - nist digital repository of mathematical formulae,” Nov. 2015, accessed July 2016. [Online]. Available:
2016
Closest in time.
The Modelica Association, “Modelica,” 2016, accessed April 2016. [Online]. Available:
2016
Closest in time.
Wolfram Research, “Wolfram system modeler,” 2016, accessed April 2016. [Online]. Available:
2016
Closest in time.
“swMATH,” accessed April 2016. [Online]. Available:
2016
Closest in time.
J. Borwein, “Jon borwein’s mathematics portal,” university of Newcastle. Accessed April 2016. [Online]. Available:
2016
Closest in time.