検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果表示: 1-4 / 4.
- 前
- 1
- 次
検索結果:
書誌情報 | ファイル |
---|---|
Symbolic-Numeric Optimization for Kinetic Models : An application to bioinformatics field (Computer Algebra : Design of Algorithms, Implementations and Applications) Orii, Shigeo; Anai, Hirokazu; Horimoto, Katsuhisa (2005-11) 数理解析研究所講究録, 1456: 40-48 | |
On Computing Sum of Roots with Positive Real Parts of Polynomials (Computer Algebra : Design of Algorithms, Implementations and Applications) Anai, Hirokazu; Yokoyama, Kazuhiro; Hara, Shinji (2005-11) 数理解析研究所講究録, 1456: 49-57 | |
Numerical Cylindrical Algebraic Decomposition with Certification via Symbolic Reconstruction (Computer Algebra : Design of Algorithms, Implementations and Applications) Anai, Hirokazu; Yokoyama, Kazuhiro (2005-11) 数理解析研究所講究録, 1456: 65-69 | |
Development of SyNRAC : A Cylindrical Algebraic Decomposition Procedure (Computer Algebra : Design of Algorithms, Implementations and Applications) Yanami, Hitoshi; Anai, Hirokazu (2005-11) 数理解析研究所講究録, 1456: 58-64 |