What is this?
This is a mathematical search engine which allows you for searching mathematics on the web.
How to start searching?
Type mathematics in simple TeX format (no tables etc.) into the first search box labelled "Math" and type text into the search box labelled with "Text".
Examples
Math: eegomath \cos^2 (x)+\sin^2 (x) egomathh Text: empty Abstracted: no
Math: eegomath \sin^2 (x)+\cos^2 (x) egomathh Text: empty Abstracted: no
Math: eegomath \cos(\theta + \phi) = \cos \theta \cos \phi - \sin \theta \sin \phi egomathh Text: empty Abstracted: yes
Math: eegomath \int_0^1 f egomathh Text: empty Abstracted: no
Math: eegomath \sum_{n=1}^{\infty} (1/n) egomathh Text: "is equal to" Abstracted: no
Math: eegomath egonum^2+egonum^2=egonum^2 egomathh Text: empty Abstracted: no
More
More advanced searching
We define 5 types of generlised elements: variable, constant, operator, number and any of these. We encode them with "egovar", "egoconst", "egooper", "egonum", "egoany". If you want to search for all integrals with interval defined by numbers, enter eegomath \int_{egonum}^{egonum} egomathh (\int_{egonum}^{egonum}) . If you do not care about the upper limi: eegomath \int_{egonum}^{egoany} egomathh (\int_{egonum}^{egoany}) .
More Interesting examples or why the Abstract math feature?
Do you know Vasicek model used in economy? Me neither, but the theorem is
eegomath \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{x} e^{-\frac{z^2}{2}} dz egomathh.
If you put this into this mathematical search engine the results are the Vasicek model. However, if you abstract it enough, you will get another hit which is
(very likely) the same theorem but typeset with several different variables. Try it out:
Math: eegomath \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{x} e^{-\frac{z^2}{2}} dz egomathh Text: empty Abstracted: no
Math: eegomath \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{x} e^{-\frac{z^2}{2}} dz egomathh Text: empty Abstracted: yes