"Graphical User Interface for Search of Mathematical Expressions with ..."

Takayuki Watabe, Yoshinori Miyazaki (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics