A strange new tool

I just tried out Springer’s strange new search tool LaTeX Search, which allows you to search for equations (in LaTeX naturally) in published papers. When I first read the promotional email, it sounded like one of those things I didn’t know I needed, but after trying it out for a while, I’ve concluded that now I know it’s something I don’t need. Basically it seems to be a non-solution to a non-problem!

The premise is simple:  just like searching for a key word or phrase, you can search for an equation (well, actually any expression, not just equations) written in LaTeX and the search tool will find papers in which that equation occurs. Here’s an example of searching just for $I(G;x)$ which is a commonly used notation for the independence polynomial of a graph.

Latex Search Example

The trouble is that apart from carefully chosen examples like this one, it just doesn’t work very well. Even ignoring the huge limitation that it only searches Springer articles, it’s difficult to actually search for anything whose precise form you don’t already know. An expression or equation involving a particular mathematical concept can be written in many different ways, simply by minor variations of notation or choice of variable name. For example, the chromatic polynomial of a graph can be written P(G;\lambda) or P(G,\lambda) or P_G(\lambda) or P_G(z) or P_G(q) and so on, and unless you hit on exactly the right one, you’re out of luck. If I’m looking for some dimly remembered equation involving chromatic polynomials, I’d be much better off using MathSciNet and searching for “chromatic polynomial”. Even worse, the exact same expression can be rendered in LaTeX in different ways, depending on which flavour of LaTeX has been used, so you might search hard for $\frac{1}{2}$ only to discover that the author used ${1 \over 2}$.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

Up ↑

%d bloggers like this: