The MathWebSearch system is a content-based search engine
for mathematical formulae. It indexes OpenMath and content MathML formulae,
using a technique from automated theorem proving: Substitution Tree Indexing.
A running implementation is available at
http://search.mathweb.org/.
The software is licensed under the GNU General Public License.
| [URL] | search.mathweb.org |
| Back to Demoes of MathUI 2006 | Demoes of MathUI 2006 last updated on Mon Aug 07 2006 |