MathWebSearch Appliance
We use the term "MathWebSearch Appliance" much in the style of Google, only that we do not offer special hardware. What we mean is a readily installable instance of MathWebSearch? customized for a special library of content math. A MathWebSearch Appliance will normally encompass
- a special crawler for the library
- a general index and admin console
- a special user interface and query generator
- a special ranking and result presentation component.
all packaged to be installable out of the box. A MathWebSearch appliance will usually completely abstract away from the interals of the MathWebSearch System, so that it seamlessly integrates into the host environment.
We are currently planning MathWebSearch appliances for TPTP, Mizar, and PlanetMath.
