数式処理システム
Vorozhtsov(Eds):"Computer Algebra in Scientific Computing:11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings", (Lecture Notes in Computer Science/Theoretical Computer Science and General Issues) , Spriner-Verlag, ISBN 978-3642041020,(2009/09/29).
Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov(Eds): "Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings", (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues),Springer-Verlag,ISBN 978-3642152733,(2010/12/1).
Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V.
記号的な制約条件に基づいて最適値を与えるための必要条件を数式として導くこと。
限量記号消去法(Quantifier Elimination Method)。
David Joyner:「群論の味わい :置換群で解き明かすルービックキューブと15パズル」、共立出版、ISBN 978-4320019416、 (2010年12月10日)。
穴井宏和、横山和弘:「QEの計算アルゴリズムとその応用:数式処理による最適化」、東京大学出版会、ISBN 978-4130614061 、(2011年8月25日)。
数学セミナー 2012年 02月号、特集「グレブナ-基底の新天地」、日本評論社、 (2012年1月12日)。
穴井宏和:「数理最適化の実践ガイド」、講談社、(2013年2月20日)。
阿部寛:「古典的数式処理プログラムMACSYMAとその今日への継承」、柏艪舎、ISBN 978-4434189807、(2014年3月)。
長坂耕作、岩根秀直(編著)、北本卓也、讃岐勝、照井章、鍋島克輔(著):「計算機代数の基礎理論」、共立出版、ISBN 978-4-320-11373-2(2019年3月29日)。
明松真司:「Pythonで超らくらくに数学をこなす本」、オーム社、ISBN 978-4-274-22739-4(2021年7月13日)。
横山和弘:「多項式と計算機代数」、朝倉書店、ISBN 978-4-254-11767-7 (2022年2月1日)。
高山信毅(編著)、野呂正行、小原功任、藤本光史、濱田 龍義(編):「数学ソフトウェアの作り方」、共立出版、ISBN 978-4-320-11531-6(2022年10月6日)。
920:「数式処理における理論とその応用の研究」(1995年8月)。
941:「数式処理における理論とその応用の研究」(1996年3月)。
986:「数式処理における理論と応用の研究」(1997年4月)。
1038:「数式処理における理論と応用の研究」(1998年4月)。
1568:「Computer Algebra - Design of Algorithms, Implementations and Applications」(2007年9月)。
1652:「Computer Algebra - Design of Algorithms, Implementations and Applications」(2009年6月)。
1814:「Computer Algebra - Design of Algorithms, Implementations and Applications」(2012年10月)。
2019:「数式処理の新たな発展 ーその最新研究と基礎理論の再構成ー」(2017年4月)。
古川昭夫:「muMATH入門:マイコン用数式処理システム」、現代数学社、ISBN 978-4768701386、 (1986年12月)。
A. C. ハーン:「REDUCEユーザーズ マニュアル」、マグロウヒル、(1988年8月30日)。
広田良吾、伊藤雅明:「REDUCE入門:パソコンによる数式処理活用法」、サイエンス社、ISBN 978-4781905464、 (1989年6月)。
大河内茂美:「数式処理ソフトREDUCEで数学を」、森北出版、ISBN 978-4627832602、 (1990年1月)。
落合豊行、永友清和:「REDUCEによる線形代数 (コンピュータと数学) 」、近代科学社(インプレス)、ISBN 978-4844372936、 (1990年1月20日)。
牧野潔夫:「整数論の数式処理」、サイエンティスト社、(1991年1月20日)。
下地貞夫:「数式処理」、森北出版(基礎情報工学シリーズ)、ISBN 978-4627806306、 (1991年9月)。
渡辺隼郎:「数式処理について」、数学、第44巻第1号(冬季号)、日本数学会 、頁79-84、ISSN 0039-470X、 (1992年1月)。
佐々木建昭(他):「計算代数と計算幾何」、岩波講座応用数学、第五回配本、岩波書店、(1993年9月)。
マーコ・ペトコブセク、ハーバート S.
Vorozhtsov(Eds):"Computer Algebra in Scientific Computing: 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings",(Lecture Notes in Computer Science / Theoretical Computer Science and General Issues), Springer-Verlag, ISBN 978-3642235672,(2011/10/20).
Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov(Eds): "Computer Algebra in Scientific Computing: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings", (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues), Springer-Verlag, (2012/07/26).
今後も続く予定
国際会議 SNC(Symbolic and Numeric Computation)( url = https://symbolic-numeric-computation.org )
(ただいま書誌情報を調査中)
数式処理システム(すうしきしょりシステム、英文名称:Formula Manipulation System)は、コンピュータを用いて数式を記号的に処理するソフトウェアである。
例えば式の展開として ( x + 1 ) ( x + 2 ) = x 2 + 3 x + 2 {\displaystyle (x+1)(x+2)=x^{2}+3x+2} を求めたり、微分として y = x n {\displaystyle y=x^{n}} に対して d y d x = n x n − 1 {\displaystyle {\frac {dy}{dx}}\ =nx^{n-1}} を求める操作を取り扱う。取扱い可能な数式と演算はソフトウエア製品により異なる。
英文別称には英: Computer algebra system(CAS)、Symbolic Computation Systemがある。 数式処理機能以外に数値計算機能、グラフ表示機能等も統合した数学ソフトとして存在する製品もある。 また,数式処理システムに向けた計算アルゴリズムを研究する分野の名称も数式処理(あるいは computer algebra の直訳として計算機代数)と呼ぶ。
具体的な数式処理システムの製品については数式処理システムの一覧を参照されたい。