In the search of a question

« first day (852 days earlier) ← previous day next day → last day (2066 days later) »

Martin Sleziak

4:50 AM

There are several recent posts on Meta mentioning SearchOnMath.

> A few years ago we developed the search engine SearchOnMath, in order to search for mathematical formulas. Unlike traditional, text-only search tools, SearchOnMath is able to search for mathematical formulas and/or text. Recently our tool has indexed both: Mathematics and MathOverflow.

> Currently, SearchOnMath is the mathematical search engine with the largest number of indexed sites (including Wikipedia, Wolfram MathWorld, among others ...).

> The following video illustrates how it works: SearchOnMath - a brief guide.

> P.S.: please, enclose formulas between ${}$. e.g. ${x+y}$.

SearchOnMath - a brief guide.

►

A: How do you search for specific questions?

A few years ago we developed the search engine SearchOnMath, in order to search for mathematical formulas. Unlike traditional, text-only search tools, SearchOnMath is able to search for mathematical formulas and/or text. Recently our tool has indexed both: Mathematics and MathOverflow. Currently...

A: How to search for a formula/expression

A few years ago we developed the search engine SearchOnMath, in order to search for mathematical formulas. Recently our tool has indexed both: Mathematics and MathOverflow. Currently, SearchOnMath is the mathematical search engine with the largest number of indexed sites (including Wikipedia, Wo...

-1

A: What is the best way to search for a math equation on the internet?

It was previously mentioned also on MathOverflow Meta:

A: Is there any third party search engine for MathOverflow?

SearchOnMath searches Math World and Wikipedia. They say you can contact them to get a site added.

And also on our meta:

A: How to search for a formula/expression

searchOnMath looks interesting too. I think you can do what you want there.

I have added a comment mentioning the recent announcement to those two posts.

I see that SearchOnMath has possibility to link to a specific search. $x^y=y^x$ in SeachOnMath and $x^y=y^x$ in Approach0.

I have mentioned this announcement also in the searching chatroom. Feel free to stop by sometimes. — Martin Sleziak 10 secs ago

I see that the same announcement was posted also on the main site:

A: How to google search mathematical notions and expressions?

A: How to search the internet for strings that consist mostly of math notation?

Comments mentioning Approach0 and approach0.xyz.

Messages in chat about Approach0 and approach0.xyz.

Comments mentioning searchonmath and searchonmath.com. So far only one on the main - but I will not be surprised if more of them appear after the recent post.

This looks like Calc I, and self study. Sandwich theorem should work. link — EngrStudent Oct 20 '16 at 13:54

Messages in chat about SearchOnMath and searchonmath.com.

1 hour later…

Martin Sleziak

6:30 AM

This is a useful tool. I often use it. I have the following wish about a more refined pattern matching. At times, I want to search for a formula, say $x^3-3x+1$. Can I give weights to parts of the formula? Here it may easily happen that I am also interested in $y^3-3y+1$ or $n^3-3n+1$, but I know in advance that for my purposes any hit with, say $x^3+3x+1$ or $x^2+3x+1$, will be useless to me. Is there a way to freeze those constants so that only an exact match is acceptable? — Jyrki Lahtonen 1 hour ago

This becomes more pressing, when I combine a rarely occurring formula with a common keyword. The search engine floods me with links to posts containing a fractional match with the formula, highlighting the keyword that was only a secondary search target, added only to filter out other noise. — Jyrki Lahtonen 1 hour ago

This seems to be similar to this recent inquiry:

Jan 23 at 13:26, by Martin R

Does Approach0 not distinguish between "=" and "<=" ? A search for $f(x+y) \le f(x) + f(y)$ shows (almost) only results about $f(x+y) = f(x) + f(y)$.

yesterday, by Wei Zhong

@MartinR Unfortunately A0 does not distinguish operator symbols within the same tokens. In short, this is a trade-off result that is rooted in our model (for the sake of efficiency and search recall), I can improve it later but currently I have no choice but to tokenize them as the same token (so that you can still search one for the other) and get better recall.

@JyrkiLahtonen I have left a short comment on this here in chat - but Wei Zhong will be able to provide a better answer. Regardless of this specific issue, when you are looking for some posts and you're having trouble finding it, feel free to post in the searching chatroom. There are a few users who visit it, perhaps if more people have a look somebody might have a suggestion how to find what you're looking for. — Martin Sleziak 24 secs ago

Thanks @MartinSleziak. Bookmarking that chatroom. — Jyrki Lahtonen 3 mins ago

« first day (852 days earlier) ← previous day next day → last day (2066 days later) »

all rooms