Iterated Resultants in CAD

James H. Davenport; Matthew England

Iterated Resultants in CAD

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

64 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 language	English
Title of host publication	Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023)
Editors	Erika Abraham, Thomas Sturm
Publisher	CEUR Workshop Proceedings
Pages	54-60
Number of pages	7
Volume	3455
Publication status	Published - 15 Aug 2023
Event	8th International Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2023 - Tromso, Norway Duration: 28 Jul 2023 → …

Publication series

Name	CEUR Workshop Proceedings
Publisher	CEUR-WS
ISSN (Print)	1613-0073

Conference

Conference	8th International Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2023
Country/Territory	Norway
City	Tromso
Period	28/07/23 → …

Bibliographical note

Funding Information:
Both authors are supported by the UK’s EPSRC, via the DEWCAD Project, Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition; grant numbers EP/T015713/1 and EP/T015748/1. We are also grateful to Gregory Sankaran and Ali Uncu for many useful conversations.

Keywords

Cylindrical Algebraic Decomposition
Gröbner Basis
Resultant

ASJC Scopus subject areas

General Computer Science

Access to Document

short3_1_Final published version, 1.22 MBLicence: CC BY

https://pureportal.coventry.ac.uk/en/publications/iterated-resultants-in-cadLicence: CC BY

Cite this

Davenport, J. H., & England, M. (2023). Iterated Resultants in CAD. In E. Abraham, & T. Sturm (Eds.), Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023) (Vol. 3455, pp. 54-60). (CEUR Workshop Proceedings). CEUR Workshop Proceedings. https://pureportal.coventry.ac.uk/en/publications/iterated-resultants-in-cad

Iterated Resultants in CAD. / Davenport, James H.; England, Matthew.
Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023). ed. / Erika Abraham; Thomas Sturm. Vol. 3455 CEUR Workshop Proceedings, 2023. p. 54-60 (CEUR Workshop Proceedings).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Davenport, JH & England, M 2023, Iterated Resultants in CAD. in E Abraham & T Sturm (eds), Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023). vol. 3455, CEUR Workshop Proceedings, CEUR Workshop Proceedings, pp. 54-60, 8th International Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2023, Tromso, Norway, 28/07/23. <https://pureportal.coventry.ac.uk/en/publications/iterated-resultants-in-cad>

@inproceedings{d16e8cb14c4f4d7799c19efacf2dfa26,

title = "Iterated Resultants in CAD",

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.",

keywords = "Cylindrical Algebraic Decomposition, Gr{\"o}bner Basis, Resultant",

author = "Davenport, {James H.} and Matthew England",

note = "Funding Information: Both authors are supported by the UK{\textquoteright}s EPSRC, via the DEWCAD Project, Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition; grant numbers EP/T015713/1 and EP/T015748/1. We are also grateful to Gregory Sankaran and Ali Uncu for many useful conversations. ; 8th International Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2023 ; Conference date: 28-07-2023",

year = "2023",

month = aug,

day = "15",

language = "English",

volume = "3455",

series = "CEUR Workshop Proceedings",

publisher = "CEUR Workshop Proceedings",

pages = "54--60",

editor = "Erika Abraham and Thomas Sturm",

booktitle = "Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023)",

}

TY - GEN

T1 - Iterated Resultants in CAD

AU - Davenport, James H.

AU - England, Matthew

N1 - Funding Information: Both authors are supported by the UK’s EPSRC, via the DEWCAD Project, Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition; grant numbers EP/T015713/1 and EP/T015748/1. We are also grateful to Gregory Sankaran and Ali Uncu for many useful conversations.

PY - 2023/8/15

Y1 - 2023/8/15

N2 - 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.

AB - 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.

KW - Cylindrical Algebraic Decomposition

KW - Gröbner Basis

KW - Resultant

UR - http://www.scopus.com/inward/record.url?scp=85171141636&partnerID=8YFLogxK

UR - http://www.sc-square.org/CSA/workshop8.html

M3 - Chapter in a published conference proceeding

AN - SCOPUS:85171141636

VL - 3455

T3 - CEUR Workshop Proceedings

SP - 54

EP - 60

BT - Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023)

A2 - Abraham, Erika

A2 - Sturm, Thomas

PB - CEUR Workshop Proceedings

T2 - 8th International Workshop on Satisfiability Checking and Symbolic Computation, SC-Square 2023

Y2 - 28 July 2023

ER -

Iterated Resultants in CAD

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this