A Formal Proof of Cauchy's Residue Theorem.

Wenda Li Lawrence C. Paulson

Published in: ITP (2016)

Keyphrases

formal proof
theorem prover
maximum likelihood
evolutionary programming
amino acids
random projections
heavy tailed
data sets
artificial intelligence
artificial neural networks
von neumann