A geometric proof of Rosenbrock's theorem on pole assignment.

Moisés Bonilla Estrada Jean Jacques Loiseau Rafael Baquero

Published in: Kybernetika (1997)

Keyphrases

interactive theorem proving
geometry theorem proving
geometric reasoning
von neumann
theorem proving
databases
geometric information
high order
database
geometric constraints
fixed point
theorem prover
expert systems
image processing
information systems
computer vision
data sets