今季、雑誌数学は群馬大学の誰かのラム岳遺産の記事載せてたな　（投稿は2012/08
最後の一行に「定理証明器」とか活字があったから興味持ったけど
もちろんさっぱり分からん
日本でも大部の本格的専門入門書を誰か執筆して欲しいね
需要あると思うんだけど

ほかは…　ウェーブレットの記事があったな
あれって1980年代のテーマでそ
90年代後半には、すでにエンジニアリングのツールになってたはず
プログラミング雑誌「C magazine」にC++のソースつきで掲載してたぐらいだもん
応用数学、産業数学が沸いてきてるね