A One-Sentence Line-of-Sight Proof of the Extreme Value Theorem.

Samuel J. Ferguson

Published in: Am. Math. Mon. (2014)

Keyphrases

extreme values
interactive theorem proving
natural language
text summarization
linear logic
lead time
theorem prover
sentence level
data sets
neural network
probability distribution
part of speech
linguistic features
automatic summarization
natural language sentences
discourse structure