Proof of the Double Bubble Conjecture.

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