Effective Localization Using Double Ideal Quotient and Its Implementation.

Yuki Ishihara, Kazuhiro Yokoyama

Browse the full CASC paper archive.