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
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Article dans une revue
Journal of Symbolic Computation, Elsevier, 2014, pp.35. 〈http://dx.doi.org/10.1016/j.jsc.2014.09.024〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01088452
Contributeur : Stephan Merz <>
Soumis le : vendredi 28 novembre 2014 - 09:19:27
Dernière modification le : jeudi 20 septembre 2018 - 07:54:02

Identifiants

  • 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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

133

Contact


archive-ouverte@inria.fr