Top > Back > 学会発表 の検索結果 154 件中 121‐150 件目
| Stabilizing Algebraic Algorithms: Theory and System |
| [ 共同発表者名 ] 白柳潔，関川浩 |
| [ 学会・会議名 ] 第4回 非線形解析とその応用−数式処理による研究− |
| [ 発表日付 ] 1999年9月17日 |
| Mahler measure を用いた代数的数のゼロ判定−p進近似の場合− |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所短期共同研究集会 "Researches on Algorithms for Computer Algebra" |
| [ 発表日付 ] 1999年7月28日 |
| A System of Automatic Algorithm Stablization |
| [ 共同発表者名 ] Hiroshi Sekigawa, Kiyoshi Shirayanagi |
| [ 学会・会議名 ] 1999 IMACS Conference on Applications of Computer Algebra (IMACS-ACA'99) |
| [ 発表日付 ] 1999年6月25日 |
| An Interval Arithmetic with Algebraic Complexity to Determine the Signs of Algebraic Expressions |
| [ 共同発表者名 ] Hiroshi Sekigawa |
| [ 学会・会議名 ] 4th International Symposium on Effective Methods in Algebraic Geometry (MEGA'96) |
| [ 発表日付 ] 1999年6月6日 |
| アルゴリズム自動安定化プロトタイプシステム |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] 第8回日本数式処理学会大会 |
| [ 発表日付 ] 1999年5月21日 |
| アルゴリズム自動安定化プロトタイプシステム |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] ワークショップ「数式処理システムとその応用」 |
| [ 発表日付 ] 1999年3月16日 |
| 数式処理から見た行列の数値計算アルゴリズム |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会「数式処理における理論と応用の研究」 |
| [ 発表日付 ] 1998年11月18日 |
| p進数係数代数方程式の近似根の誤差評価について |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所短期共同研究集会 "Researches on Algorithms for Computer Algebra" |
| [ 発表日付 ] 1998年7月28日 |
| アルゴリズム自動安定化システムの構築に向けて |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] 第7回 日本数式処理学会大会 |
| [ 発表日付 ] 1998年6月13日 |
| Deciding the Sign Using Floating-point Arithmetic |
| [ 共同発表者名 ] H. Hiyoshi, H. Sekigawa |
| [ 学会・会議名 ] 14th European Workshop on Computational Geometry |
| [ 発表日付 ] 1998年3月27日 |
| 自動安定化システム |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] ワークショップ「数式処理システムとその応用」 |
| [ 発表日付 ] 1998年3月17日 |
| 浮動小数点演算を用いた代数的数の符号判定 |
| [ 共同発表者名 ] 日吉久礎，関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会「数式処理における理論と応用の研究」 |
| [ 発表日付 ] 1997年11月19日 |
| p進近似を利用した代数的数の取り扱い |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会「数式処理における理論と応用の研究」 |
| [ 発表日付 ] 1997年11月19日 |
| 区間演算と Mahler の measure を用いた代数的数のゼロ判定 |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 第6回 日本数式処理学会大会 |
| [ 発表日付 ] 1997年5月14日 |
| 区間演算と Mahler の measure による代数的数のゼロ判定 |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] ワークショップ「数式処理システムとその応用」 |
| [ 発表日付 ] 1997年3月7日 |
| 拡張された Mahler の measure による代数的数のゼロ判定 |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会「数式処理における理論と応用の研究」 |
| [ 発表日付 ] 1996年11月19日 |
| Asir 上の区間演算 |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 第4回 Risa Consortium 会議 |
| [ 発表日付 ] 1996年10月19日 |
| Using Interval Arithmetic and Polynomial Norms to Determine Signs of Algebraic Numbers |
| [ 共同発表者名 ] Hiroshi Sekigawa |
| [ 学会・会議名 ] 2nd Asian Symposium on Computer Mathematics (ASCM'96) |
| [ 発表日付 ] 1996年8月20日 |
| 区間演算と多項式ノルムによる代数的数の符号判定 |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] ワークショップ「数式処理システムとその応用」 |
| [ 発表日付 ] 1996年3月15日 |
| 区間演算と多項式ノルムによる代数的数の符号判定 |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所短期共同研究集会 "Researches on Algorithms for Computer Algebra" |
| [ 発表日付 ] 1996年2月26日 |
| Computing Diophantine Approximate Groebner Bases |
| [ 共同発表者名 ] Hiroshi Sekigawa, Kiyoshi Shirayanagi |
| [ 学会・会議名 ] 1st Asian Technology Conference in Mathematics (ATCM'95) |
| [ 発表日付 ] 1995年12月18日 |
| 近似計算による代数的数の符号判定について |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会「数式処理における理論とその応用の研究」 |
| [ 発表日付 ] 1995年11月22日 |
| Zero Rewriting in Interval Computation and Its Application to Sturm's Algorithm |
| [ 共同発表者名 ] Hiroshi Sekigawa, Kiyoshi Shirayanagi |
| [ 学会・会議名 ] International Symposium on Symbolic and Algebraic Computation (ISSAC'95) |
| [ 発表日付 ] 1995年7月11日 |
| 凸包アルゴリズムの安定化 |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] 第4回 日本数式処理学会大会 |
| [ 発表日付 ] 1995年6月6日 |
| 安定化理論の凸包アルゴリズムへの応用 |
| [ 共同発表者名 ] 白柳潔，関川浩 |
| [ 学会・会議名 ] ワークショップ「数式処理システムとその応用」 |
| [ 発表日付 ] 1995年3月23日 |
| 安定化理論の Sturm's algorithm への応用 |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] ワークショップ「数式処理システムとその応用」 |
| [ 発表日付 ] 1995年3月23日 |
| Diophantine 近似グレブナ基底の計算 |
| [ 共同発表者名 ] 関川浩，白柳潔 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会「数式処理における理論とその応用の研究」 |
| [ 発表日付 ] 1994年11月16日 |
| PARTHENON 2.2 インバータ削減アルゴリズム |
| [ 共同発表者名 ] 関川浩 |
| [ 学会・会議名 ] 第3回パルテノン研究会 |
| [ 発表日付 ] 1993年11月25日 |
| Selector Assignment after Scheduling and Allocations Steps |
| [ 共同発表者名 ] H. Sekigawa, R. Nomura, K. Oguri, Y. Nakamura |
| [ 学会・会議名 ] IEEE Asia-Pacific Conference on Circuits and Systems (APCCAS'92) |
| [ 発表日付 ] 1992年12月10日 |
| Multiplexer Assignment after Scheduling and Allocations Steps |
| [ 共同発表者名 ] H. Sekigawa, Y. Nakamura, K. Oguri, A. Nagoya, M. Yukishita |
| [ 学会・会議名 ] 6th International Workshop on High Level Synthesis |
| [ 発表日付 ] 1992年11月4日 |
