Login / Signup
Proof of the Double Bubble Conjecture.
Frank Morgan
Published in:
Am. Math. Mon. (2001)
Keyphrases
</>
theorem prover
theorem proving
image processing
geometry theorem proving
database
databases
social networks
three dimensional
database systems
linear logic
proof theory
proof planning