{"id":"https://openalex.org/W1578861052","doi":"https://doi.org/10.1016/s0747-7171(03)00066-x","title":"Automated short proof generation for projective geometric theorems with Cayley and bracket algebras","display_name":"Automated short proof generation for projective geometric theorems with Cayley and bracket algebras","publication_year":2003,"publication_date":"2003-06-30","ids":{"openalex":"https://openalex.org/W1578861052","doi":"https://doi.org/10.1016/s0747-7171(03)00066-x","mag":"1578861052"},"language":"en","primary_location":{"id":"doi:10.1016/s0747-7171(03)00066-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0747-7171(03)00066-x","pdf_url":"https://www.sciencedirect.com/science/article/pii/S074771710300066X/pdf","source":{"id":"https://openalex.org/S18904315","display_name":"Journal of Symbolic Computation","issn_l":"0747-7171","issn":["0747-7171","1095-855X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.sciencedirect.com/science/article/pii/S074771710300066X/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007393983","display_name":"Hongbo Li","orcid":"https://orcid.org/0000-0001-5649-6066"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210120485","display_name":"Academy of Mathematics and Systems Science","ror":"https://ror.org/02jkmyk67","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210120485"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Hongbo Li","raw_affiliation_strings":["Mathematics Mechanization Key Lab, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing 100080, China","Mathematics Mechanization Key Lab, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing 100080, China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematics Mechanization Key Lab, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing 100080, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210120485"]},{"raw_affiliation_string":"Mathematics Mechanization Key Lab, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing 100080, China#TAB#","institution_ids":["https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100645164","display_name":"Yihong Wu","orcid":"https://orcid.org/0000-0003-2198-9113"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210112150","display_name":"Institute of Automation","ror":"https://ror.org/022c3hy66","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210112150"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yihong Wu","raw_affiliation_strings":["National Laboratory of Pattern Recognition, Institute of Automation, Chinese Academy of Sciences, Beijing 100080, China","National Laboratory of Pattern Recognition,Institute of Automation,Chinese Academy of Sciences,Beijing  100080,China)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Laboratory of Pattern Recognition, Institute of Automation, Chinese Academy of Sciences, Beijing 100080, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210112150"]},{"raw_affiliation_string":"National Laboratory of Pattern Recognition,Institute of Automation,Chinese Academy of Sciences,Beijing  100080,China)","institution_ids":["https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5007393983"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210120485"],"apc_list":{"value":2660,"currency":"USD","value_usd":2660},"apc_paid":null,"fwci":4.6874,"has_fulltext":true,"cited_by_count":30,"citation_normalized_percentile":{"value":0.94971494,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"36","issue":"5","first_page":"763","last_page":"809"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12037","display_name":"Algebraic and Geometric Analysis","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12037","display_name":"Algebraic and Geometric Analysis","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12504","display_name":"Mathematics and Applications","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9790999889373779,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/conic-section","display_name":"Conic section","score":0.9437587857246399},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7746564745903015},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.673947811126709},{"id":"https://openalex.org/keywords/bracket","display_name":"Bracket","score":0.6220408082008362},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5220513343811035},{"id":"https://openalex.org/keywords/projective-plane","display_name":"Projective plane","score":0.4779089391231537},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4585040211677551},{"id":"https://openalex.org/keywords/factorization","display_name":"Factorization","score":0.4358721971511841},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4253408908843994},{"id":"https://openalex.org/keywords/projective-geometry","display_name":"Projective geometry","score":0.41906577348709106},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3245328366756439},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22939324378967285},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.22801780700683594},{"id":"https://openalex.org/keywords/differential-geometry","display_name":"Differential geometry","score":0.21400436758995056}],"concepts":[{"id":"https://openalex.org/C108598597","wikidata":"https://www.wikidata.org/wiki/Q124255","display_name":"Conic section","level":2,"score":0.9437587857246399},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7746564745903015},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.673947811126709},{"id":"https://openalex.org/C133769200","wikidata":"https://www.wikidata.org/wiki/Q174565","display_name":"Bracket","level":2,"score":0.6220408082008362},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5220513343811035},{"id":"https://openalex.org/C39290043","wikidata":"https://www.wikidata.org/wiki/Q1475760","display_name":"Projective plane","level":3,"score":0.4779089391231537},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4585040211677551},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.4358721971511841},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4253408908843994},{"id":"https://openalex.org/C185362025","wikidata":"https://www.wikidata.org/wiki/Q177409","display_name":"Projective geometry","level":3,"score":0.41906577348709106},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3245328366756439},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22939324378967285},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.22801780700683594},{"id":"https://openalex.org/C192939610","wikidata":"https://www.wikidata.org/wiki/Q188444","display_name":"Differential geometry","level":2,"score":0.21400436758995056},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C117220453","wikidata":"https://www.wikidata.org/wiki/Q5172842","display_name":"Correlation","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0747-7171(03)00066-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0747-7171(03)00066-x","pdf_url":"https://www.sciencedirect.com/science/article/pii/S074771710300066X/pdf","source":{"id":"https://openalex.org/S18904315","display_name":"Journal of Symbolic Computation","issn_l":"0747-7171","issn":["0747-7171","1095-855X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Computation","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s0747-7171(03)00066-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s0747-7171(03)00066-x","pdf_url":"https://www.sciencedirect.com/science/article/pii/S074771710300066X/pdf","source":{"id":"https://openalex.org/S18904315","display_name":"Journal of Symbolic Computation","issn_l":"0747-7171","issn":["0747-7171","1095-855X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1578861052.pdf","grobid_xml":"https://content.openalex.org/works/W1578861052.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W136053314","https://openalex.org/W145236249","https://openalex.org/W206494649","https://openalex.org/W429738668","https://openalex.org/W604279754","https://openalex.org/W658009741","https://openalex.org/W1444177990","https://openalex.org/W1479887426","https://openalex.org/W1507294021","https://openalex.org/W1534374921","https://openalex.org/W1563229994","https://openalex.org/W1577951736","https://openalex.org/W1599833186","https://openalex.org/W1980749407","https://openalex.org/W1980817023","https://openalex.org/W1989367394","https://openalex.org/W2002225820","https://openalex.org/W2011752484","https://openalex.org/W2013572173","https://openalex.org/W2014707122","https://openalex.org/W2018878283","https://openalex.org/W2019769120","https://openalex.org/W2026253506","https://openalex.org/W2033596627","https://openalex.org/W2063816216","https://openalex.org/W2068101968","https://openalex.org/W2076545664","https://openalex.org/W2083179787","https://openalex.org/W2083292427","https://openalex.org/W2086146364","https://openalex.org/W2089544516","https://openalex.org/W2103333035","https://openalex.org/W2128980051","https://openalex.org/W2169964297","https://openalex.org/W2317779070","https://openalex.org/W2481344083","https://openalex.org/W2494747743","https://openalex.org/W4206660525","https://openalex.org/W4210626175","https://openalex.org/W4285719527","https://openalex.org/W4293207255","https://openalex.org/W4301746773","https://openalex.org/W6608476243","https://openalex.org/W6631908850","https://openalex.org/W6807863307"],"related_works":["https://openalex.org/W2035170077","https://openalex.org/W1973242087","https://openalex.org/W1968836382","https://openalex.org/W1500174755","https://openalex.org/W3022380753","https://openalex.org/W4241309109","https://openalex.org/W1643948452","https://openalex.org/W2336406799","https://openalex.org/W4221154356","https://openalex.org/W2008443200"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-02T14:50:37.381335","created_date":"2025-10-10T00:00:00"}