Uintell Mathematics Encyclopedia

Supported entity types include domain, subdomain, theory, concept, definition, theorem, conjecture, method, algorithm, problem, article, author, journal, dataset, and formal proof. The current import populates concepts, topics, articles, citations, source descriptions, and suggested classifications. Missing relation families are shown as empty instead of invented. See the Encyclopedia of Mathematics licensing notice.