例えば、下記で論文の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. ”と こういう数式処理はますます重要になるだろう
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))
