Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008573631> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2008573631 abstract "Tensor product identities in two variables are quite common in mathematics: Exponential, logarithmic, trigonometric, and hyperbolic functions all satisfy tensor product identities, and the binomial theorem is a familiar example of a tensor product identity for polynomial functions. This article presents a new elementary technique which can derive and prove all of these identities---automatically! This unified approach is based on the author's recent research on uniqueness theory for dual asymptotic expansions and remainder theory for Taylor interpolation on two lines. These results provide a simple iterative algorithm which derives a tensor product from a closed-form expression using the author's asymptotic splitting operator, and a simple hyperbolic eigenfunction criterion which proves that the two forms are identically equal. The author has implemented these methods as a complete derivation and proof system in the Maple 8 computer algebra system. The Maple code, which is surprisingly brief, is included in its entirety. The article also includes numerous examples which illustrate a variety of novel techniques for deriving and proving tensor product identities using this simple but effective system. (Maple is a registered trademark of Waterloo Maple Inc." @default.
- W2008573631 created "2016-06-24" @default.
- W2008573631 creator A5039868475 @default.
- W2008573631 date "2003-08-03" @default.
- W2008573631 modified "2023-10-14" @default.
- W2008573631 title "An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra" @default.
- W2008573631 cites W1977049875 @default.
- W2008573631 cites W2064305618 @default.
- W2008573631 doi "https://doi.org/10.1145/860854.860873" @default.
- W2008573631 hasPublicationYear "2003" @default.
- W2008573631 type Work @default.
- W2008573631 sameAs 2008573631 @default.
- W2008573631 citedByCount "1" @default.
- W2008573631 crossrefType "proceedings-article" @default.
- W2008573631 hasAuthorship W2008573631A5039868475 @default.
- W2008573631 hasConcept C110812573 @default.
- W2008573631 hasConcept C11413529 @default.
- W2008573631 hasConcept C134306372 @default.
- W2008573631 hasConcept C136119220 @default.
- W2008573631 hasConcept C155281189 @default.
- W2008573631 hasConcept C202444582 @default.
- W2008573631 hasConcept C2524010 @default.
- W2008573631 hasConcept C33923547 @default.
- W2008573631 hasConcept C41008148 @default.
- W2008573631 hasConcept C51255310 @default.
- W2008573631 hasConcept C90673727 @default.
- W2008573631 hasConceptScore W2008573631C110812573 @default.
- W2008573631 hasConceptScore W2008573631C11413529 @default.
- W2008573631 hasConceptScore W2008573631C134306372 @default.
- W2008573631 hasConceptScore W2008573631C136119220 @default.
- W2008573631 hasConceptScore W2008573631C155281189 @default.
- W2008573631 hasConceptScore W2008573631C202444582 @default.
- W2008573631 hasConceptScore W2008573631C2524010 @default.
- W2008573631 hasConceptScore W2008573631C33923547 @default.
- W2008573631 hasConceptScore W2008573631C41008148 @default.
- W2008573631 hasConceptScore W2008573631C51255310 @default.
- W2008573631 hasConceptScore W2008573631C90673727 @default.
- W2008573631 hasLocation W20085736311 @default.
- W2008573631 hasOpenAccess W2008573631 @default.
- W2008573631 hasPrimaryLocation W20085736311 @default.
- W2008573631 hasRelatedWork W1496696361 @default.
- W2008573631 hasRelatedWork W2035226087 @default.
- W2008573631 hasRelatedWork W2224485717 @default.
- W2008573631 hasRelatedWork W2251196829 @default.
- W2008573631 hasRelatedWork W2348125725 @default.
- W2008573631 hasRelatedWork W2950910352 @default.
- W2008573631 hasRelatedWork W3099027509 @default.
- W2008573631 hasRelatedWork W3197048833 @default.
- W2008573631 hasRelatedWork W3202191715 @default.
- W2008573631 hasRelatedWork W4293327328 @default.
- W2008573631 isParatext "false" @default.
- W2008573631 isRetracted "false" @default.
- W2008573631 magId "2008573631" @default.
- W2008573631 workType "article" @default.