Logo

Algorithmic Algebra by Bhubaneswar Mishra

Large book cover: Algorithmic Algebra

Algorithmic Algebra
by

Publisher: Courant Institute of Mathematical Sciences
ISBN/ASIN: 0387940901
ISBN-13: 9780387940908
Number of pages: 425

Description:
Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Gröbner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering and mathematics with the algorithmic ideas in computer algebra so that they could do research in computational algebra or understand the algorithms underlying many popular symbolic computational systems.

Home page url

Download or read it online for free here:
Download link
(2.3MB, PDF)

Similar books

Book cover: Pictures of Julia and Mandelbrot SetsPictures of Julia and Mandelbrot Sets
- Wikibooks
The purpose of this book is to show how the computer can draw technically perfect pictures of Julia and Mandelbrot sets. All the necessary theory is explained and some words are said about how to put the things into a computer program.
(8765 views)
Book cover: Mathematics for Computer ScientistsMathematics for Computer Scientists
by - BookBoon
In this textbook you will find the basic mathematics needed by computer scientists. It should help you to understand the meaning of mathematical concepts. Subjects as elementary logic, factorization, plotting functions and matrices are explained.
(17834 views)
Book cover: Isabelle/HOL: A Proof Assistant for Higher-Order LogicIsabelle/HOL: A Proof Assistant for Higher-Order Logic
by - Springer
This book is a self-contained introduction to interactive proof in higher-order logic, using the proof assistant Isabelle. It is a tutorial for potential users. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
(9743 views)
Book cover: Numerical Algorithms: Methods for Computer Vision, Machine Learning, and GraphicsNumerical Algorithms: Methods for Computer Vision, Machine Learning, and Graphics
by - CRC Press
Using examples from a broad base of computational tasks, including data processing and computational photography, the book introduces numerical modeling and algorithmic design from a practical standpoint and provides insight into theoretical tools.
(3693 views)