Upload Login /

DISCOVER. SHARE. PRESENT

Share what you know and love through presentations, infographics, documents and more

Computer-Assisted Proofs I

精度保証付き数値計算の力学系への応用について

Contextualizing Playfair and Colebrooke on proof and demonstration in the Indian mathematical tradition 17801820

第6章 先端計算基盤研究部門 - Kyushu University Library

精度保証付き数値計算(2) —線形逆作用素のノルム評価

I hope this newsletter letter finds you doing well. We started the new

定理証明支援系Coqによる形式検証

أدوﺑﻲ اﺗﻔﺎﻗﻴﺔ ﺗﺮﺧﻴﺺ ﺑﺮاﻣﺞ آﻤﺒﻴﻮﺗﺮ ﻋﻨﺪ ﻗﻴﺎﻣﻚ ﺑﻨﺴﺦ أ

第2部 実施の展開と実績 - JICA報告書PDF版

2015(平成27)年度 - 鹿児島工業高等専門学校
Fly UP