ラボラトリーズ CR...

ラボラトリーズ CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介

Icons representing 記事

ラボラトリーズ CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介

Call No. (NDL)
Z15-726
Bibliographic ID of National Diet Library
024019060
Material type
記事
Author
大石 進一ほか
Publisher
東京 : 日本応用数理学会
Publication date
2012-09
Material Format
Paper
Journal name
応用数理 = Bulletin of the Japan Society for Industrial and Applied Mathematics / 日本応用数理学会 編 22(3):2012.9
Publication Page
p.216-218
View All

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Digital
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper Digital

Material Type
記事
Author/Editor
大石 進一
荻田 武史
尾崎 克久
Alternative Title
Laboratories : Introduction of CREST Program : Establishment of Foundations of Verified Numerical Computations for Nonlinear Systems and Error-free Algorithms in Computational Engineering
Periodical title
応用数理 = Bulletin of the Japan Society for Industrial and Applied Mathematics / 日本応用数理学会 編
No. or year of volume/issue
22(3):2012.9
Volume
22
Issue
3
Pages
216-218