• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Formal Proof of Cauchy's Residue Theorem.

Wenda LiLawrence 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