Details:
| Title | Transforming problems from analysis to algebra: A case study in linear boundary problems | | Author(s) | Bruno Buchberger, Markus Rosenkranz | | Type | Article in Journal | | Abstract | | | Keywords | Symbolic analysis, Linear boundary problems, Wen-Tsun Wu, Wolfgang Groebner, Theorema, Algorithmic functors, Groebner bases, Integro-differential algebras, Baxter algebras | | ISSN | 0747-7171 |
| URL |
http://www.sciencedirect.com/science/article/pii/S074771711100215X |
| Language | English | | Journal | Journal of Symbolic Computation | | Volume | 47 | | Number | 6 | | Pages | 589 - 609 | | Year | 2012 | | Note | Advances in Mathematics Mechanization Mathematics Mechanization | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
