Definability of Geometric Properties in Algebraically Closed Fields.

Olivier Chapuis Pascal Koiran

Published in: Math. Log. Q. (1999)

Keyphrases

finite number
geometric properties
extreme points
geometric objects
fixed point
propositional logic
computer vision
geometric constraints
image analysis
relative position
d objects
image matching
linear systems
iterative methods