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

"Papers from the Second Symposium on Symbolic and Algebraic Manipulation", Comm. ACM, Vol.14, No.8 (1971), pp.509-560.
H. Strubbe: "Manual for SCHOONSCHIP a CDC 6000/7000 Program for Symbolic Evaluation of Algebraic Expressions", Comp. Phys. Commu., v.8 (1974), pp.1--30.
Edited by B. Buchberger, G.E.Collins, and R. Loos in cooperaion with R. Albrecht: Computer Algebra: Symbolic and Algebraic Computation, (2nd Edition), Springer-Verlag, ISBN 0-387-81776-X, (1983).
J.H.Davenport, Y. Siret and E. Tournier: Computer algebra: systems and algorithms for algebraic computation, Academic Press, ISBN 0-12-204230-1, (1988).
R. E. Zippel(Ed.): Computer Algebra and Parallelism, (Proceedings of CAP '90, Second International Workshop, Ithaca, USA, May, 1990) , LNCS 584, Springer-Verlag, ISBN 0-387-55328-2, (1991).
K.O.Geddes, S.R.Czapar, G.Labahn: Algorithms for Computer Algebra, Kluwer Academic Publishers, ISBN 0-7923-9259-0, (1992).
Maurice Mignotte (1992) (英語). Mathematics for Computer Algebra. Catherine Mignotte（訳）. Springer-Verlag. ISBN 0-38797675-2 。原著はフランス語で1989年。
Evelyne Tournier(Ed): Computer Algebra and Differential Equations, Cambridge University Press, London Mathematical Society Lecture Note Series 193, ISBN 978-0-52144757-7, (1994/03).
Tan Kiat Shi and Willi-Hans Steeb:Symbolic C++: An Introduction to Computer Algebra Using Object-Oriented Programming, Springer-Verlag, ISBN 981-3083-55-7, (1998).
Edited by Michael J. Wester: Computer algebra systems: a practical guide, John Wiley & Sons, ISBN 0-471-98353-5, (1999).
Robert P. Gilbert, Joji Kajiwara and Yongzhi S. Xu: Recent Developments in Complex Analysis and Computer Algebra, Springer, ISBN 978-0-7923-5999-9, (1999).
Chee Keng Yap: Fundamental problems of algorithmic algebra, Oxford Univ. Press, ISBN 978-0-19-512516-0, (2000).
Marko Petkovsek, Herbert Wilf and Doron Zeilberger: "A=B", A K Peters, Ltd., (1996). url=<https://www.math.upenn.edu/~wilf/AeqB.html>.
Tan Kiat Shi, Willi-Hans Steeb and Yorick Hardy:　Symbolic C++: an introduction to computer algebra using object-oriented programming, (2nd extended and revised edition), Springer-Verlag, London, ISBN 1-85233-260-3, (2000).
A. Schinzel:Polynomials with Special Regard to Reducibility, Cambridge Univ. Press, Encyclopedia of Mathematics and its Applications,ISBN 978-0-52166225-3, (2000/04).
David Eisenbud, Daniel R. Grayson, Mike Stillman, Bernd Sturmfels(Eds): Computations in Algebraic Geometry with Macaulay 2, (Algorithms and Computation in Mathematics) , Springer-Verlag, ISBN 978-3-54042230-3, (2001/10/25).
Gert-Martin Greuel and Gerhard Pfister: A Singular Introduction to Commutative Algebra, Springer, ISBN 978-3-540-42897-8 (2002).
Joel S. Cohen: Computer algebra and symbolic computation : elementary algorithms, A. K. Peters, Ltd., Canada, ISBN 1-56881-158-6, (2002).
Joel S. Cohen: Computer algebra and symbolic computation : mathematical methods, A. K. Peters, Ltd., Canada, ISBN 1-56881-159-4, (2003).
Johannes Grabmeier, Erich Kaltofen and Volker Weispfenning: Computer Algebra Handbook: Foundations · Applications · Systems, Springer, ISBN 978-3-642-62988-4 (2003).
Hal Schenck: Computational Algebraic Geometry, (London Mathematical Society Student Texts) , Cambridge University Press, ISBN 978-0-52153650-9, (2003/10/06).
Jürgen Gerhard: Modular Algorithms in Symbolic Summation and Symbolic Integration, Springer (LNCS 3218), ISBN 978-3-540-24061-7 (2004).
Gert-Martin Greuel and Gerhard Pfister: A Singular Introduction to Commutative Algebra, 2nd Ed., Springer-Verlag, ISBN 978-3-54073541-0, (2007/12/04).
Yorick Hardy, Kiat Shi Tan and Willi-Hans Steeb: Computer algebra with Symbolic C++, World Scientific, ISBN 978-981-283-360-0, (2008).
Joachim von zur Gathen: Modern Computer Algebra, (3rd Ed.), Cambridge Univ. Press, ISBN 978-1-10703903-2, (2013/04/25).　※ 2nd Ed. は ISBN 978-0-52182646-4 (2003/09/01).
Wolfram Decker and Gerhard Pfister: A First Course in Computational Algebraic Geometry, Cambridge University Press (AIMS Library of Mathematical Sciences), ISBN 978-1-10761253-2, (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-3-70911615-9, (2013/10/14).
Wolfram Koepf: Hypergeometric Summation: An Algorithmic Approach to Summation and Special Function Identities, 2nd Ed., Springer, ISBN 978-1-4471-6464-7 (2014).
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-1-47046155-3 (2022/10/30).
Wolfram Decker, Christian Eder, Claus Fieker, Max Horn and Michael Joswig: The Computer Algebra System OSCAR: Algorithms and Examples, Springer (Dec. 2024).