Matches in SemOpenAlex for { <https://semopenalex.org/work/W585013043> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W585013043 endingPage "439" @default.
- W585013043 startingPage "433" @default.
- W585013043 abstract "The process of proving, deriving and discovering theorems is important in mathematics investigation. In this paper, we will use the elimination technique which is based on the theory of the area method. The main idea of this method will be illustrated through an example from plane geometry. In addition, we look at the application possibilities of using GCLC geometry system with built-in theorem prover in verification and proving constructive geometric statements." @default.
- W585013043 created "2016-06-24" @default.
- W585013043 creator A5049238293 @default.
- W585013043 date "2015-01-01" @default.
- W585013043 modified "2023-09-24" @default.
- W585013043 title "The Area Method and Proving Plane Geometry Theorems" @default.
- W585013043 cites W1534758548 @default.
- W585013043 cites W2053860863 @default.
- W585013043 cites W3143504415 @default.
- W585013043 doi "https://doi.org/10.1007/978-3-319-12577-0_48" @default.
- W585013043 hasPublicationYear "2015" @default.
- W585013043 type Work @default.
- W585013043 sameAs 585013043 @default.
- W585013043 citedByCount "1" @default.
- W585013043 countsByYear W5850130432015 @default.
- W585013043 crossrefType "book-chapter" @default.
- W585013043 hasAuthorship W585013043A5049238293 @default.
- W585013043 hasConcept C17825722 @default.
- W585013043 hasConcept C2524010 @default.
- W585013043 hasConcept C2777686260 @default.
- W585013043 hasConcept C29694066 @default.
- W585013043 hasConcept C33923547 @default.
- W585013043 hasConcept C41008148 @default.
- W585013043 hasConcept C71924100 @default.
- W585013043 hasConceptScore W585013043C17825722 @default.
- W585013043 hasConceptScore W585013043C2524010 @default.
- W585013043 hasConceptScore W585013043C2777686260 @default.
- W585013043 hasConceptScore W585013043C29694066 @default.
- W585013043 hasConceptScore W585013043C33923547 @default.
- W585013043 hasConceptScore W585013043C41008148 @default.
- W585013043 hasConceptScore W585013043C71924100 @default.
- W585013043 hasLocation W5850130431 @default.
- W585013043 hasOpenAccess W585013043 @default.
- W585013043 hasPrimaryLocation W5850130431 @default.
- W585013043 hasRelatedWork W1535372252 @default.
- W585013043 hasRelatedWork W1567905937 @default.
- W585013043 hasRelatedWork W2023536788 @default.
- W585013043 hasRelatedWork W2040678361 @default.
- W585013043 hasRelatedWork W2062584316 @default.
- W585013043 hasRelatedWork W2063488590 @default.
- W585013043 hasRelatedWork W2497463627 @default.
- W585013043 hasRelatedWork W2968559896 @default.
- W585013043 hasRelatedWork W3002994429 @default.
- W585013043 hasRelatedWork W4230623537 @default.
- W585013043 isParatext "false" @default.
- W585013043 isRetracted "false" @default.
- W585013043 magId "585013043" @default.
- W585013043 workType "book-chapter" @default.