Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136339957> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2136339957 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." @default.
- W2136339957 created "2016-06-24" @default.
- W2136339957 creator A5002671973 @default.
- W2136339957 creator A5034555443 @default.
- W2136339957 date "2003-06-25" @default.
- W2136339957 modified "2023-09-23" @default.
- W2136339957 title "The proof complexity of linear algebra" @default.
- W2136339957 cites W2017205387 @default.
- W2136339957 cites W2059644853 @default.
- W2136339957 cites W2082002555 @default.
- W2136339957 cites W2165390183 @default.
- W2136339957 cites W4248733413 @default.
- W2136339957 doi "https://doi.org/10.1109/lics.2002.1029841" @default.
- W2136339957 hasPublicationYear "2003" @default.
- W2136339957 type Work @default.
- W2136339957 sameAs 2136339957 @default.
- W2136339957 citedByCount "3" @default.
- W2136339957 countsByYear W21363399572022 @default.
- W2136339957 crossrefType "proceedings-article" @default.
- W2136339957 hasAuthorship W2136339957A5002671973 @default.
- W2136339957 hasAuthorship W2136339957A5034555443 @default.
- W2136339957 hasConcept C136119220 @default.
- W2136339957 hasConcept C139352143 @default.
- W2136339957 hasConcept C202444582 @default.
- W2136339957 hasConcept C2524010 @default.
- W2136339957 hasConcept C33923547 @default.
- W2136339957 hasConcept C41008148 @default.
- W2136339957 hasConceptScore W2136339957C136119220 @default.
- W2136339957 hasConceptScore W2136339957C139352143 @default.
- W2136339957 hasConceptScore W2136339957C202444582 @default.
- W2136339957 hasConceptScore W2136339957C2524010 @default.
- W2136339957 hasConceptScore W2136339957C33923547 @default.
- W2136339957 hasConceptScore W2136339957C41008148 @default.
- W2136339957 hasLocation W21363399571 @default.
- W2136339957 hasOpenAccess W2136339957 @default.
- W2136339957 hasPrimaryLocation W21363399571 @default.
- W2136339957 hasRelatedWork W1987949650 @default.
- W2136339957 hasRelatedWork W2006459820 @default.
- W2136339957 hasRelatedWork W2045490848 @default.
- W2136339957 hasRelatedWork W2090649758 @default.
- W2136339957 hasRelatedWork W2331592954 @default.
- W2136339957 hasRelatedWork W2477677129 @default.
- W2136339957 hasRelatedWork W2525488343 @default.
- W2136339957 hasRelatedWork W2963070987 @default.
- W2136339957 hasRelatedWork W613626279 @default.
- W2136339957 hasRelatedWork W622366405 @default.
- W2136339957 isParatext "false" @default.
- W2136339957 isRetracted "false" @default.
- W2136339957 magId "2136339957" @default.
- W2136339957 workType "article" @default.