Iterated Resultants in CAD

James H. Davenport; Matthew England

Iterated Resultants in CAD

James H. Davenport, Matthew England

Research Centre for Computational Science and Mathematical Modelling

University of Bath

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

65 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 - The Arctic University of Norway (UiT), Tromso, Norway Duration: 28 Jul 2023 → 28 Jul 2023 http://www.sc-square.org/CSA/workshop8.html

Publication series

Name	CEUR Workshop Proceedings
Volume	3455
ISSN (Electronic)	1613-0073

Conference

Conference	8th International Workshop on Satisfiability Checking and Symbolic Computation
Abbreviated title	ISSAC 2023
Country/Territory	Norway
City	Tromso
Period	28/07/23 → 28/07/23
Internet address	http://www.sc-square.org/CSA/workshop8.html

Funding

Funders	Funder number
Engineering and Physical Sciences Research Council	EP/T015713/1, EP/T015748/1

Keywords

Cylindrical Algebraic Decomposition
Resultant
Gröbner Basis

Access to Document

Post-PrintAccepted author manuscript, 750 KBLicence: CC BY
PublishedFinal published version, 1.22 MBLicence: CC BY

Cite this

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; Vol. 3455).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

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, vol. 3455, CEUR Workshop Proceedings, pp. 54-60, 8th International Workshop on Satisfiability Checking and Symbolic Computation, Tromso, Norway, 28/07/23.

@inproceedings{21e9b81923ac4464b7fb1bf4fa1e5919,

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, Resultant, Gr{\"o}bner Basis",

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

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

address = "Germany",

note = "8th International Workshop on Satisfiability Checking and Symbolic Computation, ISSAC 2023 ; Conference date: 28-07-2023 Through 28-07-2023",

url = "http://www.sc-square.org/CSA/workshop8.html",

}

TY - GEN

T1 - Iterated Resultants in CAD

AU - Davenport, James H.

AU - England, Matthew

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 - Resultant

KW - Gröbner Basis

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

M3 - Conference proceeding

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

Y2 - 28 July 2023 through 28 July 2023

ER -

Iterated Resultants in CAD

Abstract

Publication series

Conference

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this