Algorithmic Algebra

  • Bhubaneswar Mishra

Part of the Texts and Monographs in Computer Science book series (MCS)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Bhubaneswar Mishra
    Pages 1-21
  3. Bhubaneswar Mishra
    Pages 23-70
  4. Bhubaneswar Mishra
    Pages 71-132
  5. Bhubaneswar Mishra
    Pages 133-166
  6. Bhubaneswar Mishra
    Pages 167-198
  7. Bhubaneswar Mishra
    Pages 199-223
  8. Bhubaneswar Mishra
    Pages 225-296
  9. Bhubaneswar Mishra
    Pages 297-383
  10. Back Matter
    Pages 385-419

About this book

Introduction

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: Mathematica, Maple or Axiom, for instance. Also, researchers in robotics, solid modeling, computational geometry and automated theorem proving community may find it useful as symbolic algebraic techniques have begun to play an important role in these areas. The book, while being self-contained, is written at an advanced level and deals with the subject at an appropriate depth. The book is accessible to computer science students with no previous algebraic training. Some mathematical readers, on the other hand, may find it interesting to see how algorithmic constructions have been used to provide fresh proofs for some classical theorems. The book also contains a large number of exercises with solutions to selected exercises, thus making it ideal as a textbook or for self-study.

Keywords

Gröbner basis algebra algorithms computer computer science control homomorphism robot

Authors and affiliations

  • Bhubaneswar Mishra
    • 1
  1. 1.Courant Institute of Mathematical SciencesNew York UniversityNew YorkUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4612-4344-1
  • Copyright Information Springer-Verlag New York 1993
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-8742-1
  • Online ISBN 978-1-4612-4344-1
  • Series Print ISSN 0172-603X
  • About this book