Constructing a single cell in cylindrical algebraic decomposition

Christopher W. Brown 1 Marek Kosta 2, 3
1 United States Naval Academy
2 MPII - Max-Planck-Institut für Informatik
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Journal articles
Liste complète des métadonnées
https://hal.inria.fr/hal-01088452
Contributor : Stephan Merz <>
Submitted on : Friday, November 28, 2014 - 9:19:27 AM
Last modification on : Tuesday, February 19, 2019 - 3:40:03 PM

Identifiers

  • HAL Id : hal-01088452, version 1

Collections

INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Christopher W. Brown, Marek Kosta. Constructing a single cell in cylindrical algebraic decomposition. Journal of Symbolic Computation, Elsevier, 2014, pp.35. ⟨http://dx.doi.org/10.1016/j.jsc.2014.09.024⟩. ⟨hal-01088452⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

140

Contact


archive-ouverte@inria.fr