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