Login / Signup
A proof of Serre's theorem.
Norman L. Biggs
Published in:
Discret. Math. (1989)
Keyphrases
</>
interactive theorem proving
theorem prover
search engine
von neumann
proof planning
digital topology
automated theorem proving
theorem proving
heavy traffic limit
logical rules
proof theory
multiresolution
relational databases
similarity measure
information systems
computer vision
social networks