スポンサーリンク
日本数式処理学会 | 論文
- 投稿原稿の作成要項(jssac.styの利用)
- 関数座標を作る
- 下から見たISSAC'98
- CASC 2003 に参加して
- 実区間多項式の零点の所在について
- 実区間多項式の実重複零点の所在について
- 安定化理論に基づくグレブナ基底変換法
- 与えられた実閉区間に重複零点を持つ最近実多項式
- 係数に誤差のある連立代数方程式の可解性について (第19回日本数式処理学会大会報告)
- 第6回数式処理学会大会報告
- 集合制約の解法におけるブーリアングレブナ基底の有効性について
- Univariate Factor Separation and Separation of Multiple/Close Root Factors
- ISSAC'98の報告
- ACA2002 in Greeceの報告 : トラブルを抜けると、そこは天国だった…
- LMCS2002の報告
- 制約ベース型初期設計支援システム
- 数式処理システムSIMATHの紹介
- 数式処理システムの数学教育への応用
- 誤差を含んだ係数を持つ連立代数方程式の代数的解法
- Zalgaller 多面体の Minkowskian analogue について