Symbolic Computation: A Selective Study

Author: Wang Dongming
Publisher:
Publish Date: 2003-08-01
Features: This book introduces the basic concepts, ideas, theories, methods, software, and applications of symbolic computation. The book is divided into 6 chapters, providing an overview of the 6 main branches of symbolic computation. The content includes computational algebra, algebraic methods for geometric theorem proving, computational real algebraic geometry, the application of algebraic computation in computer-aided geometric design, symbolic differentiation, symbolic integration, and symbolic solutions to differential equations, as well as symbolic-numeric hybrid computation. The book focuses on fundamental knowledge and classical algorithms while also incorporating cutting-edge developments and latest research findings in the field. It can serve as a teaching reference for senior undergraduate and graduate students in mathematics and computer science departments of higher education institutions, as well as for relevant scientific research and engineering professionals.