Formalization of camera pose estimation algorithm based on Rodrigues formula (Q826358)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formalization of camera pose estimation algorithm based on Rodrigues formula
scientific article

    Statements

    Formalization of camera pose estimation algorithm based on Rodrigues formula (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    4 January 2021
    0 references
    camera pose estimation
    0 references
    Rodrigues formula
    0 references
    least squares method
    0 references
    formalization
    0 references
    HOL Light
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references