スポンサーリンク
立教大学理学部数学科 | 論文
- Algebraic approach to discrete-time polynomial spectral factorization
- 「WCC98に参加して/IFIP TC : この1年」
- パネル討論会 : Adaとどうつきあうか : 昭和56年後期第23回全国大会報告
- Dynamics of System Program : Progressive Induction (アルゴリズムにおける証明論)
- 1.情報科学教育の重要性と情報処理学会の活動(未来のコンピュータ好きを育てる)
- 計算実代数幾何入門(第5回)CADによるQE
- 計算実代数幾何入門(第4回)CADアルゴリズム(後半)
- 計算実代数幾何入門(第3回)CADアルゴリズム(前半)
- 最適化問題を効率的に解くための special CAD
- 計算実代数幾何入門(第2回)QEによる最適化とその応用
- 計算実代数幾何入門(第1回)CADとQEの概要
- Numerical Cylindrical Algebraic Decomposition with Certification via Symbolic Reconstruction (Computer Algebra : Design of Algorithms, Implementations and Applications)
- On Computing Sum of Roots with Positive Real Parts of Polynomials (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Radical Representation of Polynomial Roots
- 有限体上の多変数多項式の因数分解について (Computer Algebra : Algorithms, Implementations and Applications)
- 標数2有限体上楕円曲線の位数計算 (代数曲線とその応用論文小特集)
- Atkin,Elkies らによる Schoof のアルゴリズム改良の実装について(数式処理における理論と応用の研究)
- 連立代数方程式の種々の解法 (特集 数式処理とその周辺--最新事情からソフトの評価・応用まで)
- Atkin, ElkiesらによるSchoofアルゴリズム改良の実装について
- Prime Decomposition of Radical Ideals and Algebraic Factorization of Polynomials