Symbolab is a semantic web search engine for math and science. It allows users to search for equations, formulas and expressions using mathematical symbols and scientific notations as well as full text search. The stated goal of the site is to provide the most relevant search results that are theoretically and semantically similar, rather than visually.
"The Redlink Platform consists of a number of services that are offered to users through a REST API. The Platform provides three main services: Redlink Content Analysis, Redlink Linked Data Publishing and Redlink Semantic Search."