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

**An Architecture for Combinator Graph Reduction**

by

**Philip J. Koopman, Jr.**-

**Academic Press**

The results of cache-simulation experiments with an abstract machine for reducing combinator graphs are presented. The abstract machine, called TIGRE, exhibits reduction rates that compare favorably with previously reported techniques.

(

**6484**views)

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

(

**6753**views)

**Mathematics in the Age of the Turing Machine**

by

**Thomas Hales**-

**arXiv**

Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.

(

**6949**views)

**Axiom: The Scientific Computation System**

by

**Richard D. Jenks, Robert S. Sutor**-

**axiom-developer.org**

Axiom is a free general purpose computer algebra system. The book gives a technical introduction to AXIOM, interacts with the system's tutorial, accesses algorithms developed by the symbolic computation community, and presents advanced techniques.

(

**10169**views)