Login / Signup
A Primer on the Differential Calculus of 3D Orientations.
Michael Bloesch
Hannes Sommer
Tristan Laidlow
Michael Burri
Gabriel Nützi
Peter Fankhauser
Dario Bellicoso
Christian Gehring
Stefan Leutenegger
Marco Hutter
Roland Siegwart
Published in:
CoRR (2016)
Keyphrases
</>
automated deduction
proof procedure
real world
data mining
learning algorithm
website
decision trees
three dimensional
multiscale
multi agent
multi agent systems
automated theorem proving