Yuki Ishihara, Kazuhiro Yokoyama. Effective Localization Using Double Ideal Quotient and Its Implementation. In Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings. Volume 11077 of Lecture Notes in Computer Science, pages 272-287, Springer, 2018. [doi]
Abstract is missing.