Upload Login /

DISCOVER. SHARE. PRESENT

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

Formal Reasoning

Informal Reasoning

Reasoning and symbolism in Diophantus preliminary observations Reviel Netz

Operator formalism

Moral Reasoning

Formal Training Program

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

成熟したモデルの写真

参考資料2：（PDF：3910KB） - Japan Patent Office

英文仮訳対照表 - 生命保険協会
Fly UP