MATLAS 数学文献

分享海报

@user_c6124052/atalas

Search MATLAS (Atlas of Mathematics), a semantic search engine for mathematical theorems, definitions, lemmas, corollaries, and conclusions. This skill should be used when the user asks to search for, look up, or retrieve mathematical content — including theorem statements, formal definitions, known results, or references from the mathematical literature. Triggers include phrases like "search matlas for X", "look up theorem X on matlas", "find the definition of X in mathematical literature", "search for mathematical results about X", or any request to use matlas.ai.