数式処理における数式の型について (アルゴリズムにおける証明論)
スポンサーリンク
概要
著者
関連論文
- 1.数式処理の過去・現在・将来 : 数学界に黒船がやってきた (数式処理の最近の研究動向)
- 2階線形常微分方程式が代数関数解を持つ場合のインプリメンテーション(数式処理と数学研究への応用)
- 数式処理について
- Seidenbergの補題と数式処理 (数式処理と数学研究への応用)
- 中西正和 著, "LISP入門", 近代科学社, A5判, 187p, \1800, 1977
- 数式処理における数式の型について (アルゴリズムにおける証明論)
- フロンティアはどこにあるのだろうか?
- 日本数式処理学会が日本学術会議の登録団体となったことを喜ぶ
- 数式処理5巻1号の発刊に際して
- 有限項で不定積分と微分方程式の解を表す : 歴史と現状 (数式処理)
- 数式処理による積分
- 数式処理をめぐって 線形常微分方程式の大域的解法を機械化する一つの試み