Matches in SemOpenAlex for { <https://semopenalex.org/work/W2979625132> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2979625132 abstract "A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials." @default.
- W2979625132 created "2019-10-18" @default.
- W2979625132 creator A5002512312 @default.
- W2979625132 creator A5024016986 @default.
- W2979625132 creator A5048554152 @default.
- W2979625132 date "2019-10-14" @default.
- W2979625132 modified "2023-09-27" @default.
- W2979625132 title "Formal proofs of operator identities by a single formal computation" @default.
- W2979625132 cites W2039225816 @default.
- W2979625132 cites W2039864462 @default.
- W2979625132 cites W2041611195 @default.
- W2979625132 cites W2104849640 @default.
- W2979625132 cites W2138023897 @default.
- W2979625132 cites W2983813478 @default.
- W2979625132 hasPublicationYear "2019" @default.
- W2979625132 type Work @default.
- W2979625132 sameAs 2979625132 @default.
- W2979625132 citedByCount "0" @default.
- W2979625132 crossrefType "posted-content" @default.
- W2979625132 hasAuthorship W2979625132A5002512312 @default.
- W2979625132 hasAuthorship W2979625132A5024016986 @default.
- W2979625132 hasAuthorship W2979625132A5048554152 @default.
- W2979625132 hasConcept C104317684 @default.
- W2979625132 hasConcept C108710211 @default.
- W2979625132 hasConcept C111472728 @default.
- W2979625132 hasConcept C11413529 @default.
- W2979625132 hasConcept C118615104 @default.
- W2979625132 hasConcept C121332964 @default.
- W2979625132 hasConcept C134306372 @default.
- W2979625132 hasConcept C136119220 @default.
- W2979625132 hasConcept C138885662 @default.
- W2979625132 hasConcept C158448853 @default.
- W2979625132 hasConcept C168310172 @default.
- W2979625132 hasConcept C17020691 @default.
- W2979625132 hasConcept C185592680 @default.
- W2979625132 hasConcept C202444582 @default.
- W2979625132 hasConcept C24890656 @default.
- W2979625132 hasConcept C2524010 @default.
- W2979625132 hasConcept C2776639384 @default.
- W2979625132 hasConcept C2778355321 @default.
- W2979625132 hasConcept C33923547 @default.
- W2979625132 hasConcept C45374587 @default.
- W2979625132 hasConcept C55493867 @default.
- W2979625132 hasConcept C68797384 @default.
- W2979625132 hasConcept C86339819 @default.
- W2979625132 hasConcept C90119067 @default.
- W2979625132 hasConcept C9376300 @default.
- W2979625132 hasConceptScore W2979625132C104317684 @default.
- W2979625132 hasConceptScore W2979625132C108710211 @default.
- W2979625132 hasConceptScore W2979625132C111472728 @default.
- W2979625132 hasConceptScore W2979625132C11413529 @default.
- W2979625132 hasConceptScore W2979625132C118615104 @default.
- W2979625132 hasConceptScore W2979625132C121332964 @default.
- W2979625132 hasConceptScore W2979625132C134306372 @default.
- W2979625132 hasConceptScore W2979625132C136119220 @default.
- W2979625132 hasConceptScore W2979625132C138885662 @default.
- W2979625132 hasConceptScore W2979625132C158448853 @default.
- W2979625132 hasConceptScore W2979625132C168310172 @default.
- W2979625132 hasConceptScore W2979625132C17020691 @default.
- W2979625132 hasConceptScore W2979625132C185592680 @default.
- W2979625132 hasConceptScore W2979625132C202444582 @default.
- W2979625132 hasConceptScore W2979625132C24890656 @default.
- W2979625132 hasConceptScore W2979625132C2524010 @default.
- W2979625132 hasConceptScore W2979625132C2776639384 @default.
- W2979625132 hasConceptScore W2979625132C2778355321 @default.
- W2979625132 hasConceptScore W2979625132C33923547 @default.
- W2979625132 hasConceptScore W2979625132C45374587 @default.
- W2979625132 hasConceptScore W2979625132C55493867 @default.
- W2979625132 hasConceptScore W2979625132C68797384 @default.
- W2979625132 hasConceptScore W2979625132C86339819 @default.
- W2979625132 hasConceptScore W2979625132C90119067 @default.
- W2979625132 hasConceptScore W2979625132C9376300 @default.
- W2979625132 hasLocation W29796251321 @default.
- W2979625132 hasOpenAccess W2979625132 @default.
- W2979625132 hasPrimaryLocation W29796251321 @default.
- W2979625132 hasRelatedWork W1612847675 @default.
- W2979625132 hasRelatedWork W1703441442 @default.
- W2979625132 hasRelatedWork W1735787306 @default.
- W2979625132 hasRelatedWork W1994657885 @default.
- W2979625132 hasRelatedWork W2046061760 @default.
- W2979625132 hasRelatedWork W2080636922 @default.
- W2979625132 hasRelatedWork W2094566532 @default.
- W2979625132 hasRelatedWork W2104758688 @default.
- W2979625132 hasRelatedWork W2323500172 @default.
- W2979625132 hasRelatedWork W2329627785 @default.
- W2979625132 hasRelatedWork W2478360461 @default.
- W2979625132 hasRelatedWork W2507334102 @default.
- W2979625132 hasRelatedWork W2564691697 @default.
- W2979625132 hasRelatedWork W2950446711 @default.
- W2979625132 hasRelatedWork W2952122201 @default.
- W2979625132 hasRelatedWork W2953199492 @default.
- W2979625132 hasRelatedWork W2964196671 @default.
- W2979625132 hasRelatedWork W2981781166 @default.
- W2979625132 hasRelatedWork W337674966 @default.
- W2979625132 hasRelatedWork W1516689377 @default.
- W2979625132 isParatext "false" @default.
- W2979625132 isRetracted "false" @default.
- W2979625132 magId "2979625132" @default.
- W2979625132 workType "article" @default.