Login / Signup
Analytical Parameterization of Rotors and Proof of a Goldberg Conjecture by Optimal Control Theory.
Térence Bayen
Published in:
SIAM J. Control. Optim. (2009)
Keyphrases
</>
theorem prover
theorem proving
decision making
automated theorem proving
neural network
real world
image processing
video sequences
multiresolution
description logics
complete axiomatization