Iterated Resultants in CAD

James H. Davenport, Matthew England

Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

42 Downloads (Pure)

Abstract

Cylindrical Algebraic Decomposition (CAD) by projection and lifting requires many iterated univariate resultants. It has been observed that these often factor, but to date this has not been used to optimise implementations of CAD.

Original languageEnglish
Title of host publicationProceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023)
EditorsErika Abraham, Thomas Sturm
PublisherCEUR Workshop Proceedings
Pages54-60
Number of pages7
Volume3455
Publication statusPublished - 15 Aug 2023
Event8th International Workshop on Satisfiability Checking and Symbolic Computation - The Arctic University of Norway (UiT), Tromso, Norway
Duration: 28 Jul 202328 Jul 2023
http://www.sc-square.org/CSA/workshop8.html

Publication series

NameCEUR Workshop Proceedings
Volume3455
ISSN (Electronic)1613-0073

Conference

Conference8th International Workshop on Satisfiability Checking and Symbolic Computation
Abbreviated title ISSAC 2023
Country/TerritoryNorway
CityTromso
Period28/07/2328/07/23
Internet address

Keywords

  • Cylindrical Algebraic Decomposition
  • Resultant
  • Gröbner Basis

Fingerprint

Dive into the research topics of 'Iterated Resultants in CAD'. Together they form a unique fingerprint.

Cite this