スポンサーリンク
日本数式処理学会 | 論文
- 並列処理の多項式計算への応用
- 教育・Mathematica 合同分科会報告
- ISSAC2000参加報告
- 初等幾何学定理の証明におけるRegular Chainの有効性の評価 (第19回日本数式処理学会大会報告)
- 物理数学授業における数式処理システムを利用した教材の活用
- Mathematica を活用した工学基礎数学の教育実践
- Isabelle/HOL による分割表の数え上げ
- Discrete Comprehensive Grobner Bases の Risa/Asir による実装
- 数値根に対する精度よい誤差上界公式 (大会報告 第15回日本数式処理学会大会報告)
- 大会報告 日本数式処理学会第11回大会報告
- Risa/Asir (特集 いろいろな数式処理システム)
- A Linear Algebra Method for Solving Systems of Algebraic Equations
- Formalization and Parsing of Mathematical Expressions for Mathematical Computation
- CASC 2003 の報告
- 多変数多項式の解析的因数分解のための2つのアルゴリズムについて
- QE Approach to Common Lyapunov Function Problem (特集 Quantifier Elimination)
- Open asir入門
- Noda2005論文 Matrix Multiplication Made Fast--Practical View of Fast Matrix Operation for Computer Algebra System
- 数学公式データベースとG関数
- ACA'2002会議報告