今日の献立

406：のろうゐるす：2014/05/22(木) 11:56:20: >>391
http://mathoverflow.net/questions/154431/how-feasible-is-it-to-prove-kazhdans-property-t-by-a-computer
SL(3,Z)の(T)がコンピュータで証明できた。本丸のAut(F_d)がうまくいったら、
俺もなんか貰えるかもな。ほうほう。

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板