著者検索結果:計算機援用証明(1件)

1~1件
Vol.98 No.11 pp.967-971  
精度保証付数値計算と非線形問題の計算機援用証明
大石 進一 
あらまし | 本文:PDF(299.7KB)

ログイン

 > 

パスワードを忘れた場合は

メニュー

Online ISSN:2188-2355