The Boolean complexity of computing Chow forms

We consider the complexity of computing Chow forms and their generalization to multiprojective spaces. We develop a deterministic algorithm using resultants, and obtain a single exponential complexity upper bound. Earlier computational results for Chow forms were in the arithmetic complexity model; our result represents the first Boolean complexity bound. We also extend our algorithm to multiprojective Chow forms and obtain the first computational result in this setting. The motivation for our work comes from incidence geometry where intriguing problems for computational algebraists remain open.