Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096540897> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2096540897 abstract "Inductive mathematical theorems have, as a rule, historically been quite difficult to prove - both for mathematics students a for auto- mated theorem provers. That said, there has been considerable progress over the past several years, within the automated reasoning community, towards proving some of these theorems. However, little work has been done thus far towards automatically discovering them. In this paper we present our methods of discovering (as well as proving) inductive theorems, within an automated system. These methods have been tested over the natural num- bers, with regards to addition and multiplication, as well as to exponents of group elements." @default.
- W2096540897 created "2016-06-24" @default.
- W2096540897 creator A5029541131 @default.
- W2096540897 creator A5040311876 @default.
- W2096540897 creator A5058390268 @default.
- W2096540897 date "2007-01-01" @default.
- W2096540897 modified "2023-09-25" @default.
- W2096540897 title "Automated Discovery of Inductive Theorems" @default.
- W2096540897 cites W1489542124 @default.
- W2096540897 cites W1555144148 @default.
- W2096540897 cites W1823666162 @default.
- W2096540897 cites W1840071381 @default.
- W2096540897 cites W1992696924 @default.
- W2096540897 cites W2031766132 @default.
- W2096540897 cites W2067540169 @default.
- W2096540897 cites W2094110556 @default.
- W2096540897 cites W2147639553 @default.
- W2096540897 cites W2914153160 @default.
- W2096540897 hasPublicationYear "2007" @default.
- W2096540897 type Work @default.
- W2096540897 sameAs 2096540897 @default.
- W2096540897 citedByCount "11" @default.
- W2096540897 countsByYear W20965408972013 @default.
- W2096540897 countsByYear W20965408972015 @default.
- W2096540897 countsByYear W20965408972016 @default.
- W2096540897 countsByYear W20965408972017 @default.
- W2096540897 countsByYear W20965408972018 @default.
- W2096540897 crossrefType "journal-article" @default.
- W2096540897 hasAuthorship W2096540897A5029541131 @default.
- W2096540897 hasAuthorship W2096540897A5040311876 @default.
- W2096540897 hasAuthorship W2096540897A5058390268 @default.
- W2096540897 hasConcept C114614502 @default.
- W2096540897 hasConcept C136119220 @default.
- W2096540897 hasConcept C145420912 @default.
- W2096540897 hasConcept C154945302 @default.
- W2096540897 hasConcept C195344581 @default.
- W2096540897 hasConcept C199343813 @default.
- W2096540897 hasConcept C202444582 @default.
- W2096540897 hasConcept C206880738 @default.
- W2096540897 hasConcept C21563000 @default.
- W2096540897 hasConcept C2777686260 @default.
- W2096540897 hasConcept C2780595030 @default.
- W2096540897 hasConcept C2993131915 @default.
- W2096540897 hasConcept C33923547 @default.
- W2096540897 hasConcept C41008148 @default.
- W2096540897 hasConcept C71924100 @default.
- W2096540897 hasConcept C80444323 @default.
- W2096540897 hasConcept C88610354 @default.
- W2096540897 hasConceptScore W2096540897C114614502 @default.
- W2096540897 hasConceptScore W2096540897C136119220 @default.
- W2096540897 hasConceptScore W2096540897C145420912 @default.
- W2096540897 hasConceptScore W2096540897C154945302 @default.
- W2096540897 hasConceptScore W2096540897C195344581 @default.
- W2096540897 hasConceptScore W2096540897C199343813 @default.
- W2096540897 hasConceptScore W2096540897C202444582 @default.
- W2096540897 hasConceptScore W2096540897C206880738 @default.
- W2096540897 hasConceptScore W2096540897C21563000 @default.
- W2096540897 hasConceptScore W2096540897C2777686260 @default.
- W2096540897 hasConceptScore W2096540897C2780595030 @default.
- W2096540897 hasConceptScore W2096540897C2993131915 @default.
- W2096540897 hasConceptScore W2096540897C33923547 @default.
- W2096540897 hasConceptScore W2096540897C41008148 @default.
- W2096540897 hasConceptScore W2096540897C71924100 @default.
- W2096540897 hasConceptScore W2096540897C80444323 @default.
- W2096540897 hasConceptScore W2096540897C88610354 @default.
- W2096540897 hasIssue "23" @default.
- W2096540897 hasLocation W20965408971 @default.
- W2096540897 hasOpenAccess W2096540897 @default.
- W2096540897 hasPrimaryLocation W20965408971 @default.
- W2096540897 hasRelatedWork W110834650 @default.
- W2096540897 hasRelatedWork W123460044 @default.
- W2096540897 hasRelatedWork W1520700150 @default.
- W2096540897 hasRelatedWork W1526001900 @default.
- W2096540897 hasRelatedWork W1555144148 @default.
- W2096540897 hasRelatedWork W1571277216 @default.
- W2096540897 hasRelatedWork W1581769579 @default.
- W2096540897 hasRelatedWork W1592435576 @default.
- W2096540897 hasRelatedWork W1596722521 @default.
- W2096540897 hasRelatedWork W1600661924 @default.
- W2096540897 hasRelatedWork W1840071381 @default.
- W2096540897 hasRelatedWork W1978735259 @default.
- W2096540897 hasRelatedWork W1983376640 @default.
- W2096540897 hasRelatedWork W1992696924 @default.
- W2096540897 hasRelatedWork W2000227239 @default.
- W2096540897 hasRelatedWork W2014136929 @default.
- W2096540897 hasRelatedWork W2067540169 @default.
- W2096540897 hasRelatedWork W2077482164 @default.
- W2096540897 hasRelatedWork W2106192381 @default.
- W2096540897 hasRelatedWork W2133093325 @default.
- W2096540897 hasVolume "10" @default.
- W2096540897 isParatext "false" @default.
- W2096540897 isRetracted "false" @default.
- W2096540897 magId "2096540897" @default.
- W2096540897 workType "article" @default.