Books
Fouad Sabry

Computer Algebra

What Is Computer Algebra

Computer algebra, also known as symbolic computation or algebraic computation, is a subfield of computer science and mathematics that relates to the research and development of algorithms and software for the purpose of manipulating mathematical expressions and other mathematical objects. Other names for computer algebra include algebraic computation and symbolic computing. Scientific computing is typically based on numerical computation with approximate floating point numbers, whereas symbolic computation places an emphasis on exact computation with expressions containing variables that have no given value and are manipulated as symbols. Despite the fact that computer algebra could be considered a subfield of scientific computing, the two are generally regarded as separate fields.

How You Will Benefit

(I) Insights, and validations about the following topics:

Chapter 1: Computer algebra

Chapter 2: Symbolic artificial intelligence

Chapter 3: Algebraic geometry

Chapter 4: Automated theorem proving

Chapter 5: Computer algebra system

Chapter 6: Computer-assisted proof

Chapter 7: Model checking

Chapter 8: Proof assistant

Chapter 9: Symbolic-numeric computation

Chapter 10: Symbolic simulation

(II) Answering the public top questions about computer algebra.

(III) Real world examples for the usage of computer algebra in many fields.

(IV) 17 appendices to explain, briefly, 266 emerging technologies in each industry to have 360-degree full understanding of computer algebra' technologies.

Who This Book Is For

Professionals, undergraduate and graduate students, enthusiasts, hobbyists, and those who want to go beyond basic knowledge or information for any kind of computer algebra.
108 printed pages
Original publication
2023
Publication year
2023
Have you already read it? How did you like it?
👍👎
fb2epub
Drag & drop your files (not more than 5 at once)