数式処理システム
丸山 正樹:「グレブナー基底とその応用」,共立出版 (共立叢書・現代数学の潮流),ISBN 978-4320016934, (2002年10月).
日比 孝之:「グレブナー基底」,朝倉書店(すうがくの風景) ,ISBN 978-4254115581,(2003年06月).
野呂 正行, 横山 和弘:「グレブナー基底の計算基礎篇-計算代数入門」,東京大学出版会,ISBN 978-4130614047,(2003年06月17日).
齋藤 友克, 竹島 卓, 平野 照比古:「グレブナー基底の計算 実践篇-Risa/Asirで解く」,東京大学出版会,ISBN 978-4130614054, (2003年06月17日).
日比 孝之 (編): 「グレブナー基底の現在」,数学書房,ISBN 978-4826931052,(2006年07月).
JST CREST 日比チーム:「グレブナー道場」,共立出版,ISBN 978-4320019768,(2011年09月23日).
D.コックス:「グレブナ基底と代数多様体入門・上」,丸善出版,ISBN 978-4621062937,(2012年07月17日).
D.コックス:「グレブナ基底と代数多様体入門・下」,丸善出版,ISBN 978-4621063736,(2012年07月17日).
D.コックス,J.リトル,D.オシー:「グレブナー基底・1」,丸善出版,ISBN 978-4621064061,(2012年07月17日).
D.コックス,J.リトル,D.オシー:「グレブナー基底・2」,丸善出版,ISBN 978-4621064191,(2012年07月17日).
数式処理 Bulletin of the Japan Society for Symbolic and Algebraic Cmoputation (主に和文、発行元:日本数式処理学会)。
Communications of JSSAC (Japan Society for Symbolic and Algebraic Computation) (英文誌、発行元:日本数式処理学会)。
これは不完全なリストです。
486:「数式処理と数学研究への応用」(1983年4月)。
520:「数式処理と数学研究への応用」(1984年4月)。
551:「数式処理と数学研究への応用」(1985年2月)。
612:「数式処理と数学研究への応用」(1987年2月)。
646:「数式処理と数学研究への応用」(1988年2月)。
663:「群と微分方程式の数式処理システムの研究」(1988年7月)。
681:「微分方程式の数式処理システムの研究」(1989年2月)。
685:「数式処理と数学研究への応用」(1989年3月)。
722:「数式処理と数学研究への応用」(1990年5月)。
729:「微分方程式の数式処理システムの研究」(1990年10月)。
753:「数式処理と数学研究への応用」(1991年5月)。
811:「数式処理と数学研究への応用」(1992年10月)。
848:「数式処理における理論と応用の研究」(1993年9月)。
複数の変数を含む多項式
複数の変数を含む有理式
三角関数、指数関数、対数関数、冪根(より一般には代数関数)などの初等関数を含む数式
極限
総和、級数
漸化式を伴う級数
数式の微分(導関数)
不定積分/定積分
ベクトル、行列を使った式、内積、外積、テンソル
複素関数
ガンマ関数、ゼータ関数、ベッセル関数、誤差関数、超幾何関数などの特殊関数を含む数式
数値計算としては次のものがある。
(任意長桁の)整数や有理数、特殊定数、浮動小数点数、区間数、複素数、代数的数,有限体。
Thomas Becker and Volker Weispfenning:"Gröbner Bases : A Computational Approach to Commutative Algebra", Springer,ISBN 978-1-4612-6944-1 (1993).
David A. Cox, John B. Little, Donal O'Shea:"Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra",2nd version,Springer-Verlag,ISBN 978-0387946801,(Nov.,1996).
David A. Cox, John Little, Donal O'Shea:"Using Algebraic Geometry",2nd ed.,Springer-Verlag,ISBN 978-0387207063,(March,9th,2005).
Takayuki Hibi (Ed.):"Grobner Bases - Statistics and Software Systems", Springer Japan, ISBN 978-4-431-54573-6 (ISBN 978-4-431-54574-3(eBook)), (2013).