Publication Information

{'id': 'https://openalex.org/W164169512', 'doi': 'https://doi.org/10.1142/9789812791085_0008', 'title': 'ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY', 'display_name': 'ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY', 'publication_year': 2008, 'publication_date': '2008-05-01', 'ids': {'openalex': 'https://openalex.org/W164169512', 'doi': 'https://doi.org/10.1142/9789812791085_0008', 'mag': '164169512'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1142/9789812791085_0008', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306464320', 'display_name': 'WORLD SCIENTIFIC eBooks', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/P4310319815', 'host_organization_name': 'World Scientific', 'host_organization_lineage': ['https://openalex.org/P4310319815'], 'host_organization_lineage_names': ['World Scientific'], 'type': 'ebook platform'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'book-chapter', 'type_crossref': 'book-chapter', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5087136057', 'display_name': 'Wen-tsün Wu', 'orcid': None}, 'institutions': [{'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': 'Wen-Tsün Wu', 'raw_affiliation_strings': ["Institute of Systems-Sciences, Academia Sinica, Beijing 100080, People's Republic of China"], 'affiliations': [{'raw_affiliation_string': "Institute of Systems-Sciences, Academia Sinica, Beijing 100080, People's Republic of China", 'institution_ids': ['https://openalex.org/I4210120485']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5087136057'], 'corresponding_institution_ids': ['https://openalex.org/I4210120485'], 'apc_list': None, 'apc_paid': None, 'fwci': 36.688, 'has_fulltext': False, 'cited_by_count': 114, 'citation_normalized_percentile': {'value': 0.989707, 'is_in_top_1_percent': False, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 97, 'max': 98}, 'biblio': {'volume': None, 'issue': None, 'first_page': '117', 'last_page': '138'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T13267', 'display_name': 'Advanced Theoretical and Applied Studies in Material Sciences and Geometry', 'score': 0.9922, 'subfield': {'id': 'https://openalex.org/subfields/2204', 'display_name': 'Biomedical 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/T13267', 'display_name': 'Advanced Theoretical and Applied Studies in Material Sciences and Geometry', 'score': 0.9922, 'subfield': {'id': 'https://openalex.org/subfields/2204', 'display_name': 'Biomedical Engineering'}, 'field': {'id': 'https://openalex.org/fields/22', 'display_name': 'Engineering'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}], 'keywords': [], 'concepts': [{'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.4297493}, {'id': 'https://openalex.org/C2524010', 'wikidata': 'https://www.wikidata.org/wiki/Q8087', 'display_name': 'Geometry', 'level': 1, 'score': 0.42680913}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.36948746}, {'id': 'https://openalex.org/C2777686260', 'wikidata': 'https://www.wikidata.org/wiki/Q144037', 'display_name': 'Calculus (dental)', 'level': 2, 'score': 0.36140722}, {'id': 'https://openalex.org/C202444582', 'wikidata': 'https://www.wikidata.org/wiki/Q837863', 'display_name': 'Pure mathematics', 'level': 1, 'score': 0.32496908}, {'id': 'https://openalex.org/C71924100', 'wikidata': 'https://www.wikidata.org/wiki/Q11190', 'display_name': 'Medicine', 'level': 0, 'score': 0.0697}, {'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': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1142/9789812791085_0008', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306464320', 'display_name': 'WORLD SCIENTIFIC eBooks', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/P4310319815', 'host_organization_name': 'World Scientific', 'host_organization_lineage': ['https://openalex.org/P4310319815'], 'host_organization_lineage_names': ['World Scientific'], 'type': 'ebook platform'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'score': 0.61, 'display_name': 'Peace, justice, and strong institutions', 'id': 'https://metadata.un.org/sdg/16'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 0, 'referenced_works': [], 'related_works': ['https://openalex.org/W4245490552', 'https://openalex.org/W4225152035', 'https://openalex.org/W3002753104', 'https://openalex.org/W2899084033', 'https://openalex.org/W2748952813', 'https://openalex.org/W2077600819', 'https://openalex.org/W2061531152', 'https://openalex.org/W2007980826', 'https://openalex.org/W1979597421', 'https://openalex.org/W1587224694'], 'abstract_inverted_index': {'Selected': [0, 333], 'Works': [1, 334], 'of': [2, 23, 31, 49, 77, 104, 118, 125, 141, 145, 163, 178, 190, 203, 218, 229, 335], 'Wen-Tsun': [3, 336], 'Wu,': [4], 'pp.': [5], '117-138': [6], '(2008)': [7], 'No': [8], 'AccessON': [9], 'THE': [10, 14], 'DECISION': [11], 'PROBLEM': [12], 'AND': [13], 'MECHANIZATION': [15], 'OF': [16], 'THEOREM-PROVING': [17], 'IN': [18], 'ELEMENTARY': [19], 'GEOMETRYWen-Tsün': [20], 'WuWen-Tsün': [21], 'WuInstitute': [22], 'Systems-Sciences,': [24], 'Academia': [25], 'Sinica,': [26], 'Beijing': [27], '100080,': [28], "People's": [29], 'Republic': [30], 'Chinahttps://doi.org/10.1142/9789812791085_0008Cited': [32], 'by:3': [33], 'PreviousNext': [34], 'AboutSectionsPDF/EPUB': [35], 'ToolsAdd': [36], 'to': [37, 41, 57, 135, 157, 211, 224, 246], 'favoritesDownload': [38], 'CitationsTrack': [39], 'CitationsRecommend': [40], 'Library': [42], 'ShareShare': [43], 'onFacebookTwitterLinked': [44], 'InRedditEmail': [45], 'Abstract:': [46], 'The': [47, 87, 188, 220], 'idea': [48], 'proving': [50, 179], 'theorems': [51, 180, 225, 250], 'mechanically': [52, 181], 'may': [53, 174], 'be': [54, 212], 'dated': [55], 'back': [56], 'Leibniz': [58], 'in': [59, 67, 71, 90, 92, 97, 111, 150, 160, 182, 251, 270, 286, 309], 'the': [60, 75, 108, 123, 136, 161, 216, 314], '17th': [61], 'century': [62, 73], 'and': [63, 131, 138, 185, 206, 231, 272, 278, 320], 'has': [64], 'been': [65], 'formulated': [66], 'precise': [68], 'mathematical': [69, 85, 99, 165], 'forms': [70], 'this': [72, 151], 'through': [74], 'school': [76], 'Hilbert': [78], 'as': [79, 81, 192, 194], 'well': [80, 193], 'his': [82], 'followers': [83], 'on': [84, 106, 200, 233], 'logic.': [86], 'problem': [88], 'consists': [89], 'essence': [91], 'replacing': [93], 'qualitative': [94], 'difficulties': [95], 'inherited': [96], 'usual': [98], 'proofs': [100], 'by': [101, 255], 'quantitative': [102, 116], 'complexities': [103, 117], 'calculations': [105], 'standardizing': [107], 'proof': [109], 'procedures': [110], 'an': [112, 234], 'algorithmic': [113], 'manner.': [114], 'Such': [115], 'calculations,': [119], 'formerly': [120], 'far': [121], 'beyond': [122], 'reach': [124], 'human': [126], 'abilities,': [127], 'have': [128], 'become': [129], 'more': [130, 132], 'trivial': [133], 'owing': [134], 'occurrence': [137], 'rapid': [139], 'development': [140], 'computers.': [142, 219], 'In': [143], 'spite': [144], 'vigorous': [146], 'efforts,': [147], 'however,': [148], 'researches': [149], 'direction': [152], 'give': [153], 'rise': [154], 'quite': [155, 248], 'often': [156], 'negative': [158], 'results': [159], 'form': [162], 'undecidable': [164], 'theories.': [166], 'To': [167], 'cite': [168], 'a': [169, 201, 241], 'notable': [170], 'positive': [171], 'result,': [172], 'we': [173], 'mention': [175], "Tarski's": [176], 'method': [177], 'elementary': [183, 186, 252], 'geometry': [184, 253], 'algebra.': [187], 'methods': [189], 'Tarski': [191], 'later': [195], 'ones': [196], 'are': [197, 207], 'largely': [198], 'based': [199, 232], 'generalization': [202], 'Sturm': [204], 'theorem': [205], 'still': [208], 'too': [209], 'complicated': [210], 'feasible,': [213], 'even': [214, 254], 'with': [215, 226], 'use': [217], 'present': [221], 'paper,': [222], 'restricted': [223], 'betweenness': [227], 'out': [228], 'consideration': [230], 'entirely': [235], 'different': [236], 'principle,': [237], 'aims': [238], 'at': [239], 'giving': [240], 'mechanical': [242], 'procedure': [243], 'which': [244], 'permits': [245], 'prove': [247], 'non-trivial': [249], 'hands.': [256], 'Reprinted': [257], 'from': [258], 'Scientia': [259], 'Sinica': [260], '21': [261], '(2),': [262], '1978.': [263], 'FiguresReferencesRelatedDetailsCited': [264], 'By': [265], '3On': [266], 'Automating': [267], 'Triangle': [268], 'Constructions': [269], 'Absolute': [271], 'Hyperbolic': [273], 'GeometryVesna': [274], 'Marinković,': [275], 'Tijana': [276], 'Šukilović': [277], 'Filip': [279], 'Marić30': [280], 'December': [281], '2021': [282], '|': [283, 302, 325], 'Electronic': [284, 304], 'Proceedings': [285], 'Theoretical': [287], 'Computer': [288], 'Science,': [289], 'Vol.': [290, 306, 329], '352Efficient': [291], 'Perturbation': [292], 'Methods': [293], 'for': [294], 'Solving': [295], 'Regime-Switching': [296], 'DSGE': [297], 'ModelsJunior': [298], 'Maih1': [299], 'Jan': [300], '2015': [301], 'SSRN': [303], 'Journal,': [305], '347AI': [307], 'Research': [308], 'China:': [310], '50': [311], 'Years': [312], 'down': [313], 'Road': [315], 'Ruqian': [316], 'Lu,': [317], 'Daniel': [318], 'Zeng': [319], 'Fei-Yue': [321], 'Wang1': [322], 'May': [323], '2006': [324], 'IEEE': [326], 'Intelligent': [327], 'Systems,': [328], '21,': [330], 'No.': [331], '3': [332], 'WuMetrics': [337], 'History': [338], 'PDF': [339], 'download': [340]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W164169512', 'counts_by_year': [{'year': 2024, 'cited_by_count': 1}, {'year': 2021, 'cited_by_count': 9}, {'year': 2020, 'cited_by_count': 11}, {'year': 2019, 'cited_by_count': 8}, {'year': 2018, 'cited_by_count': 6}, {'year': 2017, 'cited_by_count': 1}, {'year': 2016, 'cited_by_count': 9}, {'year': 2015, 'cited_by_count': 8}, {'year': 2014, 'cited_by_count': 8}, {'year': 2013, 'cited_by_count': 4}, {'year': 2012, 'cited_by_count': 6}], 'updated_date': '2024-12-11T03:59:02.641392', 'created_date': '2016-06-24'}