Login / Signup
A Proof of Brouwer's Toughness Conjecture.
Xiaofeng Gu
Published in:
SIAM J. Discret. Math. (2021)
Keyphrases
</>
neural network
theorem prover
theorem proving
proof planning
fixed point theorem
information retrieval
multiscale
automated theorem proving