A Hot Spot Proof of the Generalized Wall Theorem.

Vitaly Bergelson Joseph Vandehey

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

Keyphrases

hot spots
interactive theorem proving
protein protein interactions
spatial analysis
machine learning
theorem proving
key factors
linear logic
high throughput
theorem prover
von neumann
location prediction