{"id":"https://openalex.org/W2914887001","doi":"https://doi.org/10.1007/s11424-019-8354-2","title":"Automated Theorem Proving Practice with Null Geometric Algebra","display_name":"Automated Theorem Proving Practice with Null Geometric Algebra","publication_year":2019,"publication_date":"2019-02-01","ids":{"openalex":"https://openalex.org/W2914887001","doi":"https://doi.org/10.1007/s11424-019-8354-2","mag":"2914887001"},"language":"en","primary_location":{"id":"doi:10.1007/s11424-019-8354-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11424-019-8354-2","pdf_url":null,"source":{"id":"https://openalex.org/S45848134","display_name":"Journal of Systems Science and Complexity","issn_l":"1009-6124","issn":["1009-6124","1559-7067"],"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":"Journal of Systems Science and Complexity","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/A5007393983","display_name":"Hongbo Li","orcid":"https://orcid.org/0000-0001-5649-6066"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]},{"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":["Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences, Chinese Academy of Sciences, Beijing, 100190, China","Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences, Chinese Academy of Sciences, Beijing, 100190, China","institution_ids":["https://openalex.org/I4210120485","https://openalex.org/I4210165038"]},{"raw_affiliation_string":"Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210120485","https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5007393983"],"corresponding_institution_ids":["https://openalex.org/I4210120485","https://openalex.org/I4210165038"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.9968,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.71403712,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"32","issue":"1","first_page":"95","last_page":"123"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12037","display_name":"Algebraic and Geometric Analysis","score":0.9984999895095825,"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.9984999895095825,"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.9628000259399414,"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.9517999887466431,"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/geometric-algebra","display_name":"Geometric algebra","score":0.7735157012939453},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7710388898849487},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.6591911315917969},{"id":"https://openalex.org/keywords/conformal-geometric-algebra","display_name":"Conformal geometric algebra","score":0.6589082479476929},{"id":"https://openalex.org/keywords/euclidean-geometry","display_name":"Euclidean geometry","score":0.6277143359184265},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.5401055216789246},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49377498030662537},{"id":"https://openalex.org/keywords/universal-geometric-algebra","display_name":"Universal geometric algebra","score":0.45276087522506714},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.4272875189781189},{"id":"https://openalex.org/keywords/filtered-algebra","display_name":"Filtered algebra","score":0.41631895303726196},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3557150065898895},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.1500566601753235}],"concepts":[{"id":"https://openalex.org/C180671464","wikidata":"https://www.wikidata.org/wiki/Q1186649","display_name":"Geometric algebra","level":4,"score":0.7735157012939453},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7710388898849487},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.6591911315917969},{"id":"https://openalex.org/C147898140","wikidata":"https://www.wikidata.org/wiki/Q5160252","display_name":"Conformal geometric algebra","level":5,"score":0.6589082479476929},{"id":"https://openalex.org/C129782007","wikidata":"https://www.wikidata.org/wiki/Q162886","display_name":"Euclidean geometry","level":2,"score":0.6277143359184265},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.5401055216789246},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49377498030662537},{"id":"https://openalex.org/C64228544","wikidata":"https://www.wikidata.org/wiki/Q17152794","display_name":"Universal geometric algebra","level":5,"score":0.45276087522506714},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.4272875189781189},{"id":"https://openalex.org/C169171071","wikidata":"https://www.wikidata.org/wiki/Q5449241","display_name":"Filtered algebra","level":3,"score":0.41631895303726196},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3557150065898895},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.1500566601753235},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11424-019-8354-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11424-019-8354-2","pdf_url":null,"source":{"id":"https://openalex.org/S45848134","display_name":"Journal of Systems Science and Complexity","issn_l":"1009-6124","issn":["1009-6124","1559-7067"],"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":"Journal of Systems Science and Complexity","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W62857940","https://openalex.org/W89994832","https://openalex.org/W122875470","https://openalex.org/W153765035","https://openalex.org/W165370098","https://openalex.org/W206494649","https://openalex.org/W634394376","https://openalex.org/W1001779774","https://openalex.org/W1566965015","https://openalex.org/W1582195077","https://openalex.org/W2013572173","https://openalex.org/W2026253506","https://openalex.org/W2040710943","https://openalex.org/W2047821213","https://openalex.org/W2064437649","https://openalex.org/W2064616663","https://openalex.org/W2141900910","https://openalex.org/W2205192148","https://openalex.org/W2354072753","https://openalex.org/W2470709344","https://openalex.org/W2481344083","https://openalex.org/W2737973614","https://openalex.org/W2896681342","https://openalex.org/W2917179507","https://openalex.org/W3102191916","https://openalex.org/W3143504415","https://openalex.org/W4205227699","https://openalex.org/W4230663566","https://openalex.org/W4248866312"],"related_works":["https://openalex.org/W2579897398","https://openalex.org/W2800834093","https://openalex.org/W288435025","https://openalex.org/W2483793066","https://openalex.org/W3132735888","https://openalex.org/W2120019850","https://openalex.org/W1538240564","https://openalex.org/W2740005812","https://openalex.org/W186646607","https://openalex.org/W3194491276"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}