https://zbmath.org/

An abstracting and indexing service for pure and applied mathematics.