If you're looking for something other than Moogle, there are several other tools that can help you quickly find and understand mathematical ideas and references.
SciSpace is an information retrieval system that can help you do literature reviews by letting you interact better with scientific PDFs. You can upload your own PDFs or tap into more than 200 million research papers and ask questions to get the system to explain and summarize results. That's useful for researchers, students and professionals who need to speed up and improve the quality of literature reviews.
Another interesting option is ChatPDF, an AI system that can process a range of documents like research papers, academic papers, contracts and financial reports. You can ask questions and get answers and summaries, with citations to the relevant parts of the original document. It works in multiple languages and is good for anyone who needs to get quick answers out of documents.
If you want a broader academic search experience, check out Consensus. It's an AI-powered search engine that lets you quickly find and understand the most relevant science and research papers. It indexes more than 200 million papers across all subjects and offers features like AI insights, filtering options and access to the underlying research papers. Consensus is good for students, researchers and professionals who need to do literature reviews faster and validate research more easily.