You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Edinburgh » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Edinburgh

Return to search Previous output Next output

Output 40 of 401 in the submission

Output title

Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase

Type

E - Conference contribution

DOI

10.1007/978-3-642-30870-3_56

Name of conference/published proceedings

How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

Volume number

7318

Issue number

First page of article

560

ISSN of proceedings

0302-9743

Year of publication

2012

URL

http://link.springer.com/chapter/10.1007%2F978-3-642-30870-3_56

Number of additional authors

Additional information

<12> Originality: This is the first time the PCAD algorithm has been generalised so as to allow the use of fast incomplete proof procedures to speed and eliminate computations in the lifting phase of the algorithm.

Significance: Work opens up new opportunities for improving the performance of CAD-based algorithms. These algorithms have many industrially-relevant applications, so this work suggests how the algorithms could find wider use.

Rigour: Paper presents background mathematics and pseudo-code of central algorithm, along with proof of correctness of the algorithm and experimental results. Paper accepted at conference with acceptance rate for peer-reviewed papers of under 15%.

Interdisciplinary

Cross-referral requested

Research group

F - Laboratory for Foundations of Computer Science

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract