文献
J-GLOBAL ID：200902083193474122   整理番号：89A0135675

有限精度計算を用いた幾何アルゴリズムの検証可能な実現

Verifiable implementations of geometric algorithms using finite precision arithmetic.
  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=89A0135675&from=J-GLOBAL&jstjournalNo=E0180C") }}
著者 (1件)：
MILENKOVIC V J

MILENKOVIC V J について

(Carnegie-Mellon Univ., PA, USA)

Carnegie-Mellon Univ., PA, USA について


資料名：
Artificial Intelligence  (Artificial Intelligence)

Artificial Intelligence について


巻： 37  号： 1/3  ページ： 377-401  発行年： 1988年12月 
JST資料番号： E0180C  ISSN： 0004-3702  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
有限精度計算を用いた正確かつ検証可能な幾何推論のための二つの...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
数値計算

数値計算 について

,...
   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=89A0135675&from=J-GLOBAL&jstjournalNo=E0180C") }}
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
数値計算 
(JE02000J)

数値計算 について

タイトルに関連する用語 (4件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
計算

計算 について

, 
幾何

幾何 について

, 
アルゴリズム

アルゴリズム について

, 
検証

検証 について


前のページに戻る

TOP

BOTTOM