approach to mathematics in which computation is used to investigate mathematical objects and identify properties and patterns
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).