Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Sieving Methods for Class Group Computation Read chapter Read first chapter

1999 | OriginalPaper | Chapter

On the Real Nullstellensatz

Authors : Eberhard Becker, Joachim Schmid

Published in: Algorithmic Algebra and Number Theory

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

We give a survey of three implemented real quantifier elimination methods: partial cylindrical algebraic decomposition, virtual substitution of test terms, and a combination of Grabner basis computations with multivariate real root counting. We examine the scope of these implementations for applications in various fields of science, engineering, and economics.

previous chapter Extremal Lattices
next chapter Primary Decomposition: Algorithms and Comparisons
Metadata
Title
On the Real Nullstellensatz
Authors
Eberhard Becker
Joachim Schmid
Copyright Year
1999
Publisher
Springer Berlin Heidelberg
Book
Algorithmic Algebra and Number Theory

Print ISBN: 978-3-540-64670-9

Electronic ISBN: 978-3-642-59932-3

Copyright Year: 1999

DOI
https://doi.org/10.1007/978-3-642-59932-3_9

Premium Partner

    Image Credits