Archive for July 25th, 2009


Saturday, July 25th, 2009

I am thinking about syntax, equation representation and display, symbolic computations, and all that stuff a lot lately. Now by chance I stumbled over somewhat the reverse process (via micromath):
detexify, a nice little tool that lets you draw a symbol and (hopefully) retrieve the corresponding LaTeX command for it. Mathematical formula recognition seems to be a beast of its own kind, still it would be nice to have sort of an electronic scratch paper on wich you can scribble your formulas and the system reads them and checks them for validity.