1. Kyoto University Research Information Repository

検索


適用済条件:


検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 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
file type icon 
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
file type icon 
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
file type icon 
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
file type icon 

絞り込み