参考文献

Last-modified: Wed, 11 Jan 2017 09:53:34 JST (1788d)
Top > 参考文献

数学の勉強に役立つ、無料で閲覧可能なWeb資料をまとめました。リンクが切れていたら教えて下さい。



辞書

nLab
数学全般。定義から詳しく載っていますが、極めて抽象化されているため、慣れないうちは1つの記事を読むためにいくつもの別の記事へさかのぼって読む必要があります。IE系列のブラウザだと数式が正しく表示されないので、他のブラウザで閲覧することをお勧めします。


Wikipedia
数学に限らない用語全般。数学に関しては基本的に英語版の方が日本語版より詳しく載っています。wiki形式のソース全般に言えることですが、情報の正確性に欠けるので、書かれていることを鵜呑みにせず、自分でも考えながら参考にすることをお勧めします。出典の記載がある場合は出典に戻って調べてみると、より正確性の保証された情報へ辿り着くことが出来ます。


Encyclopedia of Compactness
位相空間のコンパクト性に類する概念全般。


Encyclopedia of Separation Axiom
位相空間の分離公理に類する概念全般。


Encyclopedia of Connectedness
位相空間の連結性に類する概念全般。


Weblio
英和和英辞典はもちろん、共起表現の検索も可能です。IE系とは相性が悪く表示速度が遅いため、他のブラウザで閲覧することをお勧めします。


Google翻訳
多言語間の翻訳が可能なサイトです。数学だとたまにフランス語やドイツ語やロシア語に出くわしますが、そういう時に大変便利です。



概説

\( p \)-進世界へようこそ
非専門家向けに書かれた\( p \)進数の導入。


壱大整域
選択公理を中心とする公理的集合論、圏論、ぷよぷよ、etc。


巨大数研究Wiki
巨大数、お寿司、etc。



文学

エルフに数学を装備するだけ
記号論理学、自然演繹、エルフ、etc。


最近、妹がグレブナー基底に興味を持ち始めたのだが。
グレブナー基底、妹、etc。



生活・お役立ち情報

IPC bot
直観主義命題論理の証明可能性を聞くと応答する機能があります。


選択公理bot
選択公理全般。選択公理とその他の命題との演繹関係を聞くと応答する機能があります。


選択公理を仮定しない位相空間論bot
選択公理を仮定しない位相空間論全般。


BPI
Boolean Prime Ideal Theorem(通称BPI)と同値な定理全般。


巨大基数公理bot
巨大基数公理全般。


球面のホモトピー群bot
球面のホモトピー群全般。球面のホモトピー群を聞くと応答する機能があります。


コンパクトbot
位相空間のコンパクト性全般。


分離公理bot
位相空間の分離公理全般。


連結性bot
位相空間の連結性全般。


scheme topology bot
スキーム(scheme)の位相空間論全般。


トポロ沢さん
トポロ爺
なんJ位相空間部
位相空間論全般。


位相マグマbot
位相マグマ(位相群や位相モノイドの一般化)全般。


3項演算の導入された位相代数bot
位相空間上の3項演算全般。


環これ
環論全般。



その他

あべのりページ>作ったもの,とか>Texインストーラ 3
WindowsにTeX(数式を簡単にきれいに表示することができるソフト)を簡単にインストールするためのソフトを公開して下さっているページです。


物理のかぎしっぽ>かぎしっぽツール>数式画像作成ツール
TeX記法で数式を入力すると画像として出力してくれるツールを置いて下さっているページです。TeX記法が使えないようなブログ等で数式を表示させる際に便利そうです。


arXiv
物理・数学を始めとする自然科学系のプレプリントを公開して下さっているサイトです。


MathOverFlow
専門レベルの数学の質問サイトです。回答者は専門的に数学を研究している方々です。