スポンサーリンク
日本数式処理学会 | 論文
- OpenXM プロジェクトの過去, 現在, 未来
- Noda2005論文 Strelitz test for stable polynomials and its application to design problems of control systems
- Risa/Asir and its applicability to teaching and learning mathematics (日本数式処理学会第14回大会報告)
- BOUNDS AND INEQUALITIES FOR THE ZEROS OF BESSEL FUNCTIONS
- フロンティアはどこにあるのだろうか?
- パラメトリック・グレブナ基底計算のテクニック
- Risa/AsirパッケージPGBの紹介
- A Mathematica Programming Practice on Vectors and Matrices (第19回日本数式処理学会大会報告)
- 第17回日本数式処理学会大会報告
- On stability of Grobner bases (大会報告 第13回日本数式処理学会大会)
- グレブナー基底の安定性に関する研究の最近の進展について (第19回日本数式処理学会大会報告)
- ISSAC'97 Poster Summary: Cauchy Principal Value Integral using Hybrid Integral
- Symbolic Algorithms for Obtaining Moments and "Moments of Moments" of Bookstrap Distributions
- Parametric Robust Control by Quantifier Elimination (特集 Quantifier Elimination)
- An application of computer algebra to studies on the history of Japanese mathematics
- 3D-XplorMath の開発と教育利用について
- [第15回日本数式処理学会]奨励賞論文 代数的手法による複数細胞タイプ共存条件式の導出
- Univariate Factor Separation and Separation of Multiple/Close Root Factors
- On Checking Products of Modular Factors in Berlekamp-Hensel Type Factorization
- 記録 「野田先生定年退職記念研究会実行委員会」記録