**Algorithmic Algebra**

by Bhubaneswar Mishra

**Publisher**: Courant Institute of Mathematical Sciences 1993**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.

Download or read it online for free here:

**Download link**

(2.3MB, PDF)

## Similar books

**Isabelle/HOL: A Proof Assistant for Higher-Order Logic**

by

**T. Nipkow, L.C. Paulson, M. Wenzel**-

**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.

(

**7223**views)

**Probabilistic Programming and Bayesian Methods for Hackers**

by

**Cameron Davidson-Pilon**-

**GitHub, Inc.**

This book is designed as an introduction to Bayesian inference from a computational understanding-first, and mathematics-second, point of view. The book assumes no prior knowledge of Bayesian inference nor probabilistic programming.

(

**12465**views)

**The Golden E-Book of Graphs of Mathematical Functions**

by

**E. Pérez**

This ebook is a visual introduction to the field of transcomplex numbers and an implicit comparison with the real surfaces counterpart. The reader is assumed to be a little related with the topics of graphing plane curves and surfaces.

(

**10845**views)

**Computer Algebra, Algorithms, Systems and Applications**

by

**Richard Liska, at al.**-

**Czech Technical University**

From the table of contents: Introduction; Algorithms for algebraic computation; Integrated mathematical systems; Basic possibilities of integrated mathematical systems; Applications of computer algebra; Another sources of study.

(

**7470**views)