active sites directory

Active Sites Directory is a free directory which covers a large variety of sites organized by category. Browse thousands of web sites that are more focused on one particular aspect of World, Japanese, 科学, 自然科学, 数学, 数理論理学・数学基礎論 with just the click of your mouse.

ほかの言語でのこのカテゴリ

英語 (831) ドイツ語 (10) スペイン語 (10)
フランス語 (23) イタリア語 (4) ロシア語 (4)

» 情報証明論 - Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。

» 数学基礎論史 - 林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記や掲示板。

» 数学基礎論若手の会 - 学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。

» 記号論理と情報科学研究集会 - 記号論理学と情報科学の境界領域に関する研究発表や研究討論。

» 高校数学＋α - 数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。

Help build the largest human-edited directory on the web.

Submit a site - Open Directory Project - Become an Editeur