Gröbner basis, integration and transcendental functions
Nobuki Takayama · 1990
It is well known that Gröbner basis is a fundamental and powerful tool to solve problems of polynomials ([Buch*],[JSC] etc). Recently, it is revealed that we can use Gröbner basis of Weyl algebra to solve the problems of integrations and formula verifications of transcendental functions ([Zei*], [Tak*], [AZ], [WZ*]).