Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases.

XueFeng Chen Peng Li Long Lin DingKang Wang

Published in: Automated Deduction in Geometry (2004)

Keyphrases

numerically stable
methods in computer vision
polynomial equations
image processing
computer vision
scale space
numerical stability
geometric structure
object detection
social networks
basis functions
equal sized
geometric models
geometric features
partial differential equations
computer graphics
least squares