Sign in

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