
Algorithmic Algebra by Bhubaneswar Mishra
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.-
The Science of Programming
-
A Theory of Objects
-
Numerical Geometry of Non-Rigid Shapes
-
Computer Systems
-
Algebraic Approaches to Program Semantics
-
Set Theory for Computing
-
Beauty Is Our Business
-
Parameterized Complexity
-
A Discipline of Multiprogramming
-
Asynchronous Circuits
-
The Design of Well-Structured and Correct Programs
-
String-Rewriting Systems
-
Error-Free Polynomial Matrix Computations
-
Prototyping-Oriented Software Development
-
An Introduction to Formal Language Theory
-
The Synthesizer Generator
-
Methods and Applications of Error-Free Computation
-
Adaptive Information Processing
-
Reliable Computer Systems
-
Programming with Sets
-
Programming in Modula-2
-
Adaptive Signal Processing
-
Predicate Calculus and Program Semantics
-
Programming with Specifications
-
Probabilistic Analysis of Algorithms
-
Expert Systems and Probabilistic Network Models
-
Algorithmic Language and Program Development
-
Object-Oriented Database Programming
-
The Design and Analysis of Algorithms
-
Software Configuration Management Using Vesta
-
The Origins of Digital Computers
-
Larch: Languages and Tools for Formal Specification
-
What Computing Is All About
-
ML with Concurrency
-
The Synthesizer Generator Reference Manual
-
Language Equations
-
On a Method of Multiprogramming
-
Programming Methodology
-
Abstraction, Refinement and Proof for Probabilistic Systems
-
Super-Recursive Algorithms
-
Specification and Development of Interactive Systems
-
Geometric Fundamentals of Robotics
-
Evolutionary Synthesis of Pattern Recognition Systems
-
Reverse Engineering of Object Oriented Code
-
High Performance Discovery In Time Series
-
Panoramic Vision
| SKU | Unavailable |
| ISBN 13 | 9781461287421 |
| ISBN 10 | 1461287421 |
| Title | Algorithmic Algebra |
| Author | Bhubaneswar Mishra |
| Series | Monographs In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer-Verlag New York Inc. |
| Year published | 2011-10-08 |
| Number of pages | 420 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |













































