Login / Signup

A New Proof of the Neyman-Pearson Theorem Using the EEF and the Vindication of Sir R. Fisher.

Steven Kay
Published in: IEEE Signal Process. Lett. (2012)
Keyphrases
  • neyman pearson
  • interactive theorem proving
  • neural network
  • type ii
  • support vector machine
  • von neumann
  • theorem proving
  • binary classification
  • proof theory
  • digital topology
  • proof theoretic