Formalizing the Divergence Theorem and the Cauchy Integral Formula in Lean.

Yury Kudryashov

Published in: ITP (2022)

Keyphrases

evolutionary programming
maximum likelihood
data sets
databases
np complete
kullback leibler
relative entropy
integral equation
lagrange interpolation