License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.RTA.2012.1
URN: urn:nbn:de:0030-drops-34784
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3478/
Go to the corresponding LIPIcs Volume Portal

Anai, Hirokazu

Computational Real Algebraic Geometry in Practice (Invited Talk)

pdf-format:
1.pdf (0.2 MB)

Abstract

Real algebraic geometry deals with the solution set of (possibly quantified) systems of polynomial equations and/or inequalities over the real numbers, which arise frequently in science and engineering.
Main concern in real algebraic geometry is to determine the properties of the solution sets such as non-emptiness, dimension and quantifier free description as a semi-algebraic set. Such tasks are carried out by symbolic and algebraic algorithms:cylindrical algebraic decomposition (CAD) or quantifier elimination (QE).
Various algorithms and deep complexity results about CAD and QE have been studied during the last several decades. Moreover, practically efficient software systems of QE have been developed and also are applied to many nontrivial application problems. In this talk we explain several algorithms of CAD and QE together with their engineering applications.

BibTeX - Entry

@InProceedings{anai:LIPIcs:2012:3478,
  author =	{Hirokazu Anai},
  title =	{{Computational Real Algebraic Geometry in Practice (Invited Talk)}},
  booktitle =	{23rd International Conference on Rewriting Techniques and Applications (RTA'12) },
  pages =	{1--1},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-38-5},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{15},
  editor =	{Ashish Tiwari},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3478},
  URN =		{urn:nbn:de:0030-drops-34784},
  doi =		{10.4230/LIPIcs.RTA.2012.1},
  annote =	{Keywords: real algebraic geometry, quantifier elimination, cylindrical algebraic decomposition, symbolic optimization}
}

Keywords: real algebraic geometry, quantifier elimination, cylindrical algebraic decomposition, symbolic optimization
Collection: 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
Issue Date: 2012
Date of publication: 29.05.2012

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI