A proof of Connelly's conjecture on 3-connected circuits of the rigidity matroid.

Alex R. Berg Tibor Jordán

Published in: J. Comb. Theory, Ser. B (2003)

Keyphrases

greedy algorithm
high speed
analog vlsi
delay insensitive
linear logic
connected components
mathematical proofs
database
quantum computing
digital circuits
low power
combinatorial optimization
random walk
theorem prover
point correspondences
artificial neural networks
expert systems
data sets
real time