Algorithms in Real Algebraic Geometry by Saugata Basu, Richard Pollack, Marie-Françoise Coste-Roy.

The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, or deciding whether two points belong in the same connected component of a semi-algebraic set occur in many contexts. In this first...

Full description

Saved in:
Bibliographic Details
Main Authors: Basu, Saugata (Author), Pollack, Richard (Author), Coste-Roy, Marie-Françoise (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Edition:1st ed. 2003.
Series:Algorithms and Computation in Mathematics, 10
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

MARC

LEADER 00000nam a22000005i 4500
001 b3241113
003 MWH
005 20191023182650.0
007 cr nn 008mamaa
008 130220s2003 gw | s |||| 0|eng d
020 |a 9783662053553 
024 7 |a 10.1007/978-3-662-05355-3  |2 doi 
035 |a (DE-He213)978-3-662-05355-3 
050 4 |a E-Book 
072 7 |a PBMW  |2 bicssc 
072 7 |a MAT012010  |2 bisacsh 
072 7 |a PBMW  |2 thema 
100 1 |a Basu, Saugata.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Algorithms in Real Algebraic Geometry  |h [electronic resource] /  |c by Saugata Basu, Richard Pollack, Marie-Françoise Coste-Roy. 
250 |a 1st ed. 2003. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2003. 
300 |a VIII, 602 p. 9 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Algorithms and Computation in Mathematics,  |x 1431-1550 ;  |v 10 
490 1 |a Springer eBook Collection 
505 0 |a 0 Introduction -- 1 Algebraically Closed Fields -- 2 Real Closed Fields -- 3 Semi-Algebraic Sets -- 4 Algebra -- 5 Decomposition of Semi-Algebraic Sets -- 6 Elements of Topology -- 7 Quantitative Semi-algebraic Geometry -- 8 Complexity of Basic Algorithms -- 9 Cauchy Index and Applications -- 10 Real Roots -- 11 Polynomial System Solving -- 12 Cylindrical Decomposition Algorithm -- 13 Existential Theory of the Reals -- 14 Quantifier Elimination -- 15 Computing Roadmaps and Connected Components of Algebraic Sets -- 16 Computing Roadmaps and Connected Components of Semi-algebraic Sets -- References. 
520 |a The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, or deciding whether two points belong in the same connected component of a semi-algebraic set occur in many contexts. In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich body of knowledge, linked to many areas of mathematics and computing. Mathematicians already aware of real algebraic geometry will find relevant information about the algorithmic aspects, and researchers in computer science and engineering will find the required mathematical background. Being self-contained the book is accessible to graduate students and even, for invaluable parts of it, to undergraduate students. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a Algebraic geometry. 
650 0 |a Algorithms. 
650 0 |a Computer science—Mathematics. 
690 |a Electronic resources (E-books) 
700 1 |a Pollack, Richard.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
700 1 |a Coste-Roy, Marie-Françoise.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Algorithms and Computation in Mathematics,  |x 1431-1550 ;  |v 10 
830 0 |a Springer eBook Collection. 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-662-05355-3  |3 Click to view e-book  |t 0 
907 |a .b32411133  |b 04-18-22  |c 02-26-20 
998 |a he  |b 02-26-20  |c m  |d @   |e -  |f eng  |g gw   |h 0  |i 1 
912 |a ZDB-2-SMA 
912 |a ZDB-2-BAE 
950 |a Mathematics and Statistics (Springer-11649) 
902 |a springer purchased ebooks 
903 |a SEB-COLL 
945 |f  - -   |g 1  |h 0  |j  - -   |k  - -   |l he   |o -  |p $0.00  |q -  |r -  |s b   |t 38  |u 0  |v 0  |w 0  |x 0  |y .i21542788  |z 02-26-20 
999 f f |i 8d0a2f40-2fc2-5264-8721-77339ef21936  |s 639f0e16-13f3-5a1b-8d41-a89e511d3df7  |t 0 
952 f f |p Online  |a College of the Holy Cross  |b Main Campus  |c E-Resources  |d Online  |t 0  |e E-Book  |h Library of Congress classification  |i Elec File