A Formalization of the Change of Variables Formula for Integrals in mathlib.

Sébastien Gouëzel

Published in: CICM (2022)

Keyphrases

universally quantified
knowledge representation
random variables
conditional probabilities
formal model
boolean variables
data sets
search engine
first order logic
variable selection
state variables
propositional formulas
relevant variables
logical formulas
sugeno integral