Output details
11 - Computer Science and Informatics
University of Bath
Return to search
Output 0 of 0 in the submission
Output title
Cylindrical algebraic decompositions for Boolean combinations
Type
E - Conference contribution
Name of conference/published proceedings
ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation
Volume number
-
Issue number
-
First page of article
125
ISSN of proceedings
-
Year of publication
2013
Number of additional authors
4
Additional information
<12>This paper is part of the ongoing EPSRC-funded project on the study of triangular set of polynomials, working in collaboration with Waterloo and Maple Inc. (Maplesoft). Already this has resulted
in code included in the latest version of Maple (Maple 17); more will appear in Maple 18. There has been a flow of technical ideas into Maplesoft that should provide more efficient implementations of some of their essential algorithms in polynomial algebra. Contact: Juergen Gerhard <jgerhard@maplesoft.com>
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Mathematical Foundations
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-