An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. | D2R Server publishing the DBLP Bibliography Database, hosted at L3S Research Center

Property	Value
dcterms:bibliographicCitation	<http://dblp.uni-trier.de/rec/bibtex/conf/issac/Chapman03>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Frederick_W._Chapman>
foaf:homepage	<http://dx.doi.org/doi.org%2F10.1145%2F860854.860873>
foaf:homepage	<https://doi.org/10.1145/860854.860873>
dc:identifier	DBLP conf/issac/Chapman03 (xsd:string)
dc:identifier	DOI doi.org%2F10.1145%2F860854.860873 (xsd:string)
dcterms:issued	2003 (xsd:gYear)
rdfs:label	An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. (xsd:string)
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Frederick_W._Chapman>
swrc:pages	50-57 (xsd:string)
dcterms:partOf	<https://dblp.l3s.de/d2r/resource/publications/conf/issac/2003>
owl:sameAs	<http://bibsonomy.org/uri/bibtexkey/conf/issac/Chapman03/dblp>
owl:sameAs	<http://dblp.rkbexplorer.com/id/conf/issac/Chapman03>
rdfs:seeAlso	<http://dblp.uni-trier.de/db/conf/issac/issac2003.html#Chapman03>
rdfs:seeAlso	<https://doi.org/10.1145/860854.860873>
swrc:series	<https://dblp.l3s.de/d2r/resource/conferences/issac>
dc:subject	Taylor interpolation, asymptotic splitting operator, automatic derivation, automatic proof, binormal forms, bivariate identities, characteristic cauchy problem, computer algebra, differential equations, dual asymptotic expansions, homogeneous hyperbolic eigenproblem, hyperbolic eigenfunction, lie groups, maple, symmetries, tensor products (xsd:string)
dc:title	An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. (xsd:string)
dc:type	<http://purl.org/dc/dcmitype/Text>
rdf:type	swrc:InProceedings
rdf:type	foaf:Document