Automatic linearity detection

Given a function, or more generally an operator, the question "Is it linear?" seems simple to answer. In many applications of scientific computing it might be worth determining the answer to this question in an automated way; some functionality, such as operator exponentiation, is only def...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Birkisson, A, Driscoll, T
Định dạng: Report
Được phát hành: SICS 2013