数式処理システム
関連文献 > 書籍 > 和書（年代順に列挙）

渡辺隼郎：「常微分方程式の数式処理」、シリーズ新しい応用の数学4、教育出版、ISBN 978-4-31637550-2、(1974年5月)。
佐々木建昭、後藤英一：「解説：計算機による数式処理と物理学への応用」、日本物理学会誌、第35巻、第2号（1980）。
佐々木建昭：「数式処理（その1）アルゴリズムの進展」、共立"bit”誌、Vol.12、No.4 (1980)、pp.568-576.
佐々木建昭：「数式処理（その2）最近の話題から」、共立"bit”誌、Vol.12、No.5 (1980)、pp.738-748.
佐々木建昭：「数式処理（その3）将来に向けて」、共立"bit”誌、Vol.12、No.6 (1980)、pp.815-823.
金田康正：「使ってみない？数式処理システムを：現在日本で使用できる数式処理システム」、共立"bit”誌、Vol.13、No.4 (1981)、pp.314-322.
佐々木建昭：「数式処理」、情報処理叢書7、情報処理学会、オーム社（1981年5月）。
伊理正夫、一松信、山本純恭、内野正弘、佐々木建昭、長尾真、田丸啓吉：「数と式と文の処理」、岩波講座情報科学23，岩波書店（1981年12月10日）。第4章"数式処理"。
後藤英一：「記号処理の基礎と応用」(情報処理叢書〈8〉)、情報処理学会 (1982年1月)。
数式処理若手の会：「数式処理通信（Communications for symbolic and algebraic manipulation）」、Vol.1、no.1 (1983年4月)-Vol.7、no.4、(1992年12月)、サイエンティスト社、ISSN 0288-4046。
後藤英一・一松信・広田良吾（編）：「計算機による数式処理のすすめ」、共立出版bit別冊（1986年3月号）。
「大特集：数式処理」、情報処理、Vol.27、No.4 (1986年4月号)、情報処理学会（1986年4月15日発行）。
佐々木建昭、元吉文男、渡辺隼郎：「数式処理システム」、ソフトウェア講座36、昭晃堂、ISBN 978-478563536-7 (1986年8月)。
山下倫範・友永昌治・野海正俊：「MS-DOSと事務・統計・数式 COBOL/SAS/muMATH活用法」、共立出版、ISBN 978-4-320-02298-0 (1986年12月)。
古川昭夫：「muMATH入門：マイコン用数式処理システム」、現代数学社、ISBN 978-4-76870138-6 (1986年12月)。
A. C. ハーン：「REDUCEユーザーズ　マニュアル」、マグロウヒル、（1988年8月30日）。
広田良吾、伊藤雅明：「REDUCE入門：パソコンによる数式処理活用法」、サイエンス社、ISBN 978-4-78190546-4 (1989年6月)。
大河内茂美：「数式処理ソフトREDUCEで数学を」、森北出版、ISBN 978-4-627832602 (1990年1月)。
落合豊行、永友清和：「REDUCEによる線形代数 (コンピュータと数学) 」、近代科学社（インプレス）、ISBN 978-4-84437293-6 (1990年1月20日)。
牧野潔夫：「整数論の数式処理」、サイエンティスト社、（1991年1月20日）。
下地貞夫：「数式処理」、森北出版(基礎情報工学シリーズ)、ISBN 978-4-62780630-6 (1991年9月)。
渡辺隼郎：「数式処理について」、数学、第44巻第1号（冬季号）、日本数学会 、頁79-84、ISSN 0039-470X (1992年1月)。
佐々木建昭（他）：「計算代数と計算幾何」、岩波講座応用数学、第五回配本、岩波書店（1993年9月）。
マーコ・ペトコブセク、ハーバート S. ウィルフ、ドロン ザイルバーガー：「A＝B 等式証明とコンピュータ」、トッパン、ISBN 4-8101-8972-4（1997年9月29日）。
斎藤友克、平野照比古、竹島卓：「日本で生まれた数式処理ソフト：リサアジールガイドブック」、SEG出版、ISBN 978-4-87243076-9 (1998年10月)。
「特集・数式処理とその周辺」、数理科学、No.425、サイエンス社（1998年11月号）。
河野実彦：「微分方程式と数式処理」、森北出版(数学選書)、ISBN 978-4-62703811-0 (1998年11月)。
「特集・数式処理とその周辺」、数理科学、No.425、サイエンス社（1998年11月号）。
藤重悟、佐々木建昭、今井浩、浅野孝夫、杉原厚吉：「計算代数と計算幾何」、岩波講座 応用数学10、岩波書店、ISBN 978-4-00-010800-3、（1998年11月20日）。※ 1993年9月のものの第二次発行分。
臼田昭司、東野勝治、葭谷安正：「最適OSで使いこなす　数式処理/数値計算」、ISBN 4-274-07866-3、オーム社（1998年11月26日）。
赤間世紀:「はやわかり Maple」、共立出版、ISBN 4-320-02986-0 (2000年8月10日)。
赤間世紀:「はじめてのMuPAD MuPAD Pro2.0 for Windows」、シュプリンガー・フェアラーク東京、ISBN 978-4-43170946-6（2000年12月14日）。
大阿久俊則：「D加群と計算数学」、朝倉書店、ISBN 4-254-11555-5 (2002年2月25日)。
小国力、小割健一：「MATLAB数式処理による数学基礎」、朝倉書店、ISBN 4-254-11101-0（2004年1月10日）。
赤間世紀、山口喜博:「MuPADで学ぶ基礎数学」、丸善、ISBN 978-4-62107465-7 (2004年9月)。
生越茂樹:「基礎からのMuPAD―安価で人気の「数式処理システム」を使いこなす!」、工学社（I・Oブックス）、ISBN 978-4-77751084-9 (2004年12月)。
J.フォン ツァ ガテン:「コンピュータ代数ハンドブック」、朝倉書店、ISBN 978-4-254-11106-4 (2006年6月)。# 原書 Modern Computer Algebra の(旧版の)邦訳。
横田博史:「はじめてのMaxima」、工学社、ISBN 978-4-77751201-0 (2006年9月)。
佐々木建昭、筑波大学：「近似代数の算法と応用の研究」、文部科学省科学研究費補助金研究成果報告書（2007年3月）。
竹内薫：「はじめての数式処理ソフト：Maximaで楽しむ数式計算と物理グラフィック」、講談社(ブルーバックス) 、ISBN 978-4-06-257560-7 (2007年7月20日)。
山田直記、田中尚人：「理工系のための実践的微分方程式」、学術図書出版社、ISBN 978-4-7806-0074-2（2007年11月30日）。
日本Mathematicaユーザー会（編）：「入門 Mathematica」、東京電機大学出版局、ISBN 978-4-501-54620-5 (2009年6月20日）。
David Joyner：「群論の味わい ：置換群で解き明かすルービックキューブと15パズル」、共立出版、ISBN 978-4-320-01941-6 (2010年12月10日)。
穴井宏和、横山和弘：「QEの計算アルゴリズムとその応用：数式処理による最適化」、東京大学出版会、ISBN 978-4-13061406-1 (2011年8月25日)。
数学セミナー 2012年 02月号、特集「グレブナ-基底の新天地」、日本評論社 (2012年1月12日)。
穴井宏和：「数理最適化の実践ガイド」、講談社サイエンティフィク, ISBN 978-4-06-156510-4（2013年3月1日）。
阿部寛:「古典的数式処理プログラムMACSYMAとその今日への継承」、柏艪舎、ISBN 978-4-43418980-7（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日）。