Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Chapman F.W. — An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra
Chapman F.W. — An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra

Автор: Chapman F.W.

Аннотация:

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.


Язык: en

Рубрика: Computer science/

Тип: Статья

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2003

Количество страниц: 8

Добавлена в каталог: 14.10.2012

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2022
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте