SearchOnMath：数学搜索引擎【美国】

栏目分类：国外搜索引擎 发布日期：2021-06-24 浏览次数：次

　　网站logo：

　　网站名称：SearchOnMath

　　周博搜索评分：★★★☆☆

　　网站地址：https://www.searchonmath.com

　　网站缩略图：

　　
　　SearchOnMath首页缩略图

　　网站介绍：

　　SearchOnMath：这是一个数学搜索引擎，可以在各种与数学相关的网站上搜索 1100 万个公式。

　　SearchOnMath是第一个使用 MathJax 的搜索引擎。包含文本和数学元素的查询会生成包含这两种类型信息的一组页面。也就是说，一些与查询中的词相关的文本内容以及至少一个与提交的公式具有某种程度相似性的公式。

　　SearchOnMath 是由 searchonmath.com 发布的免费搜索工具扩展：通过安装此扩展，您只需单击一下即可提交要在 SearchOnMath.com 上搜索的公式。只需将鼠标移到所需的...这里的所有应用程序、游戏或扩展程序仅供家庭或个人使用。

　　
SearchOnMath搜索结果页面图

　　【官网介绍】SearchOnMath 是一个搜索引擎，专为来自多个知识领域的数学内容而设计。与传统的纯文本搜索工具不同，SearchOnMath 能够搜索数学公式和/或文本。目前它的指数有大约 1100 万个不同的公式，来自以下领域：

　　Mathematics StackExchange

　　MathOverflow

　　MathsGee

　　NIST DLMF

　　nLab

　　Physics Forums

　　Physics StackExchange

　　PlanetMath

　　Socratic

　　Wikipedia (English version)

　　Wolfram MathWorld

　　
　　SearchOnMath搜索结果页面图2

　　历史简介：

　　SearchOnMath 项目始于 2008 年 8 月，是里约热内卢联邦大学 Flavio Barbieri Gonzaga 博士工作的一部分。他的顾问是Valmir Carneiro Barbosa和Geraldo Bonorino Xexéo。

　　同年晚些时候，弗拉维奥加入了阿尔芬纳斯联邦大学的教职员工。多年来，当 Flavio、Valmir 和 Xexéo 致力于数学搜索引擎的主要方面时，本科生开发了与该项目相关的额外功能。

　　里程碑事件：

　　2009 年，Geraldo Lucas Jardim Cordeiro 在 MathML 中整理了一份完整的数学符号和运算符列表。从这项研究中产生了该工具的第一个原型界面。

　　2012 年和 2013 年，Renata Vieira Nobre 通过分析DLMF的公式，扩展了 Geraldo 编写的符号和运算符集。这有助于合并作为当前版本 SearchOnMath 一部分的符号和运算符集。

　　2013 年 3 月，Flavio 完成了他的博士学位，并发布了 SearchOnMath 的第一个版本。此版本由 Jan Victor Soares 和 Victor Carvalho 在 Web 界面上贡献。

　　2014 年 7 月，当前版本的 SearchOnMath 推出。它的 Web 界面由Talysson Oliveira Cassiano开发，并在接下来的几年中由 Caique H. dos Santos Matos 改进。Daniel Fernandes Rey 在后端开发了一些功能。

　　2015 年，SearchOnMath 成为NidusTec(阿尔芬纳斯联邦大学的企业孵化器)的孵化初创公司。

　　还是在 2015 年，SearchOnMath 加入了微软 BizSpark 计划，并于 2018 年毕业。

　　
　　SearchOnMath搜索结果页面图3

　　现在：

　　SearchOnMath 目前的合作伙伴正在不断发展：Flavio Barbieri Gonzaga、Valmir Carneiro Barbosa、Gustavo Carvalho Souza、Mario Augusto F. Bueno Filho、José Carlos T. da Silva 和 Reuel Ramos Ribeiro。

　　它目前在互联网上可用的几个数学知识基础上执行搜索(数学公式和/或文本)。数学搜索的基本操作包括以下两个主要元素。

　　词法分析。这使得表示独立于符号。例如，变量可以用罗马字母 (x, y, z, x_0, x_1, ...)、希腊字母 (α, β, ...) 等来定义。类似的灵活性也存在于各种其他数学元素中，所有这些元素都由 SearchOnMath 处理。

　　相似度。在词法分析之后，一个强大的引擎将目标公式的结构与数据库中包含的其他公式的结构进行比较。结构更相似的公式往往首先出现在结果页面上。

　　公式的渲染由MathJax工具执行。SearchOnMath 是第一个使用 MathJax 的搜索引擎。

　　包含文本和数学元素的查询会生成包含这两种类型信息的一组页面。也就是说，一些与查询中的词相关的文本内容以及至少一个与提交的公式具有某种程度相似性的公式。