Login / Signup
A Short Proof of the Bradley Theorem.
Dorde Baralic
Published in:
Am. Math. Mon. (2015)
Keyphrases
</>
interactive theorem proving
multi class
theorem proving
neural network
image processing
pairwise
database
metadata
optimal solution
video sequences
evolutionary algorithm
support vector machine
automated theorem proving