Matches in SemOpenAlex for { <https://semopenalex.org/work/W37902614> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W37902614 abstract "Mechanical theorem proving (MTP) is a traditional topic of mathematical logic. In contrast to the usual approaches to MTP by mathematical logic, approaches using algebraic methods seem to be originated in the paper by the present writer (Wu 1978). In 1984 appeared the present book “Basic Principles of Mechanical Theorem Proving in Geometries” devoted to a systematic exposition of such algebraic methods for MTP. The book, written in Chinese and published in China, was little known beyond China. The method became widely known owing to papers by Wu (1978, 1984a) and Chou (1984) published in the anthology edited by Bledsoe and Loveland (1984). Since that time the algebraic methods of treating MTP have been developed rapidly and vigorously in various directions. For example, in 1986 there appeared several papers on MTP based on Grobner basis method and others (e.g., Kutzler and Stifter 1986, Kapur 1986). In this note we shall give a brief review of the achievements of MTP in recent years restricted, however, to the methods as exhibited in the present book alone. Thus it may serve merely as complement and addendum to the original version of the book." @default.
- W37902614 created "2016-06-24" @default.
- W37902614 creator A5087136057 @default.
- W37902614 date "1994-01-01" @default.
- W37902614 modified "2023-09-23" @default.
- W37902614 title "Author’s note to the English-language edition" @default.
- W37902614 cites W2013572173 @default.
- W37902614 cites W2013727939 @default.
- W37902614 cites W2035169567 @default.
- W37902614 cites W2053860863 @default.
- W37902614 cites W2074337495 @default.
- W37902614 cites W2080260105 @default.
- W37902614 cites W2475612191 @default.
- W37902614 cites W4236039804 @default.
- W37902614 cites W4247563756 @default.
- W37902614 cites W2783026288 @default.
- W37902614 doi "https://doi.org/10.1007/978-3-7091-6639-0_1" @default.
- W37902614 hasPublicationYear "1994" @default.
- W37902614 type Work @default.
- W37902614 sameAs 37902614 @default.
- W37902614 citedByCount "0" @default.
- W37902614 crossrefType "book-chapter" @default.
- W37902614 hasAuthorship W37902614A5087136057 @default.
- W37902614 hasConcept C104317684 @default.
- W37902614 hasConcept C112313634 @default.
- W37902614 hasConcept C124952713 @default.
- W37902614 hasConcept C127716648 @default.
- W37902614 hasConcept C134306372 @default.
- W37902614 hasConcept C136119220 @default.
- W37902614 hasConcept C142362112 @default.
- W37902614 hasConcept C166957645 @default.
- W37902614 hasConcept C185592680 @default.
- W37902614 hasConcept C188082640 @default.
- W37902614 hasConcept C191935318 @default.
- W37902614 hasConcept C199343813 @default.
- W37902614 hasConcept C202444582 @default.
- W37902614 hasConcept C2776285698 @default.
- W37902614 hasConcept C2777686260 @default.
- W37902614 hasConcept C33923547 @default.
- W37902614 hasConcept C41008148 @default.
- W37902614 hasConcept C55493867 @default.
- W37902614 hasConcept C71924100 @default.
- W37902614 hasConcept C74916050 @default.
- W37902614 hasConcept C9376300 @default.
- W37902614 hasConcept C95457728 @default.
- W37902614 hasConceptScore W37902614C104317684 @default.
- W37902614 hasConceptScore W37902614C112313634 @default.
- W37902614 hasConceptScore W37902614C124952713 @default.
- W37902614 hasConceptScore W37902614C127716648 @default.
- W37902614 hasConceptScore W37902614C134306372 @default.
- W37902614 hasConceptScore W37902614C136119220 @default.
- W37902614 hasConceptScore W37902614C142362112 @default.
- W37902614 hasConceptScore W37902614C166957645 @default.
- W37902614 hasConceptScore W37902614C185592680 @default.
- W37902614 hasConceptScore W37902614C188082640 @default.
- W37902614 hasConceptScore W37902614C191935318 @default.
- W37902614 hasConceptScore W37902614C199343813 @default.
- W37902614 hasConceptScore W37902614C202444582 @default.
- W37902614 hasConceptScore W37902614C2776285698 @default.
- W37902614 hasConceptScore W37902614C2777686260 @default.
- W37902614 hasConceptScore W37902614C33923547 @default.
- W37902614 hasConceptScore W37902614C41008148 @default.
- W37902614 hasConceptScore W37902614C55493867 @default.
- W37902614 hasConceptScore W37902614C71924100 @default.
- W37902614 hasConceptScore W37902614C74916050 @default.
- W37902614 hasConceptScore W37902614C9376300 @default.
- W37902614 hasConceptScore W37902614C95457728 @default.
- W37902614 hasLocation W379026141 @default.
- W37902614 hasOpenAccess W37902614 @default.
- W37902614 hasPrimaryLocation W379026141 @default.
- W37902614 hasRelatedWork W1012277088 @default.
- W37902614 hasRelatedWork W1209669785 @default.
- W37902614 hasRelatedWork W1518341038 @default.
- W37902614 hasRelatedWork W1578523569 @default.
- W37902614 hasRelatedWork W1584159815 @default.
- W37902614 hasRelatedWork W1588709134 @default.
- W37902614 hasRelatedWork W2054944661 @default.
- W37902614 hasRelatedWork W2112577778 @default.
- W37902614 hasRelatedWork W2163734666 @default.
- W37902614 hasRelatedWork W2275732906 @default.
- W37902614 hasRelatedWork W2314674231 @default.
- W37902614 hasRelatedWork W2327514764 @default.
- W37902614 hasRelatedWork W2889163355 @default.
- W37902614 hasRelatedWork W2949172532 @default.
- W37902614 hasRelatedWork W2997152636 @default.
- W37902614 hasRelatedWork W3006038400 @default.
- W37902614 hasRelatedWork W3150920821 @default.
- W37902614 hasRelatedWork W634483280 @default.
- W37902614 hasRelatedWork W657150271 @default.
- W37902614 hasRelatedWork W3144390898 @default.
- W37902614 isParatext "false" @default.
- W37902614 isRetracted "false" @default.
- W37902614 magId "37902614" @default.
- W37902614 workType "book-chapter" @default.