27 points lo0dot0 2 days ago 10 comments
Here's what I found so far
approach0.xyz : offline
searchonmath.com : Gives irrelevant results such as p = m v when searching for F = m a
https://search.mathweb.org/: A collection of abandoned projects and offline sites
opengrass 1 hour ago | parent
Wolfram Alpha
proofsouq 1 hour ago | parent
ProofSouq.com! https://proofsouq.com
8M+ search index entries over Lean and Rocq corpora and growing; propositions only for now, so more oriented towards premise retrieval at the moment.
iib 10 minutes ago | parent
Lean also has https://www.leanexplore.com and https://loogle.lean-lang.org/
drnick1 1 hour ago | parent
Claude
throwawayffffas 1 hour ago | parent
wasabi991011 56 minutes ago | parent
If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.
recursivecaveat 52 minutes ago | parent
The encyclopedia of integer sequences can be quite useful: https://oeis.org/
jll29 24 minutes ago | parent
Slightly related:
https://oeis.org
infinito25 16 minutes ago | parent
+1 to wolfram alpha. But just like Chegg, I thought wolfram alpha would be harshly affected by the AI disruption.
I used it a lot in college but never since. Are current college folks still using it?