Matches in SemOpenAlex for { <https://semopenalex.org/work/W1967948656> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1967948656 endingPage "323" @default.
- W1967948656 startingPage "277" @default.
- W1967948656 abstract "We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We give what is apparently the first feasible proofs of the Cayley–Hamilton theorem and other properties of the determinant, and study the propositional proof complexity of matrix identities such as AB = I → BA = I ." @default.
- W1967948656 created "2016-06-24" @default.
- W1967948656 creator A5002671973 @default.
- W1967948656 creator A5034555443 @default.
- W1967948656 date "2004-12-01" @default.
- W1967948656 modified "2023-09-26" @default.
- W1967948656 title "The proof complexity of linear algebra" @default.
- W1967948656 cites W1968584500 @default.
- W1967948656 cites W1977405062 @default.
- W1967948656 cites W1996660205 @default.
- W1967948656 cites W1999069928 @default.
- W1967948656 cites W2082002555 @default.
- W1967948656 doi "https://doi.org/10.1016/j.apal.2003.10.018" @default.
- W1967948656 hasPublicationYear "2004" @default.
- W1967948656 type Work @default.
- W1967948656 sameAs 1967948656 @default.
- W1967948656 citedByCount "34" @default.
- W1967948656 countsByYear W19679486562012 @default.
- W1967948656 countsByYear W19679486562013 @default.
- W1967948656 countsByYear W19679486562014 @default.
- W1967948656 countsByYear W19679486562015 @default.
- W1967948656 countsByYear W19679486562016 @default.
- W1967948656 countsByYear W19679486562017 @default.
- W1967948656 countsByYear W19679486562018 @default.
- W1967948656 countsByYear W19679486562020 @default.
- W1967948656 countsByYear W19679486562021 @default.
- W1967948656 crossrefType "journal-article" @default.
- W1967948656 hasAuthorship W1967948656A5002671973 @default.
- W1967948656 hasAuthorship W1967948656A5034555443 @default.
- W1967948656 hasBestOaLocation W19679486561 @default.
- W1967948656 hasConcept C118615104 @default.
- W1967948656 hasConcept C136119220 @default.
- W1967948656 hasConcept C139352143 @default.
- W1967948656 hasConcept C202444582 @default.
- W1967948656 hasConcept C2524010 @default.
- W1967948656 hasConcept C33923547 @default.
- W1967948656 hasConceptScore W1967948656C118615104 @default.
- W1967948656 hasConceptScore W1967948656C136119220 @default.
- W1967948656 hasConceptScore W1967948656C139352143 @default.
- W1967948656 hasConceptScore W1967948656C202444582 @default.
- W1967948656 hasConceptScore W1967948656C2524010 @default.
- W1967948656 hasConceptScore W1967948656C33923547 @default.
- W1967948656 hasIssue "1-3" @default.
- W1967948656 hasLocation W19679486561 @default.
- W1967948656 hasOpenAccess W1967948656 @default.
- W1967948656 hasPrimaryLocation W19679486561 @default.
- W1967948656 hasRelatedWork W1987949650 @default.
- W1967948656 hasRelatedWork W2006459820 @default.
- W1967948656 hasRelatedWork W2045490848 @default.
- W1967948656 hasRelatedWork W2090649758 @default.
- W1967948656 hasRelatedWork W2332694326 @default.
- W1967948656 hasRelatedWork W2477677129 @default.
- W1967948656 hasRelatedWork W2525488343 @default.
- W1967948656 hasRelatedWork W2963070987 @default.
- W1967948656 hasRelatedWork W613626279 @default.
- W1967948656 hasRelatedWork W622366405 @default.
- W1967948656 hasVolume "130" @default.
- W1967948656 isParatext "false" @default.
- W1967948656 isRetracted "false" @default.
- W1967948656 magId "1967948656" @default.
- W1967948656 workType "article" @default.