Proof of Grünbaum's Conjecture on the Stretchability of Certain Arrangements of Pseudolines.

Jacob E. Goodman Richard Pollack

Published in: J. Comb. Theory, Ser. A (1980)

Keyphrases

data sets
theorem prover
databases
social networks
case study
information technology
relational databases
proof planning
geometry theorem proving