Also known as Stieltjes integral, Riemann-Stieltjes integral
generalization of the Riemann integral where one integrates a function with respect to another function
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).