総合講演・企画特別講演アブストラクト
Online ISSN : 1884-3972
ISSN-L : 1884-3972
精度保証付き数値計算と計算機支援証明
その現状と展望
中尾 充宏
著者情報
ジャーナル フリー

2001 年 2001 巻 Autumn-Meeting1 号 p. 32-44

詳細
PDFをダウンロード (1299K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© 日本数学会
前の記事 次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top