Constructing a Single Cell in Cylindrical Algebraic Decomposition

Brown, Christopher W.; Košta, Marek

doi:10.1016/j.jsc.2014.09.024

Local TagsRelease HistoryDetailsSummary

Constructing a Single Cell in Cylindrical Algebraic Decomposition

Brown, C. W., & Košta, M. (2015). Constructing a Single Cell in Cylindrical Algebraic Decomposition. Journal of Symbolic Computation, 70, 14-48. doi:10.1016/j.jsc.2014.09.024.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-920D-7 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-F1DE-F

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Brown, Christopher W.¹, Author
Košta, Marek², Author

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2014Published Online: 2015Date issued: 2015

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: DOI: 10.1016/j.jsc.2014.09.024
BibTex Citekey: BrownKosta:2014a

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Journal of Symbolic Computation

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: London : Academic Press

Pages: - Volume / Issue: 70 Sequence Number: - Start / End Page: 14 - 48 Identifier: ISSN: 0747-7171
CoNE: https://pure.mpg.de/cone/journals/resource/954922649120