Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953250075> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2953250075 abstract "The main idea in this paper is merging two techniques that have been recently developed. On the one hand, we consider MCCGS, standing for Minimal Canonical Comprehensive Groebner Systems, a recently introduced computational tool yielding good bases for ideals of polynomials over a field depending on several parameters, that specialize well, for instance, regarding the number of solutions for the given ideal, for different values of the parameters. The second ingredient concerns automatic theorem discovery in elementary geometry. Automatic discovery aims to obtain complementary hypotheses for a (generally false) geometric statement to become true. The paper shows how to use MCCGS for automatic discovering of theorems and gives relevant examples." @default.
- W2953250075 created "2019-06-27" @default.
- W2953250075 creator A5029421675 @default.
- W2953250075 creator A5043580146 @default.
- W2953250075 date "2007-03-16" @default.
- W2953250075 modified "2023-09-27" @default.
- W2953250075 title "Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems" @default.
- W2953250075 cites W1562474977 @default.
- W2953250075 cites W1576478178 @default.
- W2953250075 cites W1602947049 @default.
- W2953250075 cites W1765373493 @default.
- W2953250075 cites W1999114696 @default.
- W2953250075 cites W2026253506 @default.
- W2953250075 cites W2168553897 @default.
- W2953250075 cites W22319829 @default.
- W2953250075 cites W2952175132 @default.
- W2953250075 hasPublicationYear "2007" @default.
- W2953250075 type Work @default.
- W2953250075 sameAs 2953250075 @default.
- W2953250075 citedByCount "3" @default.
- W2953250075 countsByYear W29532500752012 @default.
- W2953250075 countsByYear W29532500752014 @default.
- W2953250075 crossrefType "posted-content" @default.
- W2953250075 hasAuthorship W2953250075A5029421675 @default.
- W2953250075 hasAuthorship W2953250075A5043580146 @default.
- W2953250075 hasConcept C111472728 @default.
- W2953250075 hasConcept C11413529 @default.
- W2953250075 hasConcept C118615104 @default.
- W2953250075 hasConcept C136119220 @default.
- W2953250075 hasConcept C138885662 @default.
- W2953250075 hasConcept C17744445 @default.
- W2953250075 hasConcept C199539241 @default.
- W2953250075 hasConcept C202444582 @default.
- W2953250075 hasConcept C206880738 @default.
- W2953250075 hasConcept C2776639384 @default.
- W2953250075 hasConcept C2777026412 @default.
- W2953250075 hasConcept C33923547 @default.
- W2953250075 hasConcept C41008148 @default.
- W2953250075 hasConcept C9652623 @default.
- W2953250075 hasConceptScore W2953250075C111472728 @default.
- W2953250075 hasConceptScore W2953250075C11413529 @default.
- W2953250075 hasConceptScore W2953250075C118615104 @default.
- W2953250075 hasConceptScore W2953250075C136119220 @default.
- W2953250075 hasConceptScore W2953250075C138885662 @default.
- W2953250075 hasConceptScore W2953250075C17744445 @default.
- W2953250075 hasConceptScore W2953250075C199539241 @default.
- W2953250075 hasConceptScore W2953250075C202444582 @default.
- W2953250075 hasConceptScore W2953250075C206880738 @default.
- W2953250075 hasConceptScore W2953250075C2776639384 @default.
- W2953250075 hasConceptScore W2953250075C2777026412 @default.
- W2953250075 hasConceptScore W2953250075C33923547 @default.
- W2953250075 hasConceptScore W2953250075C41008148 @default.
- W2953250075 hasConceptScore W2953250075C9652623 @default.
- W2953250075 hasLocation W29532500751 @default.
- W2953250075 hasOpenAccess W2953250075 @default.
- W2953250075 hasPrimaryLocation W29532500751 @default.
- W2953250075 hasRelatedWork W1489363541 @default.
- W2953250075 hasRelatedWork W1536271794 @default.
- W2953250075 hasRelatedWork W1562474977 @default.
- W2953250075 hasRelatedWork W1615606289 @default.
- W2953250075 hasRelatedWork W1976868981 @default.
- W2953250075 hasRelatedWork W1983376640 @default.
- W2953250075 hasRelatedWork W1990119084 @default.
- W2953250075 hasRelatedWork W2026253506 @default.
- W2953250075 hasRelatedWork W2045154989 @default.
- W2953250075 hasRelatedWork W2048154069 @default.
- W2953250075 hasRelatedWork W2057105460 @default.
- W2953250075 hasRelatedWork W2077140256 @default.
- W2953250075 hasRelatedWork W2095764258 @default.
- W2953250075 hasRelatedWork W2103185909 @default.
- W2953250075 hasRelatedWork W2104693850 @default.
- W2953250075 hasRelatedWork W2163740240 @default.
- W2953250075 hasRelatedWork W2168553897 @default.
- W2953250075 hasRelatedWork W22319829 @default.
- W2953250075 hasRelatedWork W2399577811 @default.
- W2953250075 hasRelatedWork W3086943959 @default.
- W2953250075 isParatext "false" @default.
- W2953250075 isRetracted "false" @default.
- W2953250075 magId "2953250075" @default.
- W2953250075 workType "article" @default.