Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998742603> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1998742603 abstract "In this paper we show that computer algebra methods in mechanical geometry theorem proving can also be applied to obtain new theorems involving inequalities. An interesting feature is that in real geometry, several cases can occur, none of them being more generic than the other. The examples we give come from the geometry of the triangle, more precisely comparing radii of circles defined in the triangle." @default.
- W1998742603 created "2016-06-24" @default.
- W1998742603 creator A5002775615 @default.
- W1998742603 creator A5032403197 @default.
- W1998742603 creator A5067508629 @default.
- W1998742603 date "1994-01-01" @default.
- W1998742603 modified "2023-09-30" @default.
- W1998742603 title "Examples of automatic theorem proving a real geometry" @default.
- W1998742603 cites W1558198085 @default.
- W1998742603 cites W1991344970 @default.
- W1998742603 cites W2026253506 @default.
- W1998742603 doi "https://doi.org/10.1145/190347.190354" @default.
- W1998742603 hasPublicationYear "1994" @default.
- W1998742603 type Work @default.
- W1998742603 sameAs 1998742603 @default.
- W1998742603 citedByCount "4" @default.
- W1998742603 countsByYear W19987426032021 @default.
- W1998742603 countsByYear W19987426032022 @default.
- W1998742603 crossrefType "proceedings-article" @default.
- W1998742603 hasAuthorship W1998742603A5002775615 @default.
- W1998742603 hasAuthorship W1998742603A5032403197 @default.
- W1998742603 hasAuthorship W1998742603A5067508629 @default.
- W1998742603 hasConcept C154945302 @default.
- W1998742603 hasConcept C199343813 @default.
- W1998742603 hasConcept C199360897 @default.
- W1998742603 hasConcept C206880738 @default.
- W1998742603 hasConcept C2524010 @default.
- W1998742603 hasConcept C2777686260 @default.
- W1998742603 hasConcept C29123130 @default.
- W1998742603 hasConcept C33923547 @default.
- W1998742603 hasConcept C41008148 @default.
- W1998742603 hasConcept C71924100 @default.
- W1998742603 hasConceptScore W1998742603C154945302 @default.
- W1998742603 hasConceptScore W1998742603C199343813 @default.
- W1998742603 hasConceptScore W1998742603C199360897 @default.
- W1998742603 hasConceptScore W1998742603C206880738 @default.
- W1998742603 hasConceptScore W1998742603C2524010 @default.
- W1998742603 hasConceptScore W1998742603C2777686260 @default.
- W1998742603 hasConceptScore W1998742603C29123130 @default.
- W1998742603 hasConceptScore W1998742603C33923547 @default.
- W1998742603 hasConceptScore W1998742603C41008148 @default.
- W1998742603 hasConceptScore W1998742603C71924100 @default.
- W1998742603 hasLocation W19987426031 @default.
- W1998742603 hasOpenAccess W1998742603 @default.
- W1998742603 hasPrimaryLocation W19987426031 @default.
- W1998742603 hasRelatedWork W1509982649 @default.
- W1998742603 hasRelatedWork W1659327404 @default.
- W1998742603 hasRelatedWork W1966677808 @default.
- W1998742603 hasRelatedWork W2189581712 @default.
- W1998742603 hasRelatedWork W2307915363 @default.
- W1998742603 hasRelatedWork W2548598692 @default.
- W1998742603 hasRelatedWork W2740851372 @default.
- W1998742603 hasRelatedWork W2902651734 @default.
- W1998742603 hasRelatedWork W2914888134 @default.
- W1998742603 hasRelatedWork W60445782 @default.
- W1998742603 isParatext "false" @default.
- W1998742603 isRetracted "false" @default.
- W1998742603 magId "1998742603" @default.
- W1998742603 workType "article" @default.