抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
地域方法は,1990年代にChouらによって開発された幾何学のための決定手順である。この方法は,排除補助定理を適用することにより,代数的に検証可能な形式に指定した仮説を減らすことを目的とする。補題が適用される順序は,表された予測と基礎となる幾何学的構造によって決定される。本論文では,スタンドアロンMathematicaパッケージとしてユークリッド形状のための領域方法の実装を示した。【JST・京大機械翻訳】