arXiv Open Access 2023

Iterated Resultants in CAD

James H. Davenport Matthew England

Lihat Sumber

Abstrak

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. We continue the investigation into such factorisations, writing in the specific context of SC-Square.

Topik & Kata Kunci

cs.SC

Penulis (2)

James H. Davenport

Matthew England

Format Sitasi

APA MLA BibTeX

Davenport, J.H., England, M. (2023). Iterated Resultants in CAD. https://arxiv.org/abs/2307.16750

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓