This HTML5 document contains 165 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n32https://mathsoc.jp/section/appliedmath/
n14http://ja.dbpedia.org/resource/S/
dcthttp://purl.org/dc/terms/
n16https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-18K03434/
template-enhttp://ja.dbpedia.org/resource/Template:
n27http://www.coronasha.co.jp/np/download/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n13http://uivtx.cs.cas.cz/~rohn/matlab/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n15https://www.swmath.org/software/
n17https://kaken.nii.ac.jp/ja/grant/KAKENHI-PROJECT-17002012/
n29http://ri2t.kyushu-u.ac.jp/~watanabe/RESERCH/SLIDE/
n21http://www.math.twcu.ac.jp/ogita/lec/u-tokyo2016/
n18https://271.jp/PDF/
n31http://verifiedby.me/kv/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n24http://mathsoc.jp/office/prize/haruaki/
n10http://nalab.mind.meiji.ac.jp/~mk/labo/text/IA/
n23http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n9http://ja.dbpedia.org/resource/Category:
n28http://ri2t.kyushu-u.ac.jp/~watanabe/LECTURE/INA/
n20http://ja.wikipedia.org/wiki/
n4http://www.ti3.tu-harburg.de/rump/intlab/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n7http://ja.dbpedia.org/resource/ファイル:
n30https://doi.org/10.15480/
n34https://doi.org/10.1016/
n12http://arblib.org/
dbpedia-jahttp://ja.dbpedia.org/resource/
n33https://discourse.julialang.org/t/reproducing-rump-s-example/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q63307393
owl:sameAs
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:INTLAB
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
prop-en:genre
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:SCAN_(国際研究集会)
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:アトラクター
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:アフィン
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:アフィン演算
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:ゲッツ・アールフェルト
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:ゲルシュゴリンの定理
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:シミュレーション
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:ニュートン=カントロビッチの定理
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:ローター・コラッツ
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:不確かさ_(測定)
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:二重指数関数型数値積分公式
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:伊理正夫
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:偏微分方程式の数値解法
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:力学系
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:区間ニュートン法
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:区間演算
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:占部実
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:可積分アルゴリズム
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:大石進一
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:常微分方程式の数値解法
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:応用数学
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:応用数学分科会
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:数値積分
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:数値線形代数
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:数値解析
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:数値解析の項目一覧
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:数値解析シンポジウム
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:数列の加速法
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:日本シミュレーション学会
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:日本応用数理学会
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:有限要素法
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:杉原正顯
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:浮動小数点数
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:精度保証付き数値計算
rdfs:label
精度保証付き数値計算
rdfs:comment
精度保証付き数値計算(せいどほしょうつきすうちけいさん、Validated Numerics, Rigorous Computation, Reliable Computation, Verified Computation, Numerical Verification, 独: Zuverlässiges Rechnen)とは数学的に厳密な誤差(前進誤差、後退誤差、丸め誤差、打切り誤差、離散化誤差)の評価を伴う数値計算のことであり、数値解析の一分野である。演算では区間演算を使用し、結果はすべて区間で出力する。精度保証付き数値計算はウォリック・タッカーによって14番目のスメイルの問題を解くのにも活用されており(を参照)、力学系の研究では重要なツールとして位置づけられている。 「数値解析」および「区間演算」も参照
dct:subject
n9:数学に関する記事 n9:計算科学 n9:アルゴリズム n9:応用数学 n9:数値解析
dbo:wikiPageID
3934084
dbo:wikiPageRevisionID
92609453
dbo:wikiPageWikiLink
dbpedia-ja:離散化 dbpedia-ja:離散化誤差 dbpedia-ja:日本応用数理学会 n7:Nuvola_apps_edu_mathematics-p.svg dbpedia-ja:数値解析 n7:Nuvola_apps_edu_mathematics_blue-p.svg dbpedia-ja:数値解析シンポジウム dbpedia-ja:力学系 n9:数値解析 dbpedia-ja:ゲルシュゴリンの定理 n9:数学に関する記事 dbpedia-ja:IBM dbpedia-ja:ニュートン=カントロビッチの定理 dbpedia-ja:フルヴィッツのゼータ函数 dbpedia-ja:コロナ社 dbpedia-ja:コロナ社_(出版社) dbpedia-ja:誤差 dbpedia-ja:線形計画法 n14:370 dbpedia-ja:丸め誤差 n9:計算科学 dbpedia-ja:浮動小数点数 dbpedia-ja:微分方程式 dbpedia-ja:計算機援用証明 dbpedia-ja:伊理正夫 dbpedia-ja:有限要素法 dbpedia-ja:アフィン演算 dbpedia-ja:二重指数関数型数値積分公式 dbpedia-ja:ガンマ関数 dbpedia-ja:楕円関数 dbpedia-ja:積分方程式 dbpedia-ja:任意精度演算 dbpedia-ja:スメイルの問題 dbpedia-ja:特殊関数 dbpedia-ja:区間ニュートン法 dbpedia-ja:MATLAB dbpedia-ja:ニュートン法 dbpedia-ja:区間演算 dbpedia-ja:関数解析 dbpedia-ja:SCAN_(国際研究集会) dbpedia-ja:ガウス求積 dbpedia-ja:秋季賞 dbpedia-ja:日本シミュレーション学会 dbpedia-ja:ローレンツ方程式 dbpedia-ja:初等関数 dbpedia-ja:INTLAB n9:アルゴリズム dbpedia-ja:自動微分 dbpedia-ja:ウォリック・タッカー dbpedia-ja:アリアン5 dbpedia-ja:ウルリヒ・クリッシュ dbpedia-ja:固有値 dbpedia-ja:C++ dbpedia-ja:不確かさ_(測定) dbpedia-ja:ゲッツ・アールフェルト dbpedia-ja:応用数学分科会 dbpedia-ja:湾岸戦争 dbpedia-ja:計算幾何学 dbpedia-ja:GNU_Octave dbpedia-ja:境界値問題 n9:応用数学 dbpedia-ja:高性能計算 dbpedia-ja:占部実 dbpedia-ja:日本数学会 dbpedia-ja:大石進一 dbpedia-ja:ベッセル関数 dbpedia-ja:超幾何級数 dbpedia-ja:数値積分 dbpedia-ja:数値線形代数 dbpedia-ja:Julia_(プログラミング言語) dbpedia-ja:C言語
dbo:wikiPageExternalLink
n4: n10:seidohosyou.html n12: n13: n15:8787 n16: n17: n18:2015verify.pdf n21:ogita01.pdf n24:nakao2012aki.html n27:6965501695.pdf%7Caccessdate=2019-04-19%7Cref=%22%E5%A4%A7%E7%9F%B3%E4%BB%962018%22 n28:05.pdf n29:BIC2001.pdf n30:882.316 n31: n32:index.htm n33:6473 n34:S0764-4442(99)80439-X
prop-en:wikiPageUsesTemplate
template-en:偏微分方程式の数値解法 template-en:ウィキプロジェクトリンク template-en:ウィキポータルリンク template-en:Functional_analysis template-en:PDFlink template-en:数学 template-en:Reflist template-en:GitHub template-en:Lang-de-short template-en:Cite_book template-en:Citation template-en:Seealso template-en:Cite_journal template-en:Harvnb template-en:Differential_equations
foaf:depiction
n23:Nuvola_apps_edu_mathematics-p.svg n23:Nuvola_apps_edu_mathematics_blue-p.svg
dbo:thumbnail
n23:Nuvola_apps_edu_mathematics_blue-p.svg?width=300
dbo:abstract
精度保証付き数値計算(せいどほしょうつきすうちけいさん、Validated Numerics, Rigorous Computation, Reliable Computation, Verified Computation, Numerical Verification, 独: Zuverlässiges Rechnen)とは数学的に厳密な誤差(前進誤差、後退誤差、丸め誤差、打切り誤差、離散化誤差)の評価を伴う数値計算のことであり、数値解析の一分野である。演算では区間演算を使用し、結果はすべて区間で出力する。精度保証付き数値計算はウォリック・タッカーによって14番目のスメイルの問題を解くのにも活用されており(を参照)、力学系の研究では重要なツールとして位置づけられている。 「数値解析」および「区間演算」も参照
dbo:wikiPageLength
12346
prov:wasDerivedFrom
n20:精度保証付き数値計算?oldid=92609453&ns=0
foaf:isPrimaryTopicOf
n20:精度保証付き数値計算
Subject Item
dbpedia-ja:級数
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:線型代数学ライブラリの比較
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:行列値関数
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:解析学
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:計算機援用証明
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:計算科学
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:関数解析学
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
dbpedia-ja:離散化誤差
dbo:wikiPageWikiLink
dbpedia-ja:精度保証付き数値計算
Subject Item
n20:精度保証付き数値計算
foaf:primaryTopic
dbpedia-ja:精度保証付き数値計算