{"id":"https://openalex.org/W2161851099","doi":"https://doi.org/10.1109/robot.1986.1087691","title":"Experiments in using a theorem prover to prove and develop geometrical theorems in computer vision","display_name":"Experiments in using a theorem prover to prove and develop geometrical theorems in computer vision","publication_year":1986,"publication_date":"1986-01-01","ids":{"openalex":"https://openalex.org/W2161851099","doi":"https://doi.org/10.1109/robot.1986.1087691","mag":"2161851099"},"language":"en","primary_location":{"id":"doi:10.1109/robot.1986.1087691","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robot.1986.1087691","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 1986 IEEE International Conference on Robotics and Automation","raw_type":"proceedings-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/A5077052205","display_name":"Michael J. Swain","orcid":"https://orcid.org/0000-0002-1817-9665"},"institutions":[{"id":"https://openalex.org/I1332737386","display_name":"General Electric (United States)","ror":"https://ror.org/013msgt25","country_code":"US","type":"company","lineage":["https://openalex.org/I1332737386"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. Swain","raw_affiliation_strings":["General Electric Research and Development, Schenectady, New York"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"General Electric Research and Development, Schenectady, New York","institution_ids":["https://openalex.org/I1332737386"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005220729","display_name":"Joseph L. Mundy","orcid":"https://orcid.org/0000-0002-6534-2736"},"institutions":[{"id":"https://openalex.org/I1332737386","display_name":"General Electric (United States)","ror":"https://ror.org/013msgt25","country_code":"US","type":"company","lineage":["https://openalex.org/I1332737386"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Mundy","raw_affiliation_strings":["General Electric Research and Development, Schenectady, NY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"General Electric Research and Development, Schenectady, NY","institution_ids":["https://openalex.org/I1332737386"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8737,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.87759049,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"4 3","issue":null,"first_page":"280","last_page":"285"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10531","display_name":"Advanced Vision and Imaging","score":0.9915000200271606,"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"}},"topics":[{"id":"https://openalex.org/T10531","display_name":"Advanced Vision and Imaging","score":0.9915000200271606,"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/T10191","display_name":"Robotics and Sensor-Based Localization","score":0.9907000064849854,"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/T11605","display_name":"Visual Attention and Saliency Detection","score":0.9825999736785889,"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/automated-theorem-proving","display_name":"Automated theorem proving","score":0.8113188743591309},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.7953718900680542},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5595220327377319},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5106788277626038},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.426284521818161},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.399605929851532},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3781280517578125},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36976590752601624},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35967159271240234},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3263762593269348},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.21782034635543823},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1890018880367279},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.10032206773757935},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07189208269119263}],"concepts":[{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.8113188743591309},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.7953718900680542},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5595220327377319},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5106788277626038},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.426284521818161},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.399605929851532},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3781280517578125},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36976590752601624},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35967159271240234},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3263762593269348},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.21782034635543823},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1890018880367279},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.10032206773757935},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07189208269119263},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/robot.1986.1087691","is_oa":false,"landing_page_url":"https://doi.org/10.1109/robot.1986.1087691","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 1986 IEEE International Conference on Robotics and Automation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W2027600454","https://openalex.org/W2077378514","https://openalex.org/W2112266283","https://openalex.org/W2607250687","https://openalex.org/W4235598854","https://openalex.org/W4236039804","https://openalex.org/W6606704035","https://openalex.org/W6817324100"],"related_works":["https://openalex.org/W4246350535","https://openalex.org/W4238632608","https://openalex.org/W3083050876","https://openalex.org/W1875958796","https://openalex.org/W1780472831","https://openalex.org/W1976200187","https://openalex.org/W1561644379","https://openalex.org/W2969536091","https://openalex.org/W783488073","https://openalex.org/W2584449131"],"abstract_inverted_index":{"A":[0],"geometrical":[1],"theorem":[2],"prover":[3,50],"based":[4],"on":[5],"algebraic":[6],"techniques":[7],"has":[8],"been":[9],"used":[10],"to":[11,25],"prove":[12],"and":[13,28,47],"derive":[14],"theorems":[15,23,42],"in":[16,78],"computer":[17],"vision.":[18],"The":[19],"results":[20],"show":[21],"that":[22,68],"relevant":[24],"persepective":[26],"viewing":[27],"the":[29,49,52,69,73],"properties":[30],"of":[31,80],"shadows":[32],"can":[33,55],"be":[34],"proven,":[35],"including":[36],"some":[37],"which":[38],"contain":[39],"inequalities.":[40],"Deriving":[41],"by":[43,72],"stating":[44],"incomplete":[45],"hypotheses":[46],"letting":[48],"suggest":[51],"missing":[53],"constraints":[54],"provide":[56],"valuable":[57],"new":[58],"insights":[59],"into":[60],"vision":[61],"probiems.":[62],"However,":[63],"there":[64],"is":[65],"no":[66],"guarantee":[67],"suggestions":[70],"made":[71],"proof":[74],"algorithm":[75],"are":[76],"interpretable":[77],"terms":[79],"primitive":[81],"geometric":[82],"concepts.":[83]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}