みんなのクチコミが 264,752 件!

新着

... もっとみる
ログイン | ユーザー登録(無料)

「数学関連のソフトウェア」でつながるキーワード

キーワード: 2件

ソフトMizar

2005年に信州大工学部教授の中村八束氏らが Jordan曲線定理(「閉じた曲線が平面を、内と外とに分ける」という 直感的には明らかな定理)の (厳密な最終)証明( ft...

Mathematica Player

ソフトMathematica Player

Wolfram Research, Inc.がフリーで提供している、 Mathematica計算エンジンを備えた ノートブック・ドキュメント(.nbp file)の プレ...

数学関連のソフトウェアの関連つながり

ページの先頭へ ページの先頭へ