Output details
11 - Computer Science and Informatics
University of Bath
Return to search
Output 0 of 0 in the submission
Output title
Computing with semi-algebraic sets represented by triangular decomposition
Type
E - Conference contribution
Name of conference/published proceedings
ISSAC '11 Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation
Volume number
-
Issue number
-
First page of article
75
ISSN of proceedings
-
Year of publication
2011
Number of additional authors
4
Additional information
<12>ISSAC is the premier conference for computer algebra, rated 19 in the Algorithms and Theory section of Microsoft Academic Search. The associated software demonstration won the prize for "best software demonstration" at the conference. The software described here has been distributed in Maple since v15, and integrated into the 'solve' command and highlighted at Maple release events. (Contact: Juergen Gerhard <jgerhard@maplesoft.com>)
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Mathematical Foundations
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-