Rule-based Mathematics

Mathematicaを数式処理として楽しんでいた頃は、いろいろな不定積分ができるとかできないとか、いろいろ言われたいた。そしたら、
http://www.apmaths.uwo.ca/~arich/
というのがあることを、Mathematica Stack Exchangeでしった。
こういうことをしている人がいる。
"Computer Algebra Independent Integration Tests"
http://www.12000.org/my_notes/CAS_integration_tests/index.htm

Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables (Dover Books on Mathematics)

• 作者: Mathematics
• 出版社/メーカー: Dover Publications
• 発売日: 1965/06/01
• メディア: ペーパーバック

きょうは、都内をブラブラしたついでに市ヶ谷から靖国神社に寄ってみた。桜が満開のところもあれば、ボチボチというところもあった。

IIJが入っているビル、サクラテラス。