Login / Signup
Proof of the Katchalski-Lewis Transversal Conjecture for T(3)-Families of Congruent Discs.
Aladár Heppes
Published in:
Discret. Comput. Geom. (2007)
Keyphrases
</>
theorem proving
support vector
theorem prover
data structure
provably correct