Computer Algebra: Fundamentals and Applications
Om den här ljudboken
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.
Om författaren
Fouad Sabry is the former Regional Head of Business Development for Applications at HP in Southern Europe, Middle East, and Africa (SEMEA). Fouad has received his B.Sc. of Computer Systems and Automatic Control in 1996, dual masterâs degrees from University of Melbourne (UoM) in Australia, Master of Business Administration (MBA) in 2008, and Master of Management in Information Technology (MMIT) in 2010.
Fouad has more than 20 years of experience in Information Technology and Telecommunications fields, working in local, regional, and international companies, such as Vodafone and IBM in Middle East and Africa (MEA) region. Fouad joined HP Middle East (ME), based in Dubai, United Arab Emirates (UAE) in 2013 and helped develop the software business in tens of markets across Southern Europe, Middle East, and Africa (SEMEA) regions. Currently, Fouad is an entrepreneur, author, futurist, focused on Emerging Technologies, and Industry Solutions, and founder of One Billion Knowledgeable (1BK) Initiative.
