スポンサーリンク

Research Institute for Symbolic Computation (RISC-Linz), Johannes Kepler Universitat Linz | 論文

• 効率的なパラメトリック・グレブナ基底計算のテクニック

スポンサーリンク