{"id":"https://openalex.org/W3094766313","doi":"https://doi.org/10.1007/s00165-020-00520-5","title":"Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula","display_name":"Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula","publication_year":2020,"publication_date":"2020-11-01","ids":{"openalex":"https://openalex.org/W3094766313","doi":"https://doi.org/10.1007/s00165-020-00520-5","mag":"3094766313"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-020-00520-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-020-00520-5","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102750217","display_name":"Shanyan Chen","orcid":"https://orcid.org/0009-0005-0837-5215"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Shanyan Chen","raw_affiliation_strings":["Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China","School of Mathematical Science, Capital Normal University, Beijing, China","Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China School of Mathematical Science, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"School of Mathematical Science, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China School of Mathematical Science, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100642258","display_name":"Guohui Wang","orcid":"https://orcid.org/0000-0002-3176-317X"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guohui Wang","raw_affiliation_strings":["Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China","School of Mathematical Science, Capital Normal University, Beijing, China","Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China School of Mathematical Science, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"School of Mathematical Science, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing, China School of Mathematical Science, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101640149","display_name":"Ximeng Li","orcid":"https://orcid.org/0000-0003-3708-4255"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ximeng Li","raw_affiliation_strings":["Beijing Key Laboratory of Electronic System Reliability Technology, College of Information Engineering, Capital Normal University, Beijing, China","International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China","Beijing Key Laboratory of Electronic System Reliability Technology, College of Information Engineering, Capital Normal University, Beijing, China International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Key Laboratory of Electronic System Reliability Technology, College of Information Engineering, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"Beijing Key Laboratory of Electronic System Reliability Technology, College of Information Engineering, Capital Normal University, Beijing, China International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088404530","display_name":"Qianying Zhang","orcid":"https://orcid.org/0000-0002-3246-9474"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qianying Zhang","raw_affiliation_strings":["Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China","International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China","International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072412248","display_name":"Zhiping Shi","orcid":"https://orcid.org/0000-0002-3562-8602"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiping Shi","raw_affiliation_strings":["Beijing Key Laboratory of Electronic System Reliability Technology, College of Information Engineering, Capital Normal University, Beijing, China","International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China","Beijing Key Laboratory of Electronic System Reliability Technology, College of Information Engineering, Capital Normal University, Beijing, China International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Key Laboratory of Electronic System Reliability Technology, College of Information Engineering, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"Beijing Key Laboratory of Electronic System Reliability Technology, College of Information Engineering, Capital Normal University, Beijing, China International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087366755","display_name":"Yong Guan","orcid":"https://orcid.org/0000-0002-2373-2779"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong Guan","raw_affiliation_strings":["Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China","International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China","International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]},{"raw_affiliation_string":"International Science and Technology Cooperation Base of Electronic System Reliability and Mathematical Interdisciplinary, Capital Normal University, Beijing, China Beijing Advanced Innovation Center for Imaging Theory and Technology, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5102750217"],"corresponding_institution_ids":["https://openalex.org/I96852419"],"apc_list":null,"apc_paid":null,"fwci":9.7663,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.97593814,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"32","issue":"4-6","first_page":"417","last_page":"437"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10191","display_name":"Robotics and Sensor-Based Localization","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10191","display_name":"Robotics and Sensor-Based Localization","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10531","display_name":"Advanced Vision and Imaging","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12549","display_name":"Image and Object Detection Techniques","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7381438612937927},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6796886324882507},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6063573360443115},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5106518864631653},{"id":"https://openalex.org/keywords/pose","display_name":"Pose","score":0.5082030296325684},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.47406429052352905},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4599728584289551},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4526507556438446},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4311528205871582},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4271894693374634},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36236172914505005},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21666845679283142},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16626647114753723}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7381438612937927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6796886324882507},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6063573360443115},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5106518864631653},{"id":"https://openalex.org/C52102323","wikidata":"https://www.wikidata.org/wiki/Q1671968","display_name":"Pose","level":2,"score":0.5082030296325684},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.47406429052352905},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4599728584289551},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4526507556438446},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4311528205871582},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4271894693374634},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36236172914505005},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21666845679283142},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16626647114753723},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-020-00520-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-020-00520-5","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4806771921","display_name":null,"funder_award_id":"61876111","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5371403447","display_name":null,"funder_award_id":"61877040","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G56527899","display_name":null,"funder_award_id":"61602325","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W69640471","https://openalex.org/W134451811","https://openalex.org/W207221367","https://openalex.org/W1564897360","https://openalex.org/W1991544872","https://openalex.org/W2040228857","https://openalex.org/W2056184026","https://openalex.org/W2075476010","https://openalex.org/W2086719270","https://openalex.org/W2091456056","https://openalex.org/W2095326957","https://openalex.org/W2096231567","https://openalex.org/W2133801457","https://openalex.org/W2154296488","https://openalex.org/W2262192856","https://openalex.org/W2359180288","https://openalex.org/W2528951757","https://openalex.org/W2566428922","https://openalex.org/W2753940902","https://openalex.org/W2778233634","https://openalex.org/W2788865504","https://openalex.org/W2809795075","https://openalex.org/W2962896489","https://openalex.org/W2963395756","https://openalex.org/W3018659568","https://openalex.org/W4285719527","https://openalex.org/W6679714438"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W2166178773","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2391979747","https://openalex.org/W2981877881","https://openalex.org/W2550448639"],"abstract_inverted_index":{"Abstract":[0],"Camera":[1],"pose":[2,83,101],"estimation":[3,84,102],"is":[4,42,53],"key":[5],"to":[6,65,98],"the":[7,45,48,56,93,100,125,135,144,147],"proper":[8],"functioning":[9],"of":[10,50,58,95,124,146],"robotic":[11],"systems,":[12,60],"supporting":[13],"critical":[14],"tasks":[15],"such":[16],"as":[17],"robot":[18],"navigation,":[19],"target":[20],"tracking,":[21],"camera":[22,82],"calibration,":[23],"etc.Whilemultiple":[24],"algorithms":[25],"solving":[26],"this":[27,70],"problem":[28,103],"have":[29],"been":[30,36],"proposed,":[31],"their":[32,63],"correctness":[33],"has":[34],"rarely":[35],"validated":[37],"using":[38],"formal":[39,51],"techniques.":[40],"This":[41],"true":[43],"despite":[44],"fact":[46],"that":[47],"adoption":[49],"verification":[52],"essential":[54],"for":[55,62,81,106,139],"reliability":[57],"safety-critical":[59],"and":[61,134,152,157],"certification":[64],"high":[66],"assurance":[67],"levels.":[68],"In":[69],"article,":[71],"we":[72,149],"present":[73],"an":[74,79,86],"effort":[75],"in":[76,85],"formally":[77,150],"verifying":[78],"algorithm":[80,91],"interactive":[87],"theorem":[88],"prover.":[89],"The":[90,113],"leverages":[92],"power":[94],"Rodrigues":[96,126],"formula":[97,127],"solve":[99],"under":[104],"conditions":[105],"which":[107],"existing":[108],"solutions":[109],"cannot":[110],"be":[111],"applied.":[112],"technical":[114],"ingredients":[115],"include":[116],"(but":[117],"are":[118],"not":[119],"limited":[120],"to)":[121],"mechanized":[122],"proofs":[123],"(along":[128],"with":[129],"its":[130,154],"Cayley":[131],"decomposition":[132],"form)":[133],"least":[136],"squares":[137],"method":[138],"fitting":[140],"data.":[141],"Based":[142],"on":[143],"formalization":[145],"algorithm,":[148],"derive":[151],"verify":[153],"general":[155],"solution":[156],"unique":[158],"solution.":[159]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}