計算機援用証明I
スポンサーリンク
概要
- 論文の詳細を見る
We will discuss the possibility to 'prove' mathematical theorems with the aid of digital computers and present different methods to approach this goal. Special focus will be on integer and floating point arithmetic, on computer algebra methods as well as on so-called selfvalidating methods. This note can only cover a very small part of the subject and is intended to stimulate discussions, and possibly reconsideration of one or the other point of view.
- 日本応用数理学会の論文
- 2004-09-28
著者
関連論文
- 行列式の精度保証付き数値計算法
- 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
- 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
- A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
- マルチプロセスを用いた連立一次方程式の精度保証法の実装
- 非対称行列から生成された対称行列に対するCG法 (数値解析と新しい情報技術)
- real root countingに関する話題 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 大規模疎行列の正定値性の保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 点と直線の位置関係の計算をロバストに行う : 点と平面の位置関係の精度保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 複素解析を用いた高速精度保証付き自動積分法
- ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
- 行列式の高速な精度保証付き数値計算法(数値シミュレーションを支える応用数理)
- 6 数値シミュレーションを支える精度保証技術(次世代統合シミュレーション技術)
- 不均質頭部モデルによる超音波領域骨導音波動伝搬解析
- 点と平面との位置関係を判定する高速かつロバストなアルゴリズム(実用,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法(理論,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法
- 連立一次方程式のメモリ量を低減した精度保証付き数値計算法(ロバスト計算と精度保証)
- 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法(ロバスト計算と精度保証)
- 精度保証付き数値計算をつかった super fast real root counting
- 悪条件連立一次方程式の精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- 実対称行列の各固有値に対する精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- Javaによる連立一次方程式の数値解の精度保証法 (21世紀における数値解析の新展開)
- 大規模連立一次方程式のための高速精度保証法(シンポジウム)
- 拡張Strassen法による連立一次方程式の精度保証 (数値解析と新しい情報技術)
- Strassen のアルゴリズムによる行列乗算の高速精度保証 (微分方程式の数値解法と線形計算)
- 計算機援用証明II
- 計算機援用証明II
- 計算機援用証明I
- 有限要素法用ICCG法の並列化方法 (偏微分方程式の数値解法とその周辺)
- 研究委員会紹介 精度保証付シミュレーション技術研究委員会
- 反復解法による連立一次方程式の数値解の高速精度保証
- 単調な疎行列における連立一次方程式の高速精度保証 (偏微分方程式の数値解法とその周辺II)
- 精度保証付シミュレーション技術研究委員会(研究委員会紹介)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- Iterative Refinement for Ill-Conditioned Linear Systems
- Adaptive and Efficient Algorithm for 2D Orientation Problem
- 高精度行列-行列積アルゴリズムのスレッド並列化とABCLibScriptへの機能実装
- BLAS を用いた高精度な行列積アルゴリズムの使用メモリ量の削減とその性能について (科学技術計算における理論と応用の新展開)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- ラボラトリーズ CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介(ラボラトリーズ)
- The 7th East Asia SIAM Conference(Conference Reports)
- 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法