iBet uBet web content aggregator. Adding the entire web to your favor.

Help

Examples

m < \infty Queries are formulated in LaTeX.

\sin(x) Standard math commands are supported but mathematical variables are not instantiated.

?a^2 + ?b^2 Search variables should be marked by a preceding question mark and ended by whitespace characters.

?a+?b = ?b+?a Variables can occur multiple times and receive identical instantiations; this query matches commutativity.

?f(?a+?b) Query variables are also allowed in functional position.

The zbMATH Open formula search uses the MathWebSearch system, which is a content-based search engine for MathML formulae based on substitution tree indexing. The first prototype is a result of a joint research project of FIZ Karlsruhe with the Jacobs University Bremen, funded by the Leibniz Association, which aims at developing concepts and methods for a semantic analysis and retrieval of mathematical formulae in the zbMATH Open corpus.