スポンサーリンク
日本数式処理学会 | 論文
- ゴールドバッハの方法による級数加速法
- 近似因数分解の新たな試み(仮) (大会報告 第15回日本数式処理学会大会報告)
- ブーリアングレブナ基底のグラフ彩色問題への応用 (第21回日本数式処理学会大会報告)
- 数値線形代数における前処理と数式処理における固有多項式計算の高速実装について (基礎理論・システム合同分科会報告)
- Sign Definite Condition専用Quantifier Eliminationの実装高速化のための論理式の簡単化 (第21回日本数式処理学会大会報告)
- KNOPPIX/MathからMathLibreへ (第21回日本数式処理学会大会報告)
- 連立代数方程式の解の個数を保つ摂動限界 (第21回日本数式処理学会大会報告)
- ISSAC'97
- ASCM'00報告
- 対称行列の半正定値性の条件について
- 一変数有理函数の函数合成積への分解について
- ISSAC'97 Poster Summary An Application of Groebner Bases to Classification of Nonlinear Circuits
- 第2回日本数式処理学会大システム分科会研究会報告
- 唯一の解をもつ四独の初期配置の解析 (第20回日本数式処理学会大会報告)
- Noda2005論文 ロボットの運動学における数式処理の利用
- 奨励賞受賞論文 Bounded Cylindrical Algebraic DecompositionによるQuantifier Eliminationの効率化
- グラフ表示を行うモバイルアプリのマルチプラットフォーム化
- Mathematica v8の紹介 (特集 数式処理システム : いま使うならこれだ)
- Integration of Computer Algebra Into Unbergraduate Mathematics Education (日本数式処理学会第14回大会報告)
- KNOPPIX/Math/2010にむけて