数式処理システム
国際会議 ISSAC(International Symposium on Symbolic and Algebraic Computation)( url=https://www.issac-conference.org )
(ただいま書誌情報を調査中)
国際会議 CASC(Computer Algebra in Scientific Computing)( url=http://www.casc-conference.org )
Ernst W. Mayr, E. V. Vorozhtsov(Eds):"Computer Algebra in Scientific Computing CASC '99:Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, Munich, May31-June4, 1999",(Workshop on Computer Algebra in Scientific Computing 1999),Springer-Verlag,ISBN 978-3540660477,(1999/07).
Samarkand, Ernst Mayr, E. V. Vorozhtsov(Eds):"Computer Algebra in Scientific Computing Casc 2000: Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, October 5-9, 2000", (Workshop on Computer Algebra in Scientific Computing 2000) ,Springer-Verlag, ISBN 978-3540410409, (2000/10).
Wolfram Decker and Gerhard Pfister:"A First Course in Computational Algebraic Geometry", Cambridge University Press (AIMS Library of Mathematical Sciences), ISBN 978-1107612532, (2013/02/07).
Carsten Schneider and Johannes Bluemlein: "Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions", (Texts & Monographs in Symbolic Computation), Springer, ISBN 978-3709116159, (2013/10/14),
Wolfram Koepf: "Computer Algebra - An Algorithm-Oriented Introduction", Springer, ISBN 978-3-030-78016-6 (2021).
Gregory V. Bard: "Sage for Undergraduates: Compatible With Python 3", 2nd Ed., AMS, ISBN 978-1470461553 (2022/10/30).
しかし次第に、試行錯誤による方法の限界と計算量の観点から、普通の人間が用いている(初等的で自明な)計算法や公式集に出ている規則のあてはめによる処理法だけではなくて、より系統的な(高度な)数学的アルゴリズムの開発や実装に研究の中心が推移してゆき、今では過去に想定されていたような記号処理、人工知能の技法、ソフトウェア技法の単なる応用分野であるとはいえないものになった。
電子計算機が安価でかつ強力になり、また個人による所有や利用が自由にできるようになり、高度でインタラクティブなプログラム開発環境がありふれたものとなったことなどにより、次第に多くの数学研究者が参入を始めたことで、高度な数学を駆使したアルゴリズムが数式処理に取り入れられる傾向が加速された。
現在、実務であるいは教育で最もよく使われている商業版の数式処理システムはMathematica と Mapleであろう。
日本で開発された数式処理システムとしては、元理化学研究所の佐々木建昭らによるLisp ベースの GAL、元富士通研究所で開発された(現在は神戸大学などが中心となっている) Risa/Asir、シンプレックス社の開発した数学表記のままで処理が行えるカルキング、などがある。
1987年、ヒューレット・パッカードは世界初の数式処理機能を持った電卓 HP-28 シリーズをリリースした。代数的な数式を入力でき、方程式を解いたり、微積分が可能であった。
1995年、テキサス・インスツルメンツは数式処理システム Derive を搭載した電卓 TI-92 をリリースした。その後も TI-89 などの後継機種をリリースしている。