Work

Optimising Problem Formulation for Cylindrical Algebraic Decomposition

Year: 2013

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-39320-4_2

Authors: Russell Bradford, James H. Davenport, Matthew England, David Wilson

Institution: University of Bath

Language: English

Topic: Polynomial and algebraic computation

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Engineering and Physical Sciences Research Council

Awards: Real Geometry and Connectedness via Triangular Description, G5769379255

OpenAlex ID: W2126528701

FWCI: 4.715

Cites: 21

Cited by: 29

Related to: