Title: On semidefinite Farkas Lemma and dimensional rigidity of bar
frameworks.
Abstract: we develop a new semidefinite Farkas lemma using the
Borwein-Wolkowicz facial reduction algorithm.
This Lemma is then used to prove a recent characterization, by
Connelly and Gortler, of the dimensional rigidity
of bar frameworks.