An edition of Elimination Methods (2001)

Elimination Methods

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

Last edited by ImportBot
February 26, 2022 | History
An edition of Elimination Methods (2001)

Elimination Methods

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This book provides a systematic and uniform presentation of elimination methods and the underlying theories, along the central line of decomposing arbitrary systems of polynomials into triangular systems of various kinds. Highlighting methods based on triangular sets, the book also covers the theory and techniques of resultants and Gröbner bases. The methods and their efficiency are illustrated by fully worked out examples and their applications to selected problems such as from polynomial ideal theory, automated theorem proving in geometry and the qualitative study of differential equations. The reader will find the formally described algorithms ready for immediate implementation and applicable to many other problems. Suitable as a graduate text, this book offers an indispensable reference for everyone interested in mathematical computation, computer algebra (software), and systems of algebraic equations.

Publish Date
Language
English
Pages
244

Buy this book

Previews available in: English

Edition Availability
Cover of: Elimination Methods
Elimination Methods
2001, Springer Vienna, Imprint, Springer
electronic resource / in English

Add another edition?

Book Details


Table of Contents

List of Symbols
Polynomial arithmetic and zeros: Polynomials; Greatest common divisor, pseudo-division, and polynomial remainder sequences; Resultants and subresultants; Field extension and factorization; Zeros and ideals; Hilbert's Nullstellensatz
Zero decomposition of polynomial systems: Triangular systems; Characteristic-set-based algorithm; Seidenberg's algorithm refined; Subresultant-based algorithm
Projection and simple systems: Projection; Zero decomposition with projection; Decomposition into simple systems; Properties of simple systems
Irreducible zero decomposition: Irreducibility of triangular sets; Decomposition into irreducible triangular systems; Properties of irreducible triangular systems; Irreducible simple systems
Various elimination algorithms: Regular systems; Canonical triangular sets; Gröbner bases; Resultant elimination
Computational algebraic geometry and polynomial-ideal theory: Dimension; Decomposition of algebraic varieties; Ideal and radical ideal membership; Primary decomposition of ideals
Applications: Solving polynomial systems; Automated geometry theorem proving; Automatic derivation of unknown relations; Other geometric applications; Algebraic factorization; Center conditions for certain differential systems
Bibiographic notes
References
Subject index.

Edition Notes

Published in
Vienna
Series
Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes-Kepler-University, Linz, Austria, 0943-853X, Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes-Kepler-University, Linz, Austria

Classifications

Library of Congress
QA150-272

The Physical Object

Format
[electronic resource] /
Pagination
1 online resource (XIII, 244 pages 12 illustrations).
Number of pages
244

ID Numbers

Open Library
OL27035668M
Internet Archive
eliminationmetho00wang_393
ISBN 10
3709162025
ISBN 13
9783709162026
OCLC/WorldCat
840302614

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
February 26, 2022 Edited by ImportBot import existing book
June 30, 2019 Created by MARC Bot Imported from Internet Archive item record