>>393
リンクを辿ると

例えば、下記で論文のpdfなどが落とせる。arxivってすごいね
で、”The Bernstein-Sato polynomial (or global b-function) is an important invariant in singularity theory, which can be computed using symbolic methods in the theory of D-modules.
After surveying algorithms for computing the global b-function, we develop a new method to compute the local b-function for a single polynomial. ”と
こういう数式処理はますます重要になるだろう

http://arxiv.org/abs/1002.1475
Algorithms for Bernstein-Sato polynomials and multiplier ideals
Christine Berkesch, Anton Leykin
(Submitted on 7 Feb 2010 (v1), last revised 25 Jun 2010 (this version, v2))