数式処理
第９巻 第４号 ２００３年４月発行 |
| ＜巻頭言＞ | ||
|---|---|---|
| 新しい芽を執念深く育てよう | 佐々木建昭 | 1 |
| ＜大会報告＞ | ||
| 日本数式処理学会第１１回大会 報告 | 村尾裕一 | 2 |
| ＜論文＞ | ||
| 多項式制約間の矛盾検出法 | 沢田浩之 | 36 |
| 整数行列のFrobenius標準形のモジュラー計算法 | 森継修一 | 52 |
| ＜ショートレター＞ | ||
| 対称行列の半正定値性の条件について | 村上 弘 | 68 |
| ＜大会案内＞ | ||
| 日本数式処理学会第１２回大会参加ご案内 | 71 | |
| ＜議事録＞ | ||
| ２００３年度通常総会議事録 | 73 | |
| ＜会計監査報告書＞ | ||
| 会計監査報告書 | 79 | |
| ＜議事録＞ | ||
| 日本数式処理学会理事会議事録 | 80 | |
| ＜編集後記＞ | ||
| 編集後記 | 81 |
| 総目次に戻る | Topに戻る |
Last Modefied $Jssac: v094.html,v 1.1.1.1 2015/11/18 16:09:27 html Exp $